Geleitwort | 6 |
Danksagung | 8 |
Kurzfassung | 9 |
Abstract | 10 |
Inhaltsverzeichnis | 11 |
Abbildungsverzeichnis | 15 |
Einleitung | 19 |
Elektronische Systeme im Fahrzeug | 22 |
2.1 Architekturüberblick | 22 |
2.2 Telematiksystem im Fahrzeug | 24 |
2.3 Abgrenzung zu anderen Domänen | 27 |
2.4 Bussysteme und Schnittstellen | 28 |
2.5 Anwendungsbeispiel | 36 |
2.6 Fazit | 36 |
Entwicklung und Test im Telematikbereich | 38 |
3.1 Entwicklungsprozesse | 38 |
3.2 Softwaretest | 42 |
3.3 Testverfahren | 46 |
3.4 Testbeschreibungssprachen für automatisierte Tests | 46 |
3.5 Testumgebung | 53 |
3.6 Problematik der heutigen Testpraxis | 54 |
3.7 Anforderungen | 56 |
3.8 Fazit | 59 |
Modellierung und Modell-basiertes Testen | 60 |
4.1 Modell-basierte Entwicklung | 60 |
4.2 Modell-basierter Test | 62 |
4.3 Modellgetriebene Architektur (MDA) | 62 |
4.4 Metamodellierung | 64 |
4.5 Meta Object Facility (MOF) | 64 |
4.6 Modelltransformation | 66 |
4.7 Modellierungssprachen | 70 |
4.8 Auswahl der Modellierungssprache | 87 |
4.9 Werkzeugauswahl | 88 |
4.10 Fazit | 89 |
Konzeption und Lösungsansatz | 90 |
5.1 Rahmenbedingungen | 91 |
5.2 Modelltransformation | 91 |
5.3 Konzeption des Systemmodells | 97 |
5.4 Strukturierung des Modells | 100 |
5.5 Modell-basierter Testprozess | 105 |
5.6 Formale Beschreibung der Modellstruktur | 106 |
5.7 Testdurchführung | 112 |
5.8 Verwandte Arbeiten | 112 |
5.9 Spezifikation der Testeingabedaten | 113 |
5.10 Fazit | 116 |
Generierung funktionaler Testfälle | 118 |
6.1 Überblick | 118 |
6.2 Ansätze zur Testfallgenerierung | 118 |
6.3 Generierung funktionaler Testfälle | 122 |
6.4 Überdeckungskriterien | 134 |
6.5 Diskussion des Verfahrens | 134 |
6.6 Fazit | 138 |
Generierung produktspezifischer Testfälle | 140 |
7.1 Überblick | 140 |
7.2 Verwandte Arbeiten | 140 |
7.3 Produktspezifische Modellierung | 141 |
7.4 Parameteranpassung | 146 |
7.5 Gewinnung MOST-spezifischer Informationen aus dem Strukturmodell | 147 |
7.6 Äquivalentes Verhalten | 152 |
7.7 Transformation zu spezifischen SysML-Testfällen | 153 |
7.8 Erzeugung der CANoe.MOST XML-Testmodule | 161 |
7.9 Fazit | 166 |
Beispiel MOST Audio System | 168 |
8.1 Systemmodellierung | 168 |
8.2 Testfallgenerierung | 176 |
8.3 Fazit | 179 |
Zusammenfassung und Ausblick | 180 |
9.1 Modellierung von zeitlichem Verhalten | 183 |
9.2 Nutzung weiterer SysML-Konzepte | 183 |
9.3 Varianten | 183 |
9.4 Automatisierte Validierung | 183 |
9.5 Linguistische Aspekte bei der Modellerstellung | 184 |
Literaturverzeichnis | 188 |
Index | 196 |