Safety-Software gemäß IEC 61508-3Modellbasiertes Testen sicherer Funktionsbausteine
Spätestens seit der zweiten Fassung der IEC 61508 hat in der Sicherheitstechnik das modellbasierte Testen Einzug gehalten. Ein wesentlicher Teil davon ist die automatisierte Testfallgenerierung. Bei richtiger Anwendung steigert diese Methode die Qualität deutlich – bei signifikanter Kostensenkung.
<p>Bild 3. Einsatz des modellbasierten Testens für sichere Funktionsbausteine. Einerseits werden auf Basis des Systemmodells die sicheren Bausteine implementiert, die zusammen mit der Sicherheitssteuerung das zu testende System ergeben. Weiterhin wird insbesondere aus dem Systemmodell automatisch ein Testmodell erzeugt. Dieses Testmodell dient zur Generierung der Testfälle für den Komponententest des sicheren Funktionsbausteins. Ein Testsystem ist für die automatische Testdurchführung und die Protokollierung der Ergebnisse verantwortlich.</p> © KW-Software

