Modell-basierter Test eingebetteter Software im Automobil

1 Einleitung.- 1.1 Motivation.- 1.2 Zielsetzung und Lösungsansatz.- 1.3 Gliederung der Arbeit.- 2 Gegenstandsbereich.- 2.1 Grundlagen des Softwaretests.- 2.2 Grundlagen eingebetteter Software im Automobil und Besonderheiten für den Test.- 2.3 Modell-basierter Test von Steuergerätesoftware.- 3 Beschreibungsmittel für Testszenarien.- 3.1 Kriterien zur Klassifikation von Beschreibungsmitteln für Testszenarien.- 3.2 Überblick über Beschreibungsmittel für Testszenarien.- 4 Erweiterung der Klassifikationsbaum-Methode zur Klassifikationsbaum-Methode für eingebettete Systeme.- 4.1 Basisbeschreibungsmittel Klassifikationsbaum-Methode.- 4.2 Einzeltests.- 4.3 Testszenarien.- 4.4 Testprogramme und Berücksichtigung der Systemreaktion.- 4.5 Bewertung.- 5 Einbettung in den Modell-basierten Testprozess für eingebettete Software im Automobil.- 5.1 Überblick.- 5.2 Abstrakte Beschreibung der Testszenarien.- 5.3 Auswahl konkreter Testdaten.- 5.4 Testrahmenerstellung.- 5.5 Testdurchführung.- 5.6 Testauswertung und -dokumentation.- 5.7 Werkzeugunterstützung.- 5.8 Effektive Teststrategie für den Modell-basierten Test.- 6 Beispiel Tempomat mit Abstandsregelung.- 6.1 Funktionsbeschreibung und Modellierung.- 6.2 Test.- 7 Zusammenfassung und Ausblick.- 8 Verzeichnisse.- 8.1 Literaturverzeichnis.- 8.2 Sachverzeichnis.