Departments | |
---|---|
Book Series (92) |
1307
|
Humanities |
2291
|
Natural Sciences |
5354
|
Mathematics | 224 |
Informatics | 313 |
Physics | 975 |
Chemistry | 1354 |
Geosciences | 131 |
Human medicine | 242 |
Stomatology | 10 |
Veterinary medicine | 99 |
Pharmacy | 147 |
Biology | 830 |
Biochemistry, molecular biology, gene technology | 117 |
Biophysics | 25 |
Domestic and nutritional science | 44 |
Agricultural science | 996 |
Forest science | 201 |
Horticultural science | 20 |
Environmental research, ecology and landscape conservation | 145 |
Engineering |
1745
|
Common |
91
|
Leitlinien Unfallchirurgie
5. Auflage bestellen |
Extract, PDF (410 KB)
Table of Contents, 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 (Hard Copy) | 9783954040568 |
ISBN-13 (eBook) | 9783736940567 |
Language | Alemán |
Page Number | 226 |
Lamination of Cover | matt |
Edition | 1. Aufl. |
Book Series | Audi Dissertationsreihe |
Volume | 57 |
Publication Place | Göttingen |
Place of Dissertation | Koblenz-Landau |
Publication Date | 2012-05-21 |
General Categorization | Dissertation |
Departments |
Mathematics
Informatics Mechanical and process engineering Automotive engineering |
Keywords | Angewandte Mathematik, Fahrzeugtechnik |