Zustandspfad
Zustandspfad bezeichnet in der Informatik eine Folge von Zuständen, die ein System während einer Ausführung durchläuft. Er tritt in Zustandsmaschinen, endlichen Automaten und formalen Spezifikationen auf und dient dazu, das Verhalten des Systems schrittweise abzubilden.
Formal: Ein endlicher Automat M = (Q, Σ, δ, q0, F). Ein Zustandspfad q0, q1, ..., qn ist eine Sequenz
Eigenschaften: Pfade können end- oder unendlich sein. Sie beschreiben eine mögliche Ausführung oder Verifikation. Erreichbare Pfade
Anwendungen: Zustandspfadanalysen dienen der Verifikation von Systemverhalten, der Testfallgenerierung, dem Model Checking und der Fehlersuche. Sie
Beispiel: Ein DFA mit Zuständen {A, B, C}, Startzustand A, Endzustand C, Transitionen A —a→ B und
Begriffliche Anmerkungen: Der Begriff wird oft mit Trace oder Ausführungspfad übersetzt; in der Praxis kann er