Modellbasierte Testfallermittlung für eingebettete Systeme in sicherheitskritischen Anwendungen

In sicherheitskritischen Anwendungen wie Flugzeug- und Automobilsteuerungen werden höchste Anforderungen an die Zuverlässigkeit der eingesetzten Steuerungssysteme gestellt. Da die Komplexität der Software in diesen Systemen ständig steigt, wird es immer schwieriger, die geforderte Zuverlässigkeit zu erreichen. Der systematische Softwaretest ist eine praktikable Möglichkeit, um Fehler in der Funktionsweise der Software zu erkennen und weitgehend auszuschließen. Entscheidend für den Erfolg der Prüfung ist die sinnvolle Zusammenstellung der Testfälle. Diese müssen die Funktionalität der Software möglichst umfassend abdecken. Gleichzeitig darf die Anzahl der Testfälle nicht zu groß werden, da sonst der Test nicht in angemessener Zeit durchgeführt werden kann. Die Ermittlung aussagekräftiger Testfälle stellt daher ein zentrales, aber gleichzeitig äußerst schwieriges Problem dar. Das Erstellen von Systemmodellen in einer geeigneten Spezifikationssprache, wie UML-RT oder AutoFocus, bringt entscheidende Vorteile bei der Entwicklung der Software und bei der Ermittlung der relevanten Testfälle. In dieser Arbeit werden objektive Kriterien zur Bewertung von Testsuiten definiert und Methoden zur Erstellung aussagekräftiger Testfälle vorgestellt. Dabei werden die Verfahren anhand der Spezifikationssprache AutoFocus konkretisiert und Strategien zur praktischen Realisierung der automatisierten Testfallermittlung vorgestellt.