Synopses & Reviews
Synopsis
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(R), welches Bestandteil der Entwicklungsumgebung Matlab/Simulink ist. Dieses Programm erlaubt die Abbildung von reaktiven, zustandsbasierten Systemen in Form von Statecharts. Statecharts k nnen - hnlich wie Kontrollfussgraphen - zur Planung von Testf llen herangezogen werden. Diese Arbeit beschreibt eine an den zustandsbasierten Test angelehnte Vorgehensweise, die die automatisierte Berechnung von Testeingangsequenzen zum Ziel hat. Es wird beschrieben wie Startcharts in die Form eines Transitionsbaums berf hrt werden k nnen, welcher die m glichen Zustandsabfolgen eines Automaten nach dem Einschalten abbildet. Anhand dieses Baums werden von Softwaretests abgeleitete berdeckungsstrategien vorgestellt und diskutiert. Diese f hren zu einer endlichen Menge an Pfaden, wobei jeder Pfad einen Testfall repr sentieren kann. F r die Ermittlung konkreter Ein- und Ausgangswerte muss abschlie end jeder Pfad schrittweise durchlaufen werden. Ein im Rahmen dieser Arbeit implementiertes Testtool wird vorgestellt. Dieses liest Stateflow-Modelle ein, und ermittelt Zustandsfolgen f r das berdeckungskriterium der Round-trip Pfade. Unter Einhaltung bestimmter Rahmenbedingungen k nnen f r jeden Pfad konkrete Werte f r den Automateneingang ermittelt, und zusammen mit den erwarteten Antwortsequenzen als Testplan ausgegeben werden.