Automatisierte Testplanerstellung für Betriebsstrategien von Hybridfahrzeugen: Zustandsbasierte Testfallerstellung auf der Grundlage von Statecharts

ISBN-13: 9783836657044 / Niemiecki / Miękka / 2008 / 100 str.

Robert Poser

Opis

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 Kontrollfussgraphen - zur Planung von Testfallen 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 uberfuhrt werden konnen, welcher die moglichen Zustandsabfolgen eines Automaten nach dem Einschalten abbildet. Anhand dieses Baums werden von Softwaretests abgeleitete Uberdeckungsstrategien vorgestellt und diskutiert. Diese fuhren zu einer endlichen Menge an Pfaden, wobei jeder Pfad einen Testfall reprasentieren kann. Fur die Ermittlung konkreter Ein- und Ausgangswerte muss abschlieend jeder Pfad schrittweise durchlaufen werden. Ein im Rahmen dieser Arbeit implementiertes Testtool wird vorgestellt. Dieses liest Stateflow-Modelle ein, und ermittelt Zustandsfolgen fur das Uberdeckungskriterium der Round-trip Pfade. Unter Einhaltung bestimmter Rahmenbedingungen konnen fur jeden Pfad konkrete Werte fur den Automateneingang ermittelt, und zusammen mit den erwarteten Antwortsequenzen als Testplan ausgegeben werden.

O autorze

Robert Poser, Studium der Elektrotechnik an der Technischen Universität Dresden, Abschluss 2007