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...     »