Zeitschriftenartikel
Towards Fault-based Generation of Test Cases for Dependable Embedded Software
Lade...
Volltext URI
Dokumententyp
Text/Journal Article
Zusatzinformation
Datum
2011
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Geselllschaft für Informatik e.V.
Zusammenfassung
In the European project MOGENTES1 methods for model-based generation of efficient test cases are developed. A special focus is laid on test cases, which not only allow for assessing the fulfillment of requirements, but in particular looking for potential faults – or prove their absence. This is achieved by mutation-based testing: an original model is modified to simulate faults, and then test cases are searched which are able to distinguish between original and mutated model. This paper gives an overview of MOGENTES, presents an application example from the automotive domain, and summarizes the results from this example.