 |
| | | | | 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.
| |
| | | | | | | | | | | | Zu dieser Seite wurden noch keine Kommentare oder Bewertungen abgegeben. |
|
| | | | | | | | Fehlerpfad | | | | |  | Erläutert Technologien | | | | | | | | | | | | | | | |
|
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights 
Eintrag kommentieren
