Da auch in Zukunft die Softwarequalität von Steuergeräten in der Automobilindustrie mit vertretbarem Aufwand gewährleistet werden muss, ist es notwendig. den Automatisierungsgrad des Tests dieser eingebetteten Systeme zu steigern. Es werden in dieser Arbeit sich ergänzende Methoden und Verfahren beschrieben, die einen ganzheitlichen Ansatz ermöglichen, um Testgenerierung, Testdurchführung und Testanalyse zu automatisieren. Es werden dabei Methoden entwickelt, die die Vorteile von formaler Verifikation mit den Vorteilen des Testens verknüpfen. Diese Methoden werden deshalb auch als semiformal bezeichnet. Als Voraussetzung für die Untersuchungen zur Automatisierung der Testgenerierung und der Testanalyse wird ein speziell für den Automobilbereich geeignetes Testautomatisierungswerkzeug benötigt. Deshalb werden im Rahmen dieser Arbeit der Entwurf und die Implementierung eines Softwarewerkzeuges beschrieben, das durch eine geeignete Softwarearchitektur den Automatisierungsgrad der Testdurchführung signifikant steigert. Aufbauend auf dem Testautomatisierungswerkzeug und dem frei verfügbaren Modellprüfungswerkzeug Uppaal wird ein Verfahren präsentiert, die sonst manuell zu erstellenden Tests automatisch zu generieren. Voraussetzung dafür ist eine formale Modellierung von Testobjekt und Testumgebung in einem Netzwerk von zeitgesteurten Automaten. Es werden bekannte Modellprüfungsalgorithmen und notwendige Modellierungsrichtlinien beschrieben und angewendet, um symbolische Diagnosespuren im Spezifikationsmodell unter Angabe von formalisierten Testzielen automatisch zu erzeugen. Es wird in dieser Arbeit ein Algorithmus beschrieben und implementiert, der die symbolischen Diagnosespuren in eine mit dem zuvor beschriebenen Testautomatisierungswerkzeug ausführbare Testsequenz umwandelt. Anhand einer zu testenden Diagnosefunktion werden die praktische Umsetzung der Modellierungsrichtlinien, der Formulierung der Testziele und die automatische Testsequenzgenerierung dargestellt. Ab einer bestimmten Komplexität der zu testenden Softwarefunktionen können die Modellprüfungsalgorithmen aufgrund der Zustandsexplosion nicht angewendet werden. Damit trotzdem spezifizierte Eigenschaften anhand der Systemreaktionen für alle auch nicht modellbasierten Stimulationen der zu testenden Softwarefunktion überprüft werden können, wird ein Verfahren für die automatisierte Testauswertung, basierend auf temporaler Logik, entwickelt. Die Untersuchungen anhand einer Diagnosefunktion zeigen, dass die zeitintensive und manuelle Analyse der Messdaten durch dieses vollautomatische Verfahren ersetzt werden kann.
Semiformale Methoden für den automatisierten Test eingebetteter Systeme
Semiformal methods for automated testing of embedded systems
2007
159 Seiten, Bilder, Tabellen, 129 Quellen
Hochschulschrift
Deutsch
Semiformale Entwurfsmethoden bei BMW
Tema Archiv | 1997
|Rapid-Prototyping eingebetteter Systeme
TIBKAT | 1996
|Einsatz formaler Methoden zur Erhöhung der Sicherheit eingebetteter Systeme im Kfz
Tema Archiv | 1997
|Einsatz formaler Methoden zur Erhoehung der Sicherheit eingebetteter Systeme im Kfz
Kraftfahrwesen | 1998
|