Newsletter im Juli 2026

                                          - TESSY von RAZORCAT
                                  - Sicherheitskritische Anwendungen
                                    - Neue Funktionen in TESSY v6.0
                               - Automatische Komponentenzuordnung
                                   - Intelligente Autovervollständigung
                          - ASCII-basierte Datenbank-Sicherungsdateien
                       - Hyper Coverage für System- und Integrationstests
                                 - Testen Sie die TESSY Beta-Version

---

Unsere Webseite www.carnica-technology.com wird zur Zeit gründlich überarbeitet. Inhalte werden auf den neuesten Stand gebracht, der Gesamt-aufbau ist neu strukturiert – nur eins ändert sich nicht: unsere Partner und das in den letzten Jahren vielfach ausgezeichnete Design. Sie werden viele Änderungen im Detail bemerken und vor allem einen intensiven Fundus an aktuellen Informationen, die Ihnen in Ihrer Projektarbeit helfen können. Freuen Sie sich auf unsere neue Webseite, die im August online geht.

TESSY von RAZORCAT   Hohe Komplexität, sicherheitskritische Anforderungen, verkürzte Ent-wicklungszeiten, großer Kostendruck: Die Qualität und Zuverlässigkeit von Embedded Systemen lässt sich heute nur durch den Einsatz auto-matischer Testwerkzeuge sichern. Razorcat Development entwickelt und vermarktet seit mehr als 25 Jahren nutzerfreundliche Tools für das automatisierte Testen von Embedded Software. Ergänzend dazu bietet Razorcat umfassende Test- und Beratungs-dienstleistungen basierend auf den modernsten Testmethoden und Werk-zeugtechnologien. Das wohl bekannteste Werkzeug TESSY führt automatisierte dynamische Modul-/Unit- und Integrationstests für embedded Software in C/C++ durch und ermittelt Code Coverage. Bei Programmen, die in der Programmiersprache C geschrieben sind, ist eine Unit oder ein Modul eine Funktion im Sinne von C; bei Programmen in C++ ist ein Modul eine Methode. Um mit dem Unit-/Modultest mit TESSY zu beginnen, suchen Sie nach dem Quellmodul, das die zu testende Unit enthält. TESSY ermittelt automatisch die Schnittstelle der getesteten Unit. Die Schnittstelle besteht aus der Menge der Eingabevariablen und der Menge der Ausgabevariablen dieser Unit. TESSY generiert automatisch die Software für einen Testtreiber, der es ermöglicht, die zu testende Unit isoliert vom Rest der Anwendung aufzurufen. Der Benutzer gibt die Test-Eingabedaten an die zu testende Unit sowie die erwarteten Ergebnisse ein.

Sicherheitskritische Anwendungen   Unit-Tests in sicherheitskritischer Software sind nicht optional. Sie machen den Unterschied aus zwischen einem Softwarefehler und einem realen Ausfall. In der Automobil-, Luft- und Raumfahrt- und Gesundheitsbranche muss jede Komponente funktionieren – unter Belastung, unter Randfällen, unter Beding-ungen, die niemand erwartet hatte. Das isolierte Testen erkennt, was die Integration verbirgt. TESSY ist darauf ausgelegt, die Anforderungen sicherheitskritischer An-wendungen zu erfüllen und hilft Ihnen, die Einhaltung von Normen wie ISO 26262, IEC 61508 und DO-178C sicherzustellen. Es gibt Ihnen das Ver-trauen, dass Ihre Software frei von versteckten Risiken ist. TESSY automatisiert den gesamten Unit-Test-Zyklus, einschließlich Regressionstests für Ihre embedded Software in C/C++ auf verschiedenen Zielsystemen. Es übernimmt die gesamte Testorganisation und -verwaltung, deckt Anforderungen, Abdeckungsmessung, Rückverfolgbarkeit und Bericht-erstattung ab. Vor wenigen Tagen hat Razorcat die TESSY Version 6 angekündigt, dessen Neuerungen wir Ihnen nachfolgend vorstellen.

Neue Funktionen in TESSY v6.0   Verbesserte Unterstützung für C++   Das Stubbing externer C++-Klassen und -Methoden stellte bislang eine große Herausforderung dar. Der neue integrierte Link-Stubber von TESSY ermöglicht das einfache automatische Stubbing aller erforderlichen C++-Klassen und -Methoden, um den Testtreiber erfolgreich zu verknüpfen. Optimierte Test-Cockpit-Ansicht   Die Test-Cockpit-Ansicht und das zugrunde liegende Modell wurden optimiert, um insgesamt schnellere Aktualisierungen und eine geringere Rechenlast beim Aktualisieren des Test-Cockpits bei Änderungen an Quelldateien oder bei Änderungen der Testergebnisse zu gewährleisten. Testen von AUTOSAR-Softwarekomponenten   Mit dem neuen AUTOSAR-Plugin unterstützt TESSY das nahtlose Testen von AUTOSAR-Softwarekomponenten (SWC), indem es die Analyse auf C-Code-Ebene mit AUTOSAR-Modellinformationen kombiniert.

Automatische Komponentenzuordnung   Die AUTOSAR-Komponenten werden auf Basis der Modelldateien und ent-sprechender Quelldateinamenvorlagen automatisch den TESSY-Modulen zugeordnet: RTE-Generierung   Die AUTOSAR-Laufzeitumgebung (RTE) wird für eine SWC automatisch aus der ARXML-Modellbeschreibung generiert. Dadurch kann TESSY die Implementierungsquelldateien analysieren und eine Zuordnung zwischen dem Quellcode und den entsprechenden AUTOSAR-Modellelementen herstellen, was Testmöglichkeiten auf hoher Ebene ermöglicht. Integrierte Testschnittstelle Die Schnittstelle des SWC wird dem Benutzer auch aus AUTOSAR-Per-spektive dargestellt – beispielsweise Runnables, Ports, Operations, Inter-Runnable-Variablen usw. – sowohl im Schnittstellen-Editor als auch im Testdaten-Editor. Dadurch können Benutzer Testdaten unter Verwendung der AUTOSAR-Terminologie anstelle von benutzerdefinierten Stub-Funktionen bereitstellen.

