Sökning: onr:"swepub:oai:DiVA.org:mdh-31635" >
From fault injectio...
From fault injection to mutant injection : The next step for safety analysis?
-
- Rodriguez-Navas, Guillermo (författare)
- Mälardalens högskola,Inbyggda system
-
- Graydon, Patrick (författare)
- Mälardalens högskola,Inbyggda system
-
- Bate, Iain (författare)
- Mälardalens högskola,Inbyggda system,Dept. of Computer Science, University of York, United Kingdom
-
(creator_code:org_t)
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
- 2013
- Engelska.
-
Ingår i: Lect. Notes Comput. Sci.. - Berlin, Heidelberg : Springer Berlin Heidelberg. - 9783642396106 ; , s. 276-277
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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)
Hitta via bibliotek
Till lärosätets databas