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

• 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.

Ämnesord

NATURVETENSKAP  -- Data- och informationsvetenskap (hsv//swe)

NATURAL SCIENCES  -- Computer and Information Sciences (hsv//eng)

Nyckelord

component based design

mutation testing

safety analysis

Safety-critical systems

Model based testing

Safety critical applications

Safety critical systems

Software component

Undesired behavior

Computer software selection and evaluation

Hardware

Model checking

Safety engineering

Software testing

Publikations- och innehållstyp

ref (ämneskategori)

kon (ämneskategori)