Band 57
Petri-Netz basierte Verifikation von funktionalen Testfällen
Aus der Reihe
Audi Dissertationsreihe
-
- Taschenbuch ausgewählt
- eBook
-
Sprache:Deutsch
Fr. 53.90
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
21.05.2012
Verlag
Cuvillier VerlagSeitenzahl
226
Maße (L/B/H)
21/14.8/1.2 cm
Gewicht
299 g
Auflage
1. Auflage
Sprache
Deutsch
ISBN
978-3-95404-056-8
Für die funktionale Absicherung von Fahrzeugfunktionen werden automatisierte Testfälle für Hardware-in-the-Loop Prüfstände verwendet. Die Ausführung semantisch fehlerhafter Testfälle führt dabei zu ungültigen Testergebnissen und somit zu unnötigen Wiederholungen.
Die vorliegende Arbeit beschreibt ein automatisiertes Verfahren zur Verifikation der Testfälle. Die in einem UML-Dialekt formalisierten Testfälle werden in Formeln einer Aktionslogik transformiert und mit Hilfe von Petri-Netzen dargestellt. Hierauf aufbauend werden zuvor definierte kausale Bedingungen basierend auf Invariantenanalysen überprüft.
Damit ist die Überprüfung der Testfälle auf semantische Modellierungsfehler in der Testablaufbeschreibung vor ihrer Ausführung am Prüfstand möglich, kostbare Prüfstandszeiten werden geschont. Der Ansatz liefert einen wichtigen Beitrag zur Effizienzsteigerung im Absicherungsprozess.
Die vorliegende Arbeit beschreibt ein automatisiertes Verfahren zur Verifikation der Testfälle. Die in einem UML-Dialekt formalisierten Testfälle werden in Formeln einer Aktionslogik transformiert und mit Hilfe von Petri-Netzen dargestellt. Hierauf aufbauend werden zuvor definierte kausale Bedingungen basierend auf Invariantenanalysen überprüft.
Damit ist die Überprüfung der Testfälle auf semantische Modellierungsfehler in der Testablaufbeschreibung vor ihrer Ausführung am Prüfstand möglich, kostbare Prüfstandszeiten werden geschont. Der Ansatz liefert einen wichtigen Beitrag zur Effizienzsteigerung im Absicherungsprozess.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.