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.