Vollständige Abdeckung von Hand ist langsam – oft unmöglich
Eingaben manuell so auszuwählen, dass jede Entscheidung und jedes MC/DC-Ziel ausgeführt wird, ist aufwendig – und manche Ziele sind allein durch Intuition kaum zu erreichen.
BTC TestStack
Automatische Testgenerierung.
Erreichen Sie vollständige strukturelle Abdeckung und überführen Sie Anforderungen mit BTC TestStack automatisch in Testfälle.
Strukturelle AbdeckungRobustheitAnforderungenModell und Code
Die Herausforderung
Testfälle manuell zu schreiben, lässt sich nicht skalieren.
Die benötigten Tests sind klar definiert: vollständige strukturelle Abdeckung, Robustheit auf Unit-Ebene und anforderungsbasierte Tests. Der Aufwand entsteht bei ihrer manuellen oder zufallsbasierten Erstellung.
Zufallsgeneratoren erzeugen große Mengen ohne Zielkenntnis
Zufällige oder suchbasierte Generierung erzeugt große, redundante Mengen – und kann eine echte Abdeckungslücke nicht von einem Ziel unterscheiden, das schlicht nicht erreichbar ist.
Der Weg von Anforderungen zu Testfällen ist Handarbeit
Eine natürlichsprachige Anforderung in einen ausführbaren Testfall mit Eingaben, erwarteten Ausgaben und Rückverfolgbarkeit zu überführen, ist repetitive Arbeit – und sie fällt bei jeder Änderung der Anforderung erneut an.
Die Lösung
BTC TestStack erzeugt die Tests, die Sie benötigen.
BTC TestStack erzeugt automatisch Tests für jedes relevante Ziel: strukturelle Abdeckung, Robustheit und Anforderungen. Eine deterministische Model-Checking-Engine übernimmt Abdeckung und Robustheit, während der BTC AI Assistant Anforderungen in ausführbare Testfälle überführt.
Deterministisches Model Checking
Diese direkt aus der Struktur abgeleiteten Testfälle bieten 100 % Abdeckung, sind mathematisch vollständig und basieren auf einer für ISO 26262 sowie verwandte Standards zertifizierten Technologie.
BTC AI Assistant für Anforderungen
Liest eine natürlichsprachige Anforderung und erstellt den Entwurf eines ausführbaren, anforderungsbasierten Testfalls, den Sie vor der Übernahme prüfen.
Formal + KI
Vertrauen in KI-generierte Artefakte – automatisch und ohne manuelle Prüfung.
Liegt eine Anforderung in formaler, maschinenlesbarer Form vor, verwendet BTC TestStack sie als unabhängige Referenz zur Prüfung der KI-Ausgabe. Das erzeugte Artefakt wird gegen die formale Anforderung verifiziert – dadurch ist das Ergebnis ohne manuellen Prüfschritt vertrauenswürdig.
Drei Ziele, eine Lösung
Was auch immer Sie testen müssen: BTC TestStack erzeugt die passenden Tests.
Drei Ziele der automatischen Testgenerierung.
Strukturelle Abdeckung
100 % Abdeckung – oder der Nachweis, dass sie nicht erreichbar ist.
Erzeugt die Testfälle – Eingabe- und Kalibrierwerte –, die jedes erreichbare Strukturelement ausführen: Statement, Decision, MC/DC und weitere, auf Modell- oder Codeebene.
Auf Basis von Model Checking ermittelt BTC TestStack die kleinste und kürzeste Testmenge – und liefert einen mathematischen Nachweis, wenn ein Ziel nicht erreichbar ist. Diese Tests sind wertvoll für Back-to-Back-Tests, Regressionstests, Migrationstests und die Analyse von totem Code.
Abdeckungsbericht · Controller_Rev4
MC/DC-Abdeckung100%
Statement48 / 48
Decision31 / 31
MC/DC · Branch F @ Zeile 88nicht erreichbar · nachgewiesen
Robustheit
Finden Sie das Problem – oder weisen Sie nach, dass es nicht auftreten kann.
Prüft Laufzeitfehler auf Unit-Ebene – Division durch Null, Downcasts, Array-Zugriffe außerhalb der Grenzen und Bereichsverletzungen –, indem ein Testfall erzeugt wird, der den Fehlerzustand erreicht.
Im Idealfall wird kein Testfall gefunden: der Nachweis, dass der problematische Zustand nicht erreichbar ist. Ist er erreichbar, erhalten Sie den Testfall zur Fehlersuche.
Robustheit · Unit-Prüfungen
Division durch Nullkein Test · nachgewiesen
Downcastkein Test · nachgewiesen
Array-Zugriff außerhalb der GrenzenTest gefunden
Bereichsverletzungkein Test · nachgewiesen
idx_buf @ Zeile 213 → Test zur Fehlersuche öffnen
Anforderungen
Von der natürlichsprachigen Anforderung zum ausführbaren Testfall.
Der BTC AI Assistant überführt eine Anforderung auf Unit- und Integrationsebene in einen ausführbaren, anforderungsbasierten Testfall – mit einem Entwurfsmodus, den Sie vor der Übernahme prüfen.
Der Testfall bleibt strukturiert, prüfbar und zur Anforderung rückverfolgbar.
BTC AI Assistant · Entwurfsmodus
Anforderung · REQ-4192
Wenn brake_pedal > 80 % und die Fahrzeuggeschwindigkeit > 0 ist, muss decel_request innerhalb von 200 ms mindestens 6 m/s² erreichen.
TC_REQ-4192_01Entwurf – prüfen
gegebenspeed = 42 km/h
wennbrake_pedal = 90 %
erwartetdecel_request ≥ 6.0 @ t ≤ 200 ms
Zertifiziert
BTC TestStack
ist nach ISO 26262 zertifiziert
Das Zertifikat bezieht sich auf Normen zur funktionalen Sicherheit in mehreren Branchen:
ISO 26262
Automobil
IEC 61508-3:2010
Industrielle und branchenübergreifende funktionale Sicherheit
ISO 25119
Land- und forstwirtschaftliche Maschinen
IEC 62304
Software für medizinische Geräte
EN 50716
Bahn-/Bahnanwendungen
Für ISO 26262 ist BTC TestStack mit dem höchsten Tool Confidence Level (TCL) zertifiziert, gültig für alle ASIL-Level, einschließlich ASIL D. Wir stellen den Kunden das Zertifikat und den Bericht auf Anfrage kostenlos zur Verfügung – wodurch der größte Teil des Werkzeugqualifizierungsaufwands auf Kundenseite entfällt.
Verwandte Use Cases
Wo diese Tests eingesetzt werden.
Use Case
Code Coverage
In BTC TestStack wird Codeabdeckung automatisch berechnet und im Hintergrund aktualisiert.
Use Case
Back-to-Back-Test
Back-to-Back Tests zwischen Modell und Code, zertifiziert für ISO 26262 und weitere Standards.
Use Case
Anforderungsbasiertes Testen
Anforderungsbasiertes Testen für Simulink, TargetLink, Embedded Coder, handgeschriebenen und KI-generierten Code.
Use Case
Formale Methoden
Die Nachweiskraft formaler Methoden für sicherheitskritische Systeme.
Feel the Quality
Sprechen Sie mit unserem Engineering-Team.
Sagen Sie uns, wo Ihre technische Herausforderung tatsächlich liegt. Wir sagen Ihnen, ob eine Evaluierungslizenz, ein Workshop oder ein Gespräch der richtige nächste Schritt ist.