Während des Betriebs müssen Produktionsanlagen Fehler des technischen Prozesses erkennen und mit entsprechenden Fehlerbehandlungsroutinen ihrer Automatisierungssoftware reagieren. Für den mit Hilfe von software-implementierter Fehlerinjektion automatisierten Test dieser Routinen wurde in dieser Arbeit ein modellbasierter Ansatz entwickelt, der die automatische Generierung und Ausführung der Testfälle ermöglicht. Als Basis wurde eine etablierte Weg-Zeit-Diagramm Spezifikation angepasst und formalisiert.
«
Während des Betriebs müssen Produktionsanlagen Fehler des technischen Prozesses erkennen und mit entsprechenden Fehlerbehandlungsroutinen ihrer Automatisierungssoftware reagieren. Für den mit Hilfe von software-implementierter Fehlerinjektion automatisierten Test dieser Routinen wurde in dieser Arbeit ein modellbasierter Ansatz entwickelt, der die automatische Generierung und Ausführung der Testfälle ermöglicht. Als Basis wurde eine etablierte Weg-Zeit-Diagramm Spezifikation angepasst und formal...
»