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. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1007/978-3-642-39611-3_27 | Haifa Verification Conference |
Keywords | Field | DocType |
model-based testing,safety kernel,remedial action,safety analysis,software safety kernel,untrusted software component,next step,safety-critical computer system,specification mutation,fault injection,mutation testing,safety-critical application,model checking,mutant injection,embedded systems | Kernel (linear algebra),Test suite,Model checking,Life-critical system,Computer security,Computer science,Real-time computing,Software,Component-based software engineering,Fault injection,Information and Computer Science,Embedded system | Conference |
Citations | PageRank | References |
0 | 0.34 | 1 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Guillermo Rodriguez-Navas | 1 | 23 | 3.47 |
Patrick Graydon | 2 | 114 | 14.25 |
Iain Bate | 3 | 469 | 58.87 |