Editorial Cuvillier

Publicaciones, tesis doctorales, capacitaciónes para acceder a una cátedra de universidad & prospectos.
Su editorial internacional especializado en ciencias y economia

Editorial Cuvillier

De En Es
Petri-Netz basierte Verifikation von funktionalen Testfällen

Impresion
EUR 40,35 EUR 38,33

E-Book
EUR 0,00

Download
PDF (2,3 MB)
Open Access CC BY 4.0

Petri-Netz basierte Verifikation von funktionalen Testfällen (Volumen 57) (Tienda española)

Sebastian Thiel (Autor)

Previo

Lectura de prueba, PDF (410 KB)
Indice, PDF (31 KB)

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.

ISBN-13 (Impresion) 9783954040568
ISBN-13 (E-Book) 9783736940567
Idioma Deutsch
Numero de paginas 226
Laminacion de la cubierta mate
Edicion 1. Aufl.
Serie Audi Dissertationsreihe
Volumen 57
Lugar de publicacion Göttingen
Lugar de la disertacion Koblenz-Landau
Fecha de publicacion 21.05.2012
Clasificacion simple Tesis doctoral
Area Matemática
Informática
Ingeniería mecánica y de proceso
Ingeniería automotriz
Palabras claves Angewandte Mathematik, Fahrzeugtechnik