Test eingebetteter Systeme im industriellen Umfeld

  • Typ: Block-Vorlesung (BV)
  • Lehrstuhl: KIT-Fakultäten - KIT-Fakultät für Elektrotechnik und Informationstechnik - Institut für Technik der Informationsverarbeitung
    KIT-Fakultäten - KIT-Fakultät für Elektrotechnik und Informationstechnik
  • Semester: WS 23/24
  • Dozent: Hon.-Prof. Dr. Stefan Schmerler
  • SWS: 2
  • LVNr.: 2311648
  • Hinweis: Präsenz
VortragsspracheDeutsch

Hinweis

Die konkreten Termine entnehmen Sie bitte dem jeweiligen ILIAS-Kurs.

Test eingebetteter Systeme im industriellen Umfeld

Ziele

Ziel der Vorlesung ist es grundlegende Kenntnisse über den Test eingebetteter Systeme zu vermitteln. Dabei werden im Schwerpunkt Softwaresysteme, in geringerem Umfang Hardwareaspekte und auch Mechatronische Systeme betrachtet. Aufbauend auf den theoretischen Grundlagen des Testens, wird auch die ganz konkrete Anwendung beim Testen (zum Beispiel von Steuergeräteverbünden in der Automobiltechnik) betrachtet. Ferner werden State-of-the-Art Werkzeuge und Technologien zum Testen erläutert sowie deren Anwendung demonstriert. Aktuelle und bereits veröffentlichte Forschungsansätze in dieser Disziplin werden diskutiert. Die Inhalte der Vorlesung sind sehr praxisnah und können von Studenten in anderem Kontext, z.B. in der Standard-Software-Entwicklung, erfolgreich eingesetzt werden.

Inhalt

Grundlagen und Begriffe des Testens: Warum kommt Softwaretests bei der Entwicklung eingebetteter Systeme eine so wichtige Bedeutung zu? Wesentliche Qualitätssicherungsmaßnahmen werden aufgezeigt und zusammen mit charakteristischen Studien illustriert. Um den Kontext zu setzen, wird eine fundierte Übersicht über die analytische Qualitätssicherung gegeben.

Testphasen und Testprozess: Die wesentlichen Entwicklungs- und Testphasenmodelle werden beschrieben. Wie setzt sich ein Testprozess zusammen, welche Testaktivitäten gibt es und wie sind diese charakterisiert?

Dynamischer Test: Verschiedene Ansätze der systematischen Testfallerstellung für dynamische Testverfahren werden aufgezeigt. Definition, Metriken und Erfahrungswerte für Testumfang und Testabdeckung werden gegeben.

Statischer Test: Analytische Qualitätssicherungsverfahren werden detailliert beschrieben und zueinander in Bezug gesetzt. Die Theorie statischer Testverfahren wird erläutert. Alle wesentlichen statischen Testverfahren wie formale Reviews, Statische Analysen, Symbolische Ausführung, Model Checking, Formale Verifikation sowie Simulation werden charakterisiert, zueinander in Bezug gesetzt sowie teilweise an Beispielen erläutert.

Evolutionäre Testverfahren: Nach der Behandlung der theoretischen Grundlagen Evolutionärer Algorithmen werden verschiedene in der Automobiltechnik zum Einsatz kommenden evolutionäre Testverfahren erläutert und an Beispielen erfahrbar gemacht. Im Einzelnen wird der evolutionäre Test von Echtzeitverhalten, der Evolutionäre Software-Strukturtest, der Evolutionäre Funktionstest sowie der Evolutionäre Safety Test erläutert.

Modellbasierter Test: Aktuelle Forschungs- und Entwicklungsansätze wie Time Partition Testing oder die automatische modellbasierte Testfallableitung werden vorgestellt und teilweise an Beispielen erläutert.

Test von Echtzeitsystemen: Nach einer Einführung in die Charakteristika von Realzeitsystemen werden Besonderheiten bei deren Planung (auch Design for Testability) beschrieben sowie Struktur und Wirkungsweise von Realzeittestprogrammen erläutert. Der aktuelle Stand der Technik wird beschrieben, ein Ausblick auf mögliche künftige Forschungsschwerpunkte wird gegeben. Als besonderes Echtzeittestsystem werden konkrete Anwendungsgebiete von Hardware-in-the-Loop-Technologie in der Forschung beleuchtet, z.B. der Test von Assistenzsystemen in der Automobiltechnik.