Empfohlen, aber aufwendig einzurichten
Normen verlangen Back-to-Back-Tests, doch ein funktionsfähiger Test-Harness für Modell und generierten Code erfordert erheblichen Einrichtungsaufwand.
BTC TestStack
Back-to-Back-Test.
Automatisch nachweisen, dass sich der generierte Produktionscode wie das Modell verhält – für Simulink, dSPACE TargetLink und MathWorks Embedded Coder.
MILSILPILSimulinkdSPACE TargetLinkEmbedded Coder
Back-to-Back · Controller_Rev4MIL vs. SIL
Modell · MIL
Controller.slx
Code · SIL / PIL
/* Controller_step */
void Controller_step(void) {
real32_T err = ref - fb;
real32_T u = Kp * err;
state = plant(state, u);
out = state;
fb = out;
}
dSPACE TargetLink und Embedded Coder
Ausgaben vergleichen
torque_cmd142.8 ≡ 142.8
mode_outRUN ≡ RUN
1 284 Samples verglichenModell ≡ Code
Die Herausforderung
Der Nachweis, dass Modell und Code übereinstimmen, sollte kein manuelles Projekt sein.
Back-to-Back-Tests werden von ISO 26262 und verwandten Normen zur funktionalen Sicherheit empfohlen. Die beantwortete Frage ist einfach: Verhält sich der generierte Code wie das Modell? Diese Antwort manuell zu ermitteln, ist es nicht.
Überall manuell erstellte Testdaten
Ausreichende Stimuli zu erzeugen und Ausgaben über viele Subsysteme hinweg zu vergleichen, ist langsam, repetitiv und manuell.
Jede Modelländerung stößt alle Tests erneut an
Nach jeder Modelländerung werden beide Seiten neu generiert, erneut ausgeführt und wieder verglichen – ein vollständiger Zyklus in jeder Iteration.
Die Lösung
100 % Vollständigkeit, 0 % manueller Aufwand.
BTC TestStack führt den Back-to-Back-Test zwischen Modell (MIL) und Produktionscode (SIL/PIL) automatisch in einem einzigen Testprojekt aus. Es extrahiert die Architektur aus dSPACE TargetLink und MathWorks Embedded Coder, generiert die Testfälle, führt beide Seiten aus und berichtet den Vergleich – ohne manuellen Test-Harness und ohne handgeschriebene Testdaten.
Architektur automatisch extrahiert
BTC TestStack liest die Modell- und Codearchitektur direkt aus TargetLink und Embedded Coder aus – ohne einen Test-Harness manuell zu verdrahten.
Harness-Modelle bei Bedarf
Für große Modelle werden Test-Harness-Modelle automatisch generiert, sodass auch tiefe Hierarchien ohne manuelle Einrichtung ausgeführt werden.
CI/CD
Läuft headless in Ihrer CI. Eine vielseitige REST API orchestriert BTC TestStack auf einer virtuellen Maschine, in einem Linux-Docker-Container oder als BTC TestStack × Cloud in AWS.
Der Back-to-Back-Testworkflow
Automatisch
Architekturextraktion
Schnittstellen und Subsystemhierarchie werden direkt aus dem Modell ausgelesen.
Automatisch
Testgenerierung
Automatische Testgenerierung für 100 % strukturelle Coverage einschließlich MC/DC.
Beide ausführen
Beide Seiten ausführen
Auf dem Modell ausführen · MIL
Auf generiertem Code ausführen · SIL / PIL
Automatisch
Ergebnisse vergleichen
Die Ausgaben stimmten innerhalb der definierten Toleranzen Sample für Sample überein.
Ausgabe
Bericht und Abweichungen
HTML-Bericht, der jedes Sample hervorhebt, bei dem der Code vom Modell abweicht.
Automatische Testgenerierung
Vollständige strukturelle Abdeckung, generiert mit Model-Checking-Technologie.
Die Testfälle für einen Back-to-Back-Lauf werden nicht zufällig gewählt. BTC TestStack erzeugt per Model Checking den kleinsten Satz, der jedes Coverage-Ziel erreicht, und zeigt, welche Ziele nicht erreichbar sind.
Generiert statt zufällig
Model Checking leitet Testfälle aus der Struktur selbst ab. So wird 100 % Coverage konstruktiv statt zufällig erreicht.
Der kleinste und kürzeste Satz
Die kleinste Anzahl möglichst kurzer Testfälle, die dennoch jedes Ziel erfüllt – weniger auszuführen und weniger zu prüfen.
Unerreichbarkeit erkannt
Eine dynamische Analyse unterscheidet ein unerreichbares Ziel von einem lediglich ungetesteten. Eine Lücke wird dadurch erklärt und nicht nur markiert.
Eingaben und Kalibrierungen gezielt erreicht
Der direkte Zugriff auf Eingaben und Kalibrierungen macht Verhalten sichtbar, das anforderungsbasierte funktionale Tests übersehen können.
Back-to-Back-Bericht – Controller_Rev4 · Build #482MIL vs. SIL
Testfälle
24
generiert · Model Checking
Modell ≡ Code
23 / 24
innerhalb der Toleranz übereinstimmend
Abweichungen
1
zur Prüfung markiert
MC/DC-Abdeckung
100%
| Testfall | Modell (MIL) | Code (SIL) | Max. Δ | Ergebnis |
|---|---|---|---|---|
| TC_01 | 142.80 | 142.80 | 0.0e0 | Übereinstimmung |
| TC_02 | RUN | RUN | — | Übereinstimmung |
| TC_03 | 0.0491 | 0.0491 | 2.1e-7 | Übereinstimmung |
| TC_04 | 88.20 | 88.21 | 1.0e-2 | Abweichung |
| TC_05 | -1.000 | -1.000 | 0.0e0 | Übereinstimmung |
Weitere Themen entdecken
Dieselbe Engine, eine andere Fragestellung.
Back-to-Back-, Regressions- und Migrationstests laufen auf derselben BTC TestStack-Engine – mit automatischer Testgenerierung durch Model Checking und strukturellem Vergleich.
Regressionstest
„Hat eine Änderung eine Regression verursacht?“
Zeigt, dass sich die Software nach einer Änderung weiterhin wie vorgesehen verhält – auf Modellebene (MIL) oder Codeebene (SIL/PIL). Ausführung per Knopfdruck, Berichte als HTML.
MIL vs. MILSIL vs. SILnon-AUTOSAR vs. AUTOSAR
Migrationstest
„Hat ein Werkzeug-Upgrade das Verhalten verändert?“
Zeigt, dass eine neue Werkzeugversion – Codegenerator, Compiler, Modellierungswerkzeug oder Betriebssystem – das Verhalten unverändert lässt. Jenkins führt den Workflow über Werkzeugversionen und Betriebssysteme hinweg aus.
Neue Simulink-VersionNeue TargetLink-VersionNeues Betriebssystem
Zertifiziert
BTC TestStack
ist nach ISO 26262 zertifiziert
Das Zertifikat bezieht sich auf Normen zur funktionalen Sicherheit in mehreren Branchen:
ISO 26262
Automobilindustrie
IEC 61508-3:2010
Industrielle und branchenübergreifende funktionale Sicherheit
ISO 25119
Land- und forstwirtschaftliche Maschinen
IEC 62304
Software für Medizinprodukte
EN 50716
Bahn- und Schienenanwendungen
Für ISO 26262 ist BTC TestStack auf dem höchsten Tool Confidence Level (TCL) zertifiziert; die Zertifizierung gilt für alle ASIL-Level einschließlich ASIL D. Zertifikat und Bericht stellen wir Kunden auf Anfrage kostenlos zur Verfügung und ersparen ihnen damit den größten Teil des Aufwands für die Toolqualifizierung.
Verwandte Use Cases
Weitere Einsatzmöglichkeiten von BTC TestStack.
Use Case
Anforderungsbasiertes Testen
Anforderungsbasiertes Testen für Simulink, TargetLink, Embedded Coder, handgeschriebenen und KI-generierten Code.
Use Case
Code Coverage
In BTC TestStack wird Codeabdeckung automatisch berechnet und im Hintergrund aktualisiert.
Use Case
Formale Methoden
Die Nachweiskraft formaler Methoden für sicherheitskritische Systeme.
Feel the Quality
Sprechen Sie mit unserem Engineering-Team.
Schildern Sie uns Ihre konkrete technische Herausforderung. Wir sagen Ihnen, ob eine Evaluierungslizenz, ein Workshop oder ein Gespräch der richtige nächste Schritt ist.