Sebastian Thiel - Petri-Netz basierte Verifikation von funktionalen Testfällen

Sebastian Thiel - Petri-Netz basierte Verifikation von funktionalen Testfällen

47,99 €

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...

Direkt bei Thalia AT bestellen

Produktbeschreibung

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.
Marke Cuvillier Verlag
EAN 9783954040568
ISBN 978-3-95404-056-8
...

9,20 €

Samuel Hahnemann - Organon der Heilkunst
...

36,00 €

Michael Zeuske - Von Bolívar zu...
...

29,00 €

Walter Dietrich - Die dunklen Seiten...
...

13,00 €

Walther Hinz - Neue Erkenntnisse über...
...

12,90 €

Wolfgang Neuss - Neuss' Zeitalter

Beratungskontakt

contact-lady

Vereinbaren Sie ein kostenloses Erstgespräch. Wir beraten Sie gerne!

Kategorien