Konferenzbeitrag
Automatic test case generation with NuSMV
Lade...
Volltext URI
Dokumententyp
Text/Conference Paper
Datum
2006
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Quelle
INFORMATIK 2006 – Informatik für Menschen – Band 2, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI)
Regular Research Papers
Verlag
Gesellschaft für Informatik e.V.
Zusammenfassung
Formal verification has become a key technology to ensure the quality of complex (hardware/software) systems. Although formal verification is widely used in the hardware design phase, it plays a minor role in software or even system development. In this paper, we describe how we used the model checker NuSMV to automatically generate executable test cases from an abstract system description.