Automatisierte Testplanerstellung für Betriebsstrategien ...
Ansatz des modellbasierten Testens ist es, das Sollverhalten von Systemen in ausführbaren Modellen zu spezifizieren. Aus dem Aufbau dieser Verhaltensmodelle können Testfälle abgeleitet werden. Die Stärke dieses Ansatzes besteht in der systematischen und automatisierbaren Vorgehensweise.Für die Modellierung solcher Verhaltensmodelle existiert unter anderem das Entwurfswerkzeug Stateflow®, welches Bestandteil der Entwicklungsumgebung Matlab/Simulink ist. Dieses Programm erlaubt die Abbildung von reaktiven, zustandsbasierten Systemen ...