Seminar: Businessplan in der Praxis: Bankengespräch
Wissenschaftliche(r) Mitarbeiter(in) im Bereich CSCW/Enterprise 2.0 gesucht
Verifikation von funktionalen Testfällen im Automotive-Bereich
Vortrag von Sebastian Thiel im Rahmen der Aufnahme in den Doktoranden-Status Hardware-in-the-Loop Funktionserprobung Testautomatisierungsmethodik und -tooling AUDI AG
Dienstag, 08.12.2009, 16:00 c.t., Raum B 017
Referent: Sebastian Thiel
Audi AG
Gastgeber: Prof. Dr. Kurt Lautenbach
Kurzbeschreibung:
In modernen Oberklassenfahrzeugen befinden sich heute eine Vielzahl hochgradig vernetzter Fahrzeugfunktionen. Neben der Entwicklung der Steuergeräte ist die größte Herausforderung die Qualitätsabsicherung der Funktionen. Auf Ebene des Komponenten- und Systemtests werden Hardware in the Loop Prüfstände für die Funktionsabsicherung eingesetzt. Die dazu benötigten Testfälle werden in einem UML-Dialekt grafisch modelliert. Bei der Ausführung semantisch fehlerhafter Testfälle sind die Testergebnisse unbrauchbar und die Testfälle müssen wiederholt werden, was bei einer Ausführungszeit von mehreren Stunden zu einer unnötigen Nutzung der begrenzten Prüfstandsressourcen führt. Durch Transformation der Testfälle in Formeln einer Aktionslogik, dargestellt mit Hilfe (standardisierter) Petri-Netze, können zuvor definierte Bedingungen durch ein Verifikationsverfahren, basierend auf Invariantenanalysen, überprüft werden. Mit diesem Verfahren ist die Überprüfung der Testfälle auf semantische Modellierungsfehler in der Testablaufbeschreibung vor der Ausführung am Prüfstand möglich. In diesem Vortrag wird das Verfahren und die praktische Anwendung im Entwicklungsprozess der AUDI AG vorgestellt.
