main page

staff

teaching

theses

research

publications

books

press

jobs

download


TU-BS

FB Informatik
TU Braunschweig

Diplom-/Masterarbeit

Entwicklung eines Testfallgenerators zum Test von Steuergeräten im KFZ

Überblick:

Qualitätssicherung gewinnt in der Automobilindustrie vor dem Hintergrund stark anwachsender Komplexität von Bordnetzen und Steuergeräten immer mehr an Bedeutung. Der Umgang mit geeigneten Werkzeugen zur Simulation, Analyse und zum Testen von Netzwerken sowie Steuergeräten nimmt demzufolge einen hohen Stellenwert im Entwicklungsprozess ein.
Im Rahmen des Summer Camp wird im September diesen Jahres ein "Entwicklungsplanspiel" für Studenten angeboten, mit dem Ziel den Entwicklungsprozess für vernetzte eingebettete Systeme im Automobilbereich in der Praxis zu erleben und kennen zu lernen. Unter dem Motto "Hardware zum Anfassen" wird ein vernetztes Komfortsystem für ein Fahrzeug entworfen und realisiert.

Aufgabenbeschreibung:

Ziel dieser Arbeit ist die Implementierung eines Testfallgenerators zur Überprüfung der Gesamtfunktionalität von Steuergeräten. Der Fokus liegt auf dem Entwurf von Blackbox-Testverfahren zur Verifizierung des Verhaltens von Sensorik und Aktorik der eingesetzten Steuergeräte.
Hierzu ist ein Simulations- und Testwerkzeug zu entwickeln, welches anhand einer zu definierenden Testsprache Versuchs- und Abnahmefahrten simuliert und somit die Überprüfung der Gruppenergebnisse ermöglicht. Für den Entwurf der Testsprache ist das Framework MontiCore zu verwenden mit dessen Hilfe sich aus der konzipierten Grammtik automatisch ein Parser für die Testsprache generieren lässt.
Des Weiteren ist korrektes Systemverhalten über die Beschreibung von Automaten zu definieren und später zur Verifizierung des Gesamtsystems zu nutzen. Somit lässt sich mittels definierter Zustandsübergänge das beobachtete Systemverhalten weitesgehend unabhängig von der verwendeten Testsprache bewerten. Wünschswert ist die automatische Generierung von Testfällen anhand der Automatenbeschreibung. Hierzu könnten für einzelne Module und das Gesamtsystem Testfälle anhand überlicher Abdeckungskriterien abgeleitet werden.


Vorkenntnisse:
Vorwissen im Bereich CAN-basierter Protokolle und Steuergerätetests.

Betreuer: Christian Basarke
Beurteilung: Prof. Dr. Bernhard Rumpe