Functional-Safety-Zertifizierung
TESSY v5.1 mit Hyper Coverage
Zu den neuen Funktionen, die Razorcat in der Version 5.1 seines Test-Tool TESSY implementiert hat, zählen Code Access und Hyper Coverage. Innovativ an der Hyper-Coverage-Funktion: sie wird aus Standardabdeckungsmaßen berechnet, entsprechend den Normen für sicherheitskritische Anwendungen.
Auf der embedded world 2023 präsentiert Razorcat eine neue Version (v5.1) seines zertifizierten C/C++ Unit- und Integrationstestwerkzeugs TESSY mit zwei neuen Funktionen: „Code Access“ und „Hyper Coverage“. Mit den neuen Funktionen in TESSY v5.1 können Tester von Embedded Software die Abdeckung über verschiedene Tests, Testebenen und Testwerkzeuge hinweg zusammenfassen – und automatisch versteckten oder ungetesteten Code im gesamten Quellcode inklusive aller Varianten aufspüren. Die neuen TESSY-Funktionen helfen, die Qualität der Software in sicherheitskritischen Systemen in allen industriellen Anwendungsbereichen zu erhöhen. Doch damit nicht genug: Mit Code Access und Hyper Coverage beschleunigt TESSY die Zertifizierung für funktionale Sicherheit, die einen Nachweis der normgerechten Prüfung aller Funktionen und deren Vollständigkeit durch Code Coverage erfordert.
Mit Code Access sorgt TESSY v5.1 für eine automatisierte Analyse der getesteten Quellcode-Varianten unmittelbar nach dem Einrichten der Tests. Der Tester kann sofort und ohne zusätzlichen Aufwand sehen, welche Codezeilen nicht getestet wurden. Nach der Testausführung werden die Ergebnisse der Abdeckungsmessung in der Hyper Coverage zusammengefasst und so alle nicht erreichten Quellcodezeilen aufgedeckt.
Die Hyper-Coverage-Funktion verwendet weit verbreitete Abdeckungsmessungen, z.B. Branch- oder MC/DC-Coverage, um eine Korrelation zwischen den gemessenen Abdeckungsergebnissen in Bezug auf die verschiedenen Code-Varianten herzustellen. Die Ermittlung einer Hyper Coverage aus den verfügbaren Abdeckungsergebnissen gibt einen vollständigen Überblick über die Testabdeckung auf Quellcodeebene, ohne die spezifischen Abdeckungsanforderungen der Standards und Normen für die Entwicklung sicherheitskritischer Software zu verwässern. Vielmehr lokalisiert die Hyper Coverage zuverlässig ungetesteten Code in den ursprünglichen C/C++-Quelldateien.
Neu ist, dass die Hyper Coverage aus Standardabdeckungsmaßen berechnet wird, die von den geltenden Normen und Standards für die Entwicklung sicherheitskritischer Anwendungen gefordert werden. Ohne zusätzlichen Aufwand werden die vorhandenen Abdeckungsergebnisse für jede Zeile des Quellcodes zusammengeführt. Der Tester bekommt automatisch versteckten und ungetesteten Quellcode angezeigt, wodurch sich die Softwarequalität und -sicherheit erheblich erhöhen lässt.
TESSY unterstützt die gängigsten Mikrocontroller, Compiler und Debugger und ist für die sicherheitsrelevante Softwareentwicklung gemäß IEC 61508 und ISO 26262 qualifiziert.
Halle 4
Stand 532
