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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Semiformale Methoden für den automatisierten Test eingebetteter Systeme


    Additional title:

    Semiformal methods for automated testing of embedded systems


    Contributors:

    Publication date :

    2007


    Size :

    159 Seiten, Bilder, Tabellen, 129 Quellen


    Type of media :

    Theses


    Type of material :

    Print


    Language :

    German





    Semiformale Entwurfsmethoden bei BMW

    Eckrich, M. | Tema Archive | 1997


    Einsatz formaler Methoden zur Erhoehung der Sicherheit eingebetteter Systeme im Kfz

    Damm,W. / Eckrich,M. / Brockmeyer,U. et al. | Automotive engineering | 1998


    Einsatz formaler Methoden zur Erhöhung der Sicherheit eingebetteter Systeme im Kfz

    Damm, W. / Eckrich, M. / Brockmaeyer, U. et al. | Tema Archive | 1997


    Testmethoden fur Software eingebetteter Systeme

    British Library Online Contents | 2014