This website is no longer updated.

As of 1.10.2022, the Faculty of Physics has been merged into the TUM School of Natural Sciences with the website https://www.nat.tum.de/. For more information read Conversion of Websites.

de | en

Practical Course - Model-based Testing Using Fault Models (IN2106, IN4160)
Praktikum - Modellbasierter Test mit Fehlermodellen (IN2106, IN4160)

Course 0000002771 in WS 2013/4

General Data

Course Type practical training
Semester Weekly Hours 6 SWS
Organisational Unit Informatics 4 - Chair of Software & Systems Engineering (Prof. Pretschner)
Lecturers
Dates

Assignment to Modules

Further Information

Courses are together with exams the building blocks for modules. Please keep in mind that information on the contents, learning outcomes and, especially examination conditions are given on the module level only – see section "Assignment to Modules" above.

additional remarks Testen ist die dynamische Verifikation des Verhaltens eines (Software-) Systems gegen ein erwartetes Verhalten. Das erwartete Verhalten wird dabei aus einer Spezifikation entnommen. Allerdings existiert, wie in vielen anderen Bereichen, etwa im Bereich der Automatisierungstechnik, häufig keine dazu benötigte aktuelle, vollständige und korrekte Spezifikation des eingesetzten Software-Systems. Es existieren jedoch Unterlagen für Teilaspekte, ähnlich FMEA oder FTA, sowie Weg-Zeit-Diagramme um Abläufe zu spezifizieren. Es ist daher schwierig, Funktionalität zu verifizieren. Im Wintersemester bietet der Lehrstuhl Software Engineering (Prof. Pretschner) ein Praktikum mit dem Schwerpunkt des modellbasierten Testens mit Fehlermodellen in der Automatisierungstechnik an. In diesem Praktikum sollen häufige und wiederkehrende Fehler bewertet und Methoden zu deren Aufdeckung gefunden werden. Diese Aufdeckung soll primär durch Testen geschehen (oder, wo vorteilhaft, auch durch Reviews). Dazu stehen Erfahrungen typischer häufiger und wiederkehrender Fehler in der Automatisierungstechnik und eine reale fertigungstechnische Anlage inklusive Quellcode und Unterlagen zur Verfügung. Den Studierenden stehen außerdem Kenntnisse bezüglich Fehlermodellierung, modellbasiertes Testen und Testfallgenerierung zur Verfügung. Allerdings gibt es in jeder Spezifikation zumindest grundlegende und implizite Annahmen auf die zurückgegriffen werden kann (zum Beispiel: „Das System darf nicht abstürzen“ oder „Das System soll keinen ganzzahligen Überlauf beinhalten“). Eine Möglichkeit diese Annahmen zu verifizieren, ist die Benutzung von häufigen und wiederkehrenden Fehlern als Grundlage von Tests (Benutzung in Testfällen) und Reviews (Benutzung in Checklisten). Dadurch ist es potentiell möglich, von der eigentlichen Funktionalität zu abstrahieren und eine reine fehlerbasierte Methodik zur Verifikation zu verwenden. Diese Methodik wird dann mit Werkzeugen zur (semi-)automatischen Testfall- und Checklistengenerierung basierend auf Fehlermodellen, die diese Fehler abbilden, praktisch angewendet.
Links Additional information
TUMonline entry
Top of page