From fault injection to mutant injection: the next step for safety analysis?

  • Authors:

  • Guillermo Rodriguez-Navas;Patrick Graydon;Iain Bate

  • Affiliations:

  • Dept. of Engineering, Design and Technology, Mälardalen University, Sweden;Dept. of Engineering, Design and Technology, Mälardalen University, Sweden;Dept. of Engineering, Design and Technology, Mälardalen University, Sweden,Dept. of Computer Science, University of York, UK

  • Venue:
  • HVC'12 Proceedings of the 8th international conference on Hardware and Software: verification and testing
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

Mutation testing has been used to assess test suite coverage, and researchers have proposed adapting the idea for other uses. Safety kernels allow the use of untrusted software components in safety-critical applications: a trusted software safety kernel detects undesired behavior and takes remedial action. We propose to use specification mutation, model checking, and model-based testing to verify safety kernels for component-based, safety-critical computer systems.