Logo des Repositoriums
 

Automatic test case generation with NuSMV

Kurzanzeige
dc.contributor.authorBunin, Grygoriy
dc.contributor.authorSchneider, Axel
dc.contributor.authorHaubelt, Christian
dc.contributor.authorLanger, Jan
dc.contributor.authorHeinkel, Ulrich
dc.contributor.editorHochberger, Christian
dc.contributor.editorLiskowsky, Rüdiger
dc.date.accessioned2019-06-04T08:52:21Z
dc.date.available2019-06-04T08:52:21Z
dc.date.issued2006
dc.description.abstractFormal 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.en
dc.identifier.isbn978-3-88579-188-1
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/23521
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofINFORMATIK 2006 – Informatik für Menschen – Band 2, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI)
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-94
dc.titleAutomatic test case generation with NuSMVen
dc.typeText/Conference Paper
gi.citation.endPage263
gi.citation.publisherPlaceBonn
gi.citation.startPage262
gi.conference.date2.-6. Oktober 2006
gi.conference.locationDresden
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild
Name:
GI-Proceedings-94-35.pdf
Größe:
129.24 KB
Format:
Adobe Portable Document Format
Herunterladen

Sammlungen

P094 - INFORMATIK 2006 - Informatik für Menschen – Band 2, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI)