Modellbasierte Testgenerierung aus Spezifikationen mit parallelem Verhalten

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.
  • Vollständige Referenz
  • BibTeX
Krause, J. & Diedrich, C., (2010). Modellbasierte Testgenerierung aus Spezifikationen mit parallelem Verhalten. In: Fähnrich, K.-P. & Franczyk, B. (Hrsg.), INFORMATIK 2010. Service Science – Neue Perspektiven für die Informatik. Band 2. Bonn: Gesellschaft für Informatik e.V.. (S. 333-338).
@inproceedings{mci/Krause2010,
author = {Krause, Jan AND Diedrich, Christian},
title = {Modellbasierte Testgenerierung aus Spezifikationen mit parallelem Verhalten},
booktitle = {INFORMATIK 2010. Service Science – Neue Perspektiven für die Informatik. Band 2},
year = {2010},
editor = {Fähnrich, Klaus-Peter AND Franczyk, Bogdan} ,
pages = { 333-338 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
333.pdf214.3Kb PDF Öffnen

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

Mehr Information

ISBN: 978-3-88579-270-3
ISSN: 1617-5468
Datum: 2010
Sprache: de (de)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige