Automatic test case generation with NuSMV

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.
  • Vollständige Referenz
  • BibTeX
Bunin, G., Schneider, A., Haubelt, C., Langer, J. & Heinkel, U., (2006). Automatic test case generation with NuSMV. In: Hochberger, C. & Liskowsky, R. (Hrsg.), INFORMATIK 2006 – Informatik für Menschen – Band 2, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI). Bonn: Gesellschaft für Informatik e.V.. (S. 262-263).
@inproceedings{mci/Bunin2006,
author = {Bunin, Grygoriy AND Schneider, Axel AND Haubelt, Christian AND Langer, Jan AND Heinkel, Ulrich},
title = {Automatic test case generation with NuSMV},
booktitle = {INFORMATIK 2006 – Informatik für Menschen – Band 2, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI)},
year = {2006},
editor = {Hochberger, Christian AND Liskowsky, Rüdiger} ,
pages = { 262-263 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
GI-Proceedings-94-35.pdf129.2Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 978-3-88579-188-1
ISSN: 1617-5468
Datum: 2006
Sprache: en (en)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige