Ansatz des modellbasierten Testens ist es, das Sollverhalten von Systemen in ausfuhrbaren Modellen zu spezifizieren. Aus dem Aufbau dieser Verhaltensmodelle konnen Testfalle abgeleitet werden. Die Starke dieses Ansatzes besteht in der systematischen und automatisierbaren Vorgehensweise. Fur die Modellierung solcher Verhaltensmodelle existiert unter anderem das Entwurfswerkzeug Stateflow(R), welches Bestandteil der Entwicklungsumgebung Matlab/Simulink ist. Dieses Programm erlaubt die Abbildung von reaktiven, zustandsbasierten Systemen in Form von Statecharts. Statecharts konnen - ahnlich wie...