Eintrag kommentierenEintrag bewerten
Dieser Eintrag wurde im Schnitt mit 0 von 5 Punkten bewertet
Glossareintrag
Fehlerpfad
Glossar:4251
Externe Quellen zum Thema NEU: Externe Quellen zum Thema suchen 
Erläuterung
Im Kontext des Model Checking beschreibt ein Fehlerpfad die Ausführung eines Modells von einem Startzustand über die anschließend durchlaufenen Zustände bis zu einem Zustand, in dem die in der Spezifikation festgelegten Eigenschaften des Modells nicht erfüllt werden.

Innerhalb einer Simulation, die auf dem Fehlerpfad basiert, kann man anschließend nachvollziehen, wie es zu der fehlerhaften Situation gekommen ist, also ob die Ursache beispielsweise in nicht vorhergesehenen Wechselwirkungen mit der Umgebung oder in unvorhergesehenem Verhalten innerhalb der Komponenten des Modells selbst zu suchen ist.
Externe Quellen zum Thema NEU: Externe Quellen zum Thema suchen 
 Eintrag kommentieren 
 Eintrag bewerten 
Zu dieser Seite wurden noch keine Kommentare oder Bewertungen abgegeben.
 
Zum Seitenanfang Top Drucken Impressum AGB
Home

VSEK ©2001-2018