Die Qualitat der Steuerungssoftware hat einen entscheidenden Einfluss auf die Zuverlassigkeit und Sicherheit von Maschinen und Anlagen. Durch den Einsatz systematischer Tests kann die Qualitat von Steuerungssoftware validiert und entscheidend gesteigert werden. In der Informatik wurden dazu Testfallgenerierungsmethoden auf Basis formaler Modelle (Model-Checking) entwickelt, die eine skalierbare Testabdeckung und einen hohen Automatisierungsgrad ermoglichen. In diesem Beitrag wird die Generierung von Testfallgenerierungsmodellen und Testfallen aus ublichen Beschreibungsformen und Engineering-Dokumenten des Maschinenbaus (Weg-Zeit-Diagramm, Code in IEC 61131-3) betrachtet und anhand eines einfachen Anwendungsbeispiels zusammenfassend dargestellt.
展开▼