Für sicherheitskritische Anwendungen Den Test testen

Auf der embedded world 2020 stellt Razorcat eine Weltneuheit vor: Die Funktion „Mutation Test“ in der nächsten Major Release des Unit- und Integrations-Testwerkzeugs Tessy für C/C++.

Es ist nach Herstellerangaben das erste Werkzeug für den Embedded-Software-Markt, dass die Qualität von Quellcodetests automatisiert prüft. Auditoren können damit alle ihre Tests einer Qualitätskontrolle unterziehen und die Einhaltung der Normen für die Testerstellung überprüfen. Insbesondere bei der Entwicklung sicherheitskritischer Systeme ist eine hohe nachweisbare Qualität der funktionalen und nicht-funktionalen Tests entscheidend für die Sicherheit der Embedded-Anwendungen und deren Functional-Safety-Zertifizierung.

Der Mutation Test verändert minimal („mutiert“) den zu testenden C/C++-Quellcode an fehlersensiblen Stellen und baut damit typische Programmierfehler ein. Erkennen die Unit- und Integrationstests den Fehler, werden diese Tests als nützlich bewertet. Eine Nichterkennung deutet auf schwache Testfälle hin und der Mutation Test gibt Hinweise, wo die Testfälle optimiert und eine bessere Qualität beim Testen erreicht werden kann. Damit lassen sich Tests einfach und automatisiert qualitativ bewerten. Der objektive Qualitätsnachweis der Unit- und Integrationstests kann auch für eine weitere Zertifizierung der Embedded-Software für Sicherheitsanwendungen genutzt werden.

Razorcat, Halle 4, Stand 434