TESSY 3.0 das etablierte Werkzeug zum automatisierten Modul-, Unit- und Integrationstest von eingebetteter Software aus dem Hause Razorcat, wurde erneut für die sicherheitskritische Software-Entwicklung nach IEC 61508:2010 und ISO 26262:2011 vom TÜV Süd zertifiziert.
Bezüglich IEC 61508 hält TESSY alle Anforderungen ein, die an unterstützende Verifikations-Werkzeuge nach IEC 61508-3:2010 gestellt werden. Dabei wurde TESSY der Klasse T2 nach IEC 61508 zugeordnet. Hinsichtlich ISO 26262 erfüllt TESSY alle Anforderungen der Werkzeugqualifizierung nach ISO 26262-8 für alle Automotive Safety Integrity Level (ASIL). Dabei wurde für den Tool Impact (TI) der Wert 2 ermittelt und der Tool Error Detection Level (TD) wurde mit dem Wert 3 angenommen, was einen Tool Confidence Level (TCL) mit dem Wert 3 ergibt.
Tessy V2.9 war bereits im Jahr 2011 nach den obigen Standards qualifiziert worden. Eine erneute Qualifizierung wurde notwendig, da mit dem Erscheinen der neuen Hauptversion TESSY V3.0 umfangreiche Erweiterungen an der Funktionalität von TESSY verbunden waren, beispielsweise die Nachverfolgbarkeit von Anforderungen zu Testfällen.
Um den Anwender bei einer zusätzlichen Qualifizierung zu unterstützen, gibt es von Razorcat zusätzlich zum Zertifikat auch optional ein sogenanntes Tool Qualification Package (TQP). In diesem Paket sind Dokumente und Testfälle enthalten:
Die Dokumente beschreiben beispielsweise die Aufgaben im Testprozess, die TESSY durchführt und bewertet diese Aufgaben im Hinblick auf die Verwendung in sicherheitskritischen Projekten.
Die Testfälle sind speziell zur Prüfung der für sicherheitskritische Projekte relevanten Aufgaben vorgesehen. Würde TESSY beispielsweise die Codeüberdeckung eines Testobjekts fälschlicherweise zu 100% ermitteln, so würde dieser Fehler im restlichen Testprozess kaum entdeckt werden. Deshalb ist es wichtig, diese von TESSY durchgeführten Messungen speziellen Tests zu unterziehen, um einen Nachweis der ermittelten Ergebnisse zu erhalten.
TESSY 3.0 Zertifikat Z10 14 06 78930 002
Bericht vom TÜV Süd über das Zertifikat Z10 14 06 78930 002