Zu dieser Karteikarte gibt es einen kompletten Satz an Karteikarten. Kostenlos!

Bei vielen Systemen: Einflussdes bisherigen Ablaufs des Systems auf
Berechnung der Ausgaben.

●Endlicher Automat besteht aus endlicher Anzahl von internen
Konfigurationen – Zustände.
●Zustand eines Systems beinhaltet implizit Informationen.
  Ergibt sich aus bisherigen Eingaben.
Nötig um Reaktion des Systems auf folgende Eingaben zu bestimmen.

System: Annahme von unterschiedlichen Zuständen beginnend vom Startzustand.
●Auslösung von Zustandsänderungenoder –übergänge durch
Ereignisse, z.B. Funktionsaufrufe.
●Bei Zustandsänderungen Aktionen durchführbar.
●Spezieller Zustand:Startzustand und Endzustand


Ziele

Nachweis der Konformität des Testobjekts zum Zustandsdiagramm
(Zustands-Konformanztest).

Zusätzlich Test unter nicht-konformanten Benutzungen
(Zustands-Robustheitstest).