Die folgenden Dokumente werden vom Hersteller von TESSY zur Verfügung gestellt, um TESSY-Benutzern die Qualifizierung von TESSY für den Einsatz in sicherheitsrelevanten Softwareentwicklungsprojekten zu ermöglichen.
- Zertifikat des TÜV SÜD (PDF)
- Bericht zum Zertifikat des TÜV SÜD (PDF)
- Tool Qualifizierungs-Information (TQI)
- Tool Qualifizierungs-Paket (TQP)
TESSY-Zertifikat von TÜV SÜD
TESSY ist für den Einsatz in der sicherheitsgerichteten Softwareentwicklung nach IEC 61508, ISO 26262, EN 50128 und IEC 62304 qualifiziert.
- Das Verifikationswerkzeug erfüllt die Anforderungen an Unterstützungswerkzeuge der Klassifizierung T2 gemäß IEC 61508-3 und EN 50128 und ist für den Einsatz in der sicherheitsbezogenen Softwareentwicklung gemäß IEC 61508, EN 50128 und ISO 26262 qualifiziert. Das Werkzeug ist für den Einsatz in der sicherheitsgerichteten Entwicklung nach IEC 62304 validiert.
Das entsprechende Zertifikat wurde erstmals im Dezember 2011 vom TÜV SÜD ausgestellt und wird regelmäßig erneuert.
Durch die etablierten Prozesse zum Änderungsmanagement und Freigabeverfahren ist sichergestellt, dass auch alle zukünftigen Versionen qualifiziert sein werden.
TESSY Tool Qualifizierungs-Information (TQI)
Die TQI ist ein Dokument, das enthält:
- eine kurze Beschreibung der Funktionalität von TESSY
- eine Versionsgeschichte von TESSY
- eine Kurzbeschreibung der Entwicklungsumgebung
- eine kurze Beschreibung des Entwicklungs-, Test- und Freigabeprozesses von TESSY
- und ähnliche Informationen.
Die TQI ist für TESSY-Kunden auf Anfrage erhältlich. Die TQI ist kostenlos. Um die TQI zu erhalten, kann eine Geheimhaltungsvereinbarung (NDA) erforderlich sein.
TESSY Tool Qualifizierungs-Paket (TQP)
Das TQP soll TESSY-Nutzern helfen, die Funktionalität von TESSY zu validieren, die für die sicherheitsrelevante Entwicklung relevant ist. Das TQP setzt sich aus verschiedenen Dokumenten und Testfällen zusammen.
Die Dokumente enthalten
- eine Beschreibung der zu validierenden TESSY-Funktionalität
- eine Beschreibung der Test- und Validierungstätigkeiten
- Ergebnisse der Test- und Validierungsaktivitäten
Die Dokumente sind speziell auf die Verwendung mit DO-178 zugeschnitten.
Die Testfälle sind speziell darauf ausgelegt, die für sicherheitskritische Projekte relevante Funktionalität von TESSY zu validieren. Würde TESSY z.B. die Codeabdeckung eines Testobjekts fälschlicherweise auf 100% setzen, würde dieser Fehler im weiteren Testprozess wahrscheinlich unentdeckt bleiben.
Es gibt mehrere tausend Testfälle, die aus mehreren hundert Testdefinitionen abgeleitet wurden. Sie decken bestimmte Funktionalitäten von TESSY ab, z.B:
- Code-Abdeckung
- Datenübertragung
- Berichterstellung
- Aufrufprotokollierung
- Integrationstests (Szenarien)
- Anforderungen mit Testfällen verknüpfen
- und mehr ...
Testdefinitionen werden mit Hilfe von Klassifikationsbäumen spezifiziert. Eine Testdefinition kann keinen, einen oder mehrere Testfälle erzeugen.
Anwenderberichte
Anwenderberichte über den erfolgreichen Einsatz von TESSY in sicherheitsrelevanten Entwicklungsprojekten, z.B. von unserem Kunden Liebherr-Aerospace Lindenberg GmbH.