/CF05/
Mirko Conrad, Ines Fey:
Modell-basierter Test von Simulink/Stateflow-Modellen

Proc. Kolloqium Testen im System- und Software-Life-Cycle, Techn. Akademie Esslingen, Nov. 2005, S.278-298

+ Download

Abstract:
Die Modell-basierte Entwicklung hat sich in wichtigen Einsatzbereichen als Standardparadigma für die Erstellung von Steuergerätesoftware etabliert. In der Automobilindust-rie hat sich hierbei Simulink/Stateflow als de-facto Standard-Werkzeug für die Modellierung durchgesetzt. Um die Wirksamkeit und Effizienz des Tests im Rahmen der Modell-basierten Entwicklung (Modell-basierter Test) zu gewährleisten, bedarf es einer methodischen Vorgehensweise, die den Spezifika dieses Entwicklungsparadigmas Rechnung trägt und insbesondere die im Modell enthaltenen testrelevanten Informationsinhalte für den Testprozess nutzbar macht. Da die Anwendung eines einzelnes Testverfahren für ei-nen gründlichen Test i.d.R. nicht ausreichend ist, müssen verschiedene komplementäre Testverfahren (test design techniques) für Simulink/Stateflow-Modelle geeignet mit-einander kombiniert werden. Für eine solche effektive Teststrategie für den Modell-basierten Test hat sich eine Kombination aus funktionalen und strukturellen Testverfahren auf Modellebene (MIL) mit anschließender Wiederverwendung der so ermittelten Testszenarien für den SIL, PIL und HIL Test bewährt. Ausgehend von der effektiven Teststrategie für den Mo-dell-basierten Test gibt der Beitrag einen Überblick über aktuell vorfindliche Testverfahren und zugehörige Werkzeuge für Simulink/Stateflow-Modelle und ordnet diese den einzelnen Bereichen der effektiven Teststrategie zu. Dieser Überblick kann als Entscheidungshilfe für die Auswahl einer geeigneten Methoden- und Werkzeugkombination im jeweiligen Projektzusammenhang dienen.