TESSY - Leistungsstarkes, zertifiziertes Tool für Unit- und Integrationstests zur automatisierten Prüfung von Embedded-Software in C/C++

TESSY: Umfassende Testautomatisierung für Embedded Software

―――

Automatisierung des Testzyklus:

TESSY optimiert den gesamten Testprozess, einschließlich Regressionstests für Embedded Software in C und C++. Es automatisiert die Erstellung der Testumgebung, die Testausführung und die Auswertung der Ergebnisse. Tests können auf dem Zielsystem, in Instruktionssatz-Simulatoren oder auf dem PC ausgeführt werden, unter Verwendung führender Cross-Compiler oder des integrierten GNU/x86-Compilers.

―――

Vielseitige Kompatibilität:

TESSY unterstützt alle gängigen Compiler, Debugger und Mikrocontroller und lässt sich problemlos in verschiedene Entwicklungs-Workflows integrieren.

―――

Zertifiziert für sicherheitskritische Anwendungen:

TESSY entspricht den Normen IEC 61508, IEC 62304, ISO 26262 und EN 50128 und ist ein bewährtes Werkzeug für sicherheitsrelevante Software in den Bereichen Automobil, Bahn, Luft- und Raumfahrt, Maschinenbau sowie Medizintechnik.

―――

Umfassende Code-Coverage-Analyse:

TESSY bietet neun verschiedene Methoden zur Messung der Code-Abdeckung, darunter die innovative „Hyper Coverage“, die die Abdeckung auf Quellcode-Ebene abbildet, sowie die Call-Pair-Coverage (CPC), die die Ausführung aller Funktionsaufrufpunkte überprüft. Die Ergebnisse werden automatisch analysiert und visuell dargestellt.

―――

Integriertes Anforderungsmanagement:

Mit TESSY können Anforderungen erstellt, importiert, exportiert und mit Testfällen verknüpft werden. Die Kompatibilität mit Formaten wie ReqIF erleichtert die Integration mit Anforderungswerkzeugen, und automatisch generierte Dokumente unterstützen bei Zertifizierungen und Assessments.

―――

Erweiterte Testfunktionen:

• Szenario-Editor: Ermöglicht zeitliche Tests von Modul-Interaktionen, indem Eingabe- und Ausgabedaten auf einer Zeitachse definiert werden.

• Classification Tree Editor (CTE): Generiert Klassifikationsbäume automatisch, verknüpft Äquivalenzklassen mit Werten und verwaltet projektspezifische Schnittstellendefinitionen für effiziente Testspezifikationen.