Intelligente Autovervollständigung   Für alle im Test verwendeten AUTOSAR-Datenelemente werden die ent-sprechenden AUTOSAR-Konstanten als mögliche Eingabedaten oder erwartete Ergebnisse im Autovervollständigungsmenü angeboten. Auch die Umrechnung zwischen physikalischen und internen Werten erfolgt auto-matisch auf Basis der verfügbaren Berechnungsmethoden. Konsistenzprüfung   Bei der Generierung des RTE werden die geltenden Modellierungsregeln überprüft und etwaige Verstöße gemeldet. Darüber hinaus stellt die Kompilierung der SWC gegen ein separat generiertes Test-RTE sicher, dass die Implementierung mit dem entsprechenden AUTOSAR-Modell überein-stimmt. Weitere Aspekte, darunter Zugriffsberechtigungen für „Runnable“ und die korrekte Handhabung von „Exclusive Areas“, werden während der Testausführung dynamisch validiert. Side-by-Side-Ansicht   TESSY stellt die C-Schnittstelle zusammen mit der AUTOSAR-Schnittstelle dar, sodass Tester die Beziehung zwischen der Implementierung und dem AUTOSAR-Modell leicht nachvollziehen können. Weitere nützliche Informa-tionen zu einzelnen AUTOSAR-Elementen werden in der Eigenschaften-ansicht bereitgestellt.

ASCII-basierte Datenbank-Sicherungsdateien   Das neue YAML-basierte Datenbank-Sicherungsformat erleichtert die Versionskontrolle von Tests. Alle Informationen sind nun in ASCII-Dateien verfügbar, was einen einfachen Vergleich und das Zusammenführen ver-schiedener Entwicklungszweige ermöglicht. Für jedes Modul werden die folgenden Dateien gespeichert: TESSY-Skriptdateien, die Testdaten und Anwendercode für jedes Testobjekt enthalten YML-Datei mit Metainformationen zum Modul Zusätzlich wird eine IDB-Datei gespeichert, die spezifische Einstellungen der Testschnittstelle enthält, die für die Wiederher-stellung aller erforderlichen Schnittstelleneinstellungen aus der Sicherung unerlässlich sind.

Hyper-Coverage für System- und Integrationstests   Die Hyper-Coverage-Funktion in TESSY ist in das Hardware-Trace-Port-Analyse-Tool von Accemic Technologies integriert, um die Quellcode-ab-deckung während System- und Integrationstests direkt von der Zielhardware zu erfassen. FPGA-basierte Erfassung der Abdeckung   Die Methode zur Erfassung der Abdeckung basiert auf der FPGA-basierten Online-Verarbeitung von Trace-Daten und der Ereignisverarbeitung, die Hochsprachen unterstützt. Daten zur Verzweigungs- sowie zur MC/DC-Abdeckung können direkt während der System- und Integrationstests erfasst werden. Lückenanalyse und gezieltes Testen   Durch den Import der Abdeckungsergebnisse in TESSY wird die Abdeckung auf Quelldateiebene in der Ansicht „Test Cockpit“ angezeigt. Fehlende Ab-deckung lässt sich leicht nachholen, indem zusätzliche Unit-Testfälle für spezielle Eckfälle im Quellcode oder für Fehlerbehandlungsfunktionen erstellt werden, die bei Testfällen im Normalbetrieb möglicherweise nicht ausgelöst wurden. Rückverfolgbarkeit von Testfällen   TESSY zeigt in der Perspektive „Coverage Viewer“ (CV) die erreichten Verzweigungen für jeden Systemtestfall an. Diese Zuordnung von Systemtestfällen zur erreichten Abdeckung unterstützt das anforderungs-basierte Testen erheblich und hilft dabei, ungetesteten Code aufzudecken.

Testen Sie die TESSY Beta-Version   Als TESSY Kunde sind Sie exklusiv eingeladen, zu den Ersten zu gehören, die die neuesten Entwicklungen von RAZORCAT kennenlernen dürfen. RAZORCAT stellt allen TESSY-Beta-Testern kostenlose 30-Tage-Lizenzen sowohl für TESSY 6 als auch für das brandneue AUTOSAR-Plugin zur Verfügung. Die neue, in Kürze erscheinende Version TESSY 6.0 kann bereits getestet werden. Geben Sie mir bitte eine kurze Nachricht und ich schicke Ihnen den Download-Link für die TESSY Beta-Test Version. Die Beta-Version kann parallel zu jeder älteren TESSY-Version installiert werden. Sie benötigen eine neue Lizenzdatei, um TESSY 6.0 nutzen zu können. Bitte fordern Sie eine Testlizenz mit dem Vermerk „Beta-Test TESSY 6.0“ bei support@razorcat.com an.

Seien Sie gespannt auf Ihre Ergebnisse beim Testen der TESSY Beta-Version und im August über unsere neue Webseite. Bis dahin wünsche ich Ihnen schöne und erholsame Sommerwochen. Herzlichst, Ihr Marian A. Wosnitza PS. Ich schreibe Ihnen gerne wieder zum 01. September.  „Besprechungen heißen so, weil meistens zu viel besprochen und zu wenig entschieden wird." (Hermann Lahm)