https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=Zustandsbezogener_TestZustandsbezogener Test - Versionsgeschichte2026-06-12T00:28:03ZVersionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale KopieMediaWiki 1.43.8https://wiki-de.moshellshocker.dns64.de/index.php?title=Zustandsbezogener_Test&diff=1109189&oldid=previmported>ToBeFree: /* Testkriterien */ enzyklopädischer Schreibstil, Leser nicht direkt ansprechen, Quellenangaben nicht im Fließtext2022-05-23T10:43:54Z<p><span class="autocomment">Testkriterien: </span> enzyklopädischer Schreibstil, Leser nicht direkt ansprechen, Quellenangaben nicht im Fließtext</p>
<p><b>Neue Seite</b></p><div>Der '''zustandsbezogene Test''' (auch zustandsbasierter Test, Testen von Zustandsautomaten) bezeichnet eine [[Testmethode]], bei der Tests aus einer in Form eines Zustandsautomaten vorliegenden [[Spezifikation]] abgeleitet werden. Es handelt sich hierbei um ein dynamisches, funktionales Testverfahren aus der Gruppe der [[Black-Box-Test]]s.<br />
<br />
== Anwendung ==<br />
Der zustandsbezogene Test kommt zur Anwendung, wenn neben den Eingabewerten auch der bisherige Ablauf eines Systems Einfluss auf das Systemverhalten hat. Das Testobjekt kann ein komplettes System mit unterschiedlichen Zuständen aber auch eine Klasse mit verschiedenen Zuständen in einem objektorientierten System sein<ref>Spillner, Andreas: ''Basiswissen Softwaretest: Aus- und Weiterbildung zum Certified-Tester'', Heidelberg: dpunkt-Verl., 2003</ref>.<br />
<br />
== Zustandsdiagramm ==<br />
Das Testobjekt lässt sich in Form eines [[Zustandsdiagramm]]s modellieren. Von einem Startzustand ausgehend, kann das Testobjekt verschiedene Zustände einnehmen. Auslöser für Zustandsänderungen können Ereignisse oder erfüllte Bedingungen sein.<br />
<br />
== Testkriterien ==<br />
Es existiert eine Reihe von Teststrategien, um Zustandsautomaten zu testen. Im Allgemeinen wird die [[Überdeckungstest|Überdeckung]] aller Zustände sowie aller Zustandsübergänge angestrebt. Das bedeutet, dass Testfälle generiert werden, die mindestens das einmalige Durchlaufen aller Zustände und Zustandsübergänge zum Ziel haben. Auch das Testen aller Ereignisse wird als sinnvoll betrachtet. Analog dem [[Zweigüberdeckungstest]] stellt die Überdeckung aller Zustandsübergänge jedoch keinen vollständigen Test dar. Zudem gibt es noch keine gesicherte Aussage darüber, ''wann'' ein Zustandsautomat ausreichend getestet ist.<ref name="balzert">Balzert, Helmut: Lehrbuch der Software-Technik: Software-Management, Software-Qualitätssicherung, Unternehmensmodellierung, Berlin: Spektrum Akad. Verl., 1998, ISBN 3-8274-0065-1</ref><br />
<br />
== Vorgehensweise ==<br />
Zur Bestimmung der Testfälle wird aus dem zyklischen Zustandsdiagramm ein Übergangsbaum/Transistionenbaum erstellt. Folgende Vorgehensweise ist möglich<ref>Poser, Robert: ''Automatisierte Testplanerstellung für Betriebsstrategien von Hybridfahrzeugen'', Technische Universität Dresden, 11/2007</ref>:<br />
* der Initialzustand bildet die Wurzel des Baumes<br />
* für jeden möglichen Übergang erhält der Übergangsbaum eine Verzweigung zu einem neuen Knoten, welcher den Folgezustand repräsentiert<br />
* dieser Schritt wird solange wiederholt, bis<br />
** ein bereits besuchter Zustand erreicht wird (''round-way trip''), bzw.<br />
** ein Zustand keine abgehenden Übergänge besitzt.<br />
<br />
In diesem Baum lassen sich nun Pfade entsprechend der Kriterien bestimmen. Jeder Pfad entspricht dabei einem Testfall.<br />
<br />
== Werkzeuge ==<br />
* Reactis V2006<br />
* Simulink Design Verifier 1<br />
* [[Time Partition Testing]] (TPT)<br />
<br />
== Siehe auch ==<br />
* [[Modellbasiertes Testen]]<br />
* [[Black-Box-Test]]<br />
* [[Softwaretest]]<br />
<br />
== Literatur ==<br />
* Balzert, Helmut: ''Lehrbuch der Software-Technik: Software-Management, Software-Qualitätssicherung, Unternehmensmodellierung'', Berlin: Spektrum Akad. Verl., 1998, ISBN 3-8274-0065-1<br />
* Spillner, Andreas: ''Basiswissen Softwaretest: Aus- und Weiterbildung zum Certified-Tester'', Heidelberg: dpunkt-Verl., 2003<br />
* Poser, Robert: ''Automatisierte Testplanerstellung für Betriebsstrategien von Hybridfahrzeugen'', Technische Universität Dresden, 11/2007<br />
<br />
== Einzelnachweise ==<br />
<references /><br />
<br />
[[Kategorie:Testen (Software)]]</div>imported>ToBeFree