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.
Seite [2 von 5]
 | | | Bild 2 von 5 | | | |
<p>Bild 1. Veranschaulichung der Code-Coverage-Verfahren 'Statement Coverage' und 'Branch Coverage'. Das Beispiel zeigt die Summenbildung der Absolutwerte der Operanden a und b. Auf Basis des Quellcodes wird ein Automat beschrieben. Die grün eingefärbten Zustände und Kanten zeigen die entsprechende Code-Coverage-Methode.</p> © KW-Software