KI-gesteuerte autonome Testgenerierung für HIL-Tests auf Systemebene.
Systemebene (HIL)Agent übernimmt die AusführungVertrauenswürdig
BTC TestStack
Hier entsteht Vertrauen in Ihren gesamten Code.
BTC TestStack vereint Test und Verifikation für sicherheitskritische Software – modellbasiert, handgeschrieben und KI-generiert – entwickelt für das Zeitalter von SDVs und KI.
verification_run · Unit + IntegrationABGESCHLOSSEN
Anforderungsbasierte Tests0/24
ALLE BESTANDEN · 0 fehlgeschlagen · 0 blockiert
Strukturtests0%
MC/DC-Abdeckung auf Unit-Ebene
0%
Statement
0%
Branch
0%
MC/DC
Formale VerifikationNachgewiesen
0 / 12 Nachweispflichten erfüllt
modellbasierthandgeschriebenKI-generiert
Verifikation auf Unit- und IntegrationsebenePowered by BTC QCore
BTC EmbeddedPlatform heißt jetzt BTC TestStack. Bestehende Lizenzen bleiben gültig – und Bestandskunden erhalten zahlreiche neue Funktionen.
Zertifiziert für
ISO 26262IEC 61508-3ISO 25119IEC 62304EN 50716
Trusted by
+100 Unternehmen
EIN TOOL – IHR GESAMTER CODE
Software entsteht heute auf unterschiedliche Weise.
Ein Engineering-Team arbeitet heute mit modellbasierten Komponenten, handgeschriebenem C/C++ und zunehmend mit KI-generiertem Code. BTC TestStack ist die ideale Lösung, um alle Codearten in einem einzigen zertifizierten Stack zu testen.
01
Modellbasiert
Simulink-Modelle und Produktionscode, generiert mit dSPACE TargetLink oder Embedded Coder.
02
Handgeschrieben
Treiber, Bibliotheken und Integrationslogik direkt in C/C++ geschrieben.
03
KI-generiert
Von Assistenten und Agenten direkt aus Spezifikationen erstellter Code.
DREI TESTUMGEBUNGEN
Dort, wo Sie arbeiten.
Ein Stack, drei integrierte Umgebungen für Ihre interaktiven Workflows.
Handgeschriebenes & KI-generiertes C/C++
Verifikation für Ihren Code – und für den Code, den KI generiert.
Testen und verifizieren Sie handgeschriebenes und KI-generiertes C/C++ direkt im VS Code-Editor – einschließlich Unterstützung für Google Test.
Unit- und Integrationstests für C/C++ direkt in der IDE
Rückverfolgbarkeit zu Ihren bevorzugten ALM-/PLM-Tools
BTC TestStack bindet die KI-Modelle Ihrer Wahl ein. Nutzen Sie KI, um interaktive Workflows zu beschleunigen, oder lassen Sie KI-Agenten ihren Verifikationsprozess steuern und orchestrieren.
Integriert
BTC AI Assistant
Generative KI, die Ihr zu testendes System kennt.
Ein in den Workflow integrierter Chat-Assistent. Er kombiniert ein generatives Modell mit dem Kontext von BTC TestStack zu Ihrem zu testenden System – Schnittstellen, Anforderungen und Struktur – und entwirft Artefakte, die Sie sonst von Hand erstellen würden.
Entwirft Testfälle aus Anforderungen und Schnittstellenkontext
Wandelt informelle Anforderungen in formalisierte Spezifikationen um
Funktioniert mit Ihren bevorzugten KI-Modellen
MCP Server
Für KI-Agenten
Einfach nutzbar für Menschen und KI-Agenten.
Dieselben Aktionen, die Engineering-Teams in der IDE ausführen, stehen KI-Agenten über einen MCP-Server zur Verfügung. Ein Agent kann Tests generieren, die Verifikation ausführen und Ergebnisse zurücklesen – die Verifikation bleibt damit Teil seines bestehenden Workflows.
BTC TestStack-Aktionen, die als MCP-Tools bereitgestellt werden
KI-Agenten steuern den Verifikationsprozess und erhalten Testergebnisse zurück
Funktioniert mit den Assistenten und Agenten-Frameworks, die Ihr Team ausführt
BTC TestStack – der Nachfolger von BTC EmbeddedPlatform einschließlich BTC EmbeddedTester BASE, BTC EmbeddedTester, BTC EmbeddedSpecifier und BTC EmbeddedValidator – wurde vom deutschen TÜV SÜD als für den Einsatz in sicherheitskritischen Softwareentwicklungsprojekten geeignet zertifiziert.
Das Zertifikat bezieht sich auf Normen zur funktionalen Sicherheit in mehreren Branchen:
ISO 26262Automobilindustrie
IEC 61508-3:2010Industrielle und branchenübergreifende funktionale Sicherheit
ISO 25119Land- und forstwirtschaftliche Maschinen
IEC 62304Medizinproduktesoftware
EN 50716Bahnanwendungen
Für ISO 26262 ist BTC TestStack mit dem höchsten Tool Confidence Level (TCL) zertifiziert. Die Zertifizierung gilt für alle ASIL-Stufen einschließlich ASIL D. Zertifikat und Bericht stellen wir Kunden auf Anfrage kostenfrei bereit und ersparen ihnen damit den größten Teil des Aufwands für die Toolqualifizierung.
Warum BTC TestStack
Mehrwerte auf einen Blick
Ein Stack statt vieler Einzellösungen
Ein Stack für modellbasierten, handgeschriebenen und KI-generierten Code – statt separater Tools, Lizenzen und einer Lernkurve für jeden Anwendungsfall.
Vertrauenswürdige KI
KI beschleunigt die Testgenerierung, die Arbeit mit Anforderungen und die Automatisierung – die Nachweise entstehen jedoch weiterhin durch deterministische, zertifizierte Verifikation. Ihr Team nutzt die Produktivitätsvorteile der KI, ohne den Safety Case darauf zu stützen.
Auditnachweise integriert
TÜV SÜD-zertifizierte Komponenten werden mit den zugehörigen Nachweisen geliefert und reduzieren so den Aufwand bei jedem Audit.
Feel the Quality
Beginnen Sie mit einer Evaluierungslizenz.
Enthalten ist ein 2-stündiger Workshop mit unseren Engineering Kollegen – eingerichtet für Ihren eigenen Code.
