Logo des Repositoriums
 
Konferenzbeitrag

Modellbasierte Testgenerierung aus Spezifikationen mit parallelem Verhalten

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2010

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

In diesem Beitrag wird eine Methode zur Generierung von Testfällen aus modellbasierten Verhaltensspezifikationen vorgestellt, wobei auch die Spezifikation von parallelem Verhalten unterstützt wird. Zur Realisierung werden etablierte Verfahren der Petri-Netz-Theorie und der constraintbasierten Programmierung benutzt. Auf der Grundlage eines entwickelten einfachen farbigen Petri-Netz- Modells (SPeNAt) können damit Testfälle mit parametrierbarem Abdeckungsgrad generiert werden, wobei auch sehr hohe, insbesondere für die Entwicklung sicherheitskritischer Systeme relevante, Abdeckungsgrade (wie z. B. „alle möglichen alternativen Pfade“, MC/DC an den Bedingungen, etc.) garantiert werden können.

Beschreibung

Krause, Jan; Diedrich, Christian (2010): Modellbasierte Testgenerierung aus Spezifikationen mit parallelem Verhalten. INFORMATIK 2010. Service Science – Neue Perspektiven für die Informatik. Band 2. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-270-3. pp. 333-338. Regular Research Papers. Leipzig. 27.09.-01.10.2010

Schlagwörter

Zitierform

DOI

Tags