Nächste Seite: Einschränkungen des Analyzers
Aufwärts: Analyse eines Protokolls
Vorherige Seite: Beschränkungen des Suchraumes
Inhalt
Neben den manuellen Abfragen jedes Zustandes, und dessen Vorgängerzuständen usw.,
gibt es einen automatischen Modus, in dem der Analyzer von einem angegeben
Zustand über eine Suche in einen Startzustand zu gelangen. Der Vorteil an dem
manuellen Modus ist, daß der Nutzer auch nur Teilzustände abfragen kann, um
den Suchbaum übersichtlicher zu halten. Der vom automatischen Modus erzeugte
Suchbaum, kann relativ schnell sehr unübersichtlich werden. Man kann aber
jederzeit zwischen den Modi wechseln und Veränderungen vornehmen.
2003-01-22