This flashcard is just one of a free flashcard set. See all flashcards!

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).