Logo des Repositoriums
 

Modellbasierte Testgenerierung aus Spezifikationen mit parallelem Verhalten

dc.contributor.authorKrause, Jan
dc.contributor.authorDiedrich, Christian
dc.contributor.editorFähnrich, Klaus-Peter
dc.contributor.editorFranczyk, Bogdan
dc.date.accessioned2019-01-11T10:29:45Z
dc.date.available2019-01-11T10:29:45Z
dc.date.issued2010
dc.description.abstractIn 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.isbn978-3-88579-270-3
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/19414
dc.language.isode
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofINFORMATIK 2010. Service Science – Neue Perspektiven für die Informatik. Band 2
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-176
dc.titleModellbasierte Testgenerierung aus Spezifikationen mit parallelem Verhaltende
dc.typeText/Conference Paper
gi.citation.endPage338
gi.citation.publisherPlaceBonn
gi.citation.startPage333
gi.conference.date27.09.-01.10.2010
gi.conference.locationLeipzig
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Lade...
Vorschaubild
Name:
333.pdf
Größe:
214.38 KB
Format:
Adobe Portable Document Format