Modellbasierte Testgenerierung aus Spezifikationen mit parallelem Verhalten
dc.contributor.author | Krause, Jan | |
dc.contributor.author | Diedrich, Christian | |
dc.contributor.editor | Fähnrich, Klaus-Peter | |
dc.contributor.editor | Franczyk, Bogdan | |
dc.date.accessioned | 2019-01-11T10:29:45Z | |
dc.date.available | 2019-01-11T10:29:45Z | |
dc.date.issued | 2010 | |
dc.description.abstract | 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. | de |
dc.identifier.isbn | 978-3-88579-270-3 | |
dc.identifier.pissn | 1617-5468 | |
dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/19414 | |
dc.language.iso | de | |
dc.publisher | Gesellschaft für Informatik e.V. | |
dc.relation.ispartof | INFORMATIK 2010. Service Science – Neue Perspektiven für die Informatik. Band 2 | |
dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-176 | |
dc.title | Modellbasierte Testgenerierung aus Spezifikationen mit parallelem Verhalten | de |
dc.type | Text/Conference Paper | |
gi.citation.endPage | 338 | |
gi.citation.publisherPlace | Bonn | |
gi.citation.startPage | 333 | |
gi.conference.date | 27.09.-01.10.2010 | |
gi.conference.location | Leipzig | |
gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1