Generating Tests for Feature Interaction

Modern vehicles integrate an increasing number of features. The interaction between these features is often error prone and requires extensive testing in order to ensure correctness and reliability. This thesis presents an approach to test case generation that enables the systematic coverage of feature interactions. A prerequisite to test case generation is a test model that: describes potential error prone paths; and limits the state space to a feasible size. The presented approach uses task models to model features and their interactions. These models are defined in a new task modeling language, TTask. This thesis also introduces new test selection criteria enabling the systematic selection of feature interaction scenarios. The thereby achieved systematic coverage of feature interaction scenarios is demonstrated for real-world systems at BMW Group.
Die Anzahl der Funktionen in modernen Fahrzeugen wächst stetig. Unvorhergesehene Interaktionen zwischen Funktionen führen oft zu Fehlern. Um diese Fehler aufzudecken, sind systematische Tests notwendig. Diese Arbeit stellt einen neuen Ansatz zur Testfallgenerierung vor, der den systematischen Test von Interaktionen ermöglicht. Die Generierung von Testfällen erfordert ein geeignetes Testmodell, das potentielle Fehlerszenarien beschreibt und den Zustandsraum auf eine beherrschbare Größe einschränkt. Der vorgestellte Ansatz erreicht dies durch die Verwendung von Aufgabenmodellen. Diese Arbeit führt TTask, eine neue Modellierungssprache für Aufgabenmodelle, ein, sowie darauf aufbauende Testauswahlkriterien, die gezielt kritische Aufgabenabfolgen auswählen. Die so erreichte systematische Abdeckung von Funktionsinteraktionen wird anhand realer Systeme der BMW Group gezeigt.