Aktuelle Test- und Messtechnik-News

Details

Testwerkzeug für sicherheitskritische Software-Entwicklung

17. Juli 2013 - TESSY, das Werkzeug zum automatisierten Modul-, Unit- und Integrationstest von eingebetteter Software von Hitex Development Tools, ist erneut für die sicherheitskritische Software-Entwicklung nach IEC 61508:2010 und ISO 26262:2011 qualifiziert worden. Die Qualifizierung wurde durch den TÜV SÜD vorgenommen und gilt ab der Versionsnummer V3.0.18 von TESSY.

Bezüglich IEC 61508 hält TESSY als Verifikations-Werkzeug die Anforderungen ein, die an unterstützende Werkzeuge nach IEC 61508-3:2010 gestellt werden. Dabei wurde TESSY der Klasse T2 nach IEC 61508 zugeordnet.

Hinsichtlich ISO 26262 erfüllt TESSY die 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 Dezember 2011 nach den obigen Standards qualifiziert worden. Eine erneute Qualifizierung wurde notwendig, weil mit 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.

Durch die Erteilung des Zertifikats ist der Werkzeugqualifizierungsprozess für den Anwender von TESSY zwar stark erleichtert, jedoch nicht trivial geworden. Die Werkzeugqualifizierung ist und bleibt in der Verantwortung des Anwenders und muss vom Anwender gegebenenfalls (z.B. abhängig vom (A)SIL) durch zusätzliche Maßnahmen, beispielsweise Tests, ergänzt werden. Um den Anwender bei der zusätzlichen Qualifizierung zu unterstützen, gibt es von TESSY 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 gestaltet. 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 Vertrauen in die ermittelten Ergebnisse zu schaffen. Dieses Tool Qualification Package wurde im Rahmen der erneuten Qualifizierung erweitert, um mit zusätzlichen Testfällen die erweiterte Funktionalität zu prüfen, und enthält nun über 2.300 Testfälle.

www.hitex.de/