BTC TestAgent

Produktvorschau

Der Agent führt aus. Sie behalten die Kontrolle.

Ein KI-gesteuerter virtueller Tester, der HIL-Tests auf Systemebene durchgängig automatisiert und unsere formalen, symbolischen Methoden nutzt, um die KI-Ergebnisse vertrauenswürdig zu machen.

Demo buchen

Agenten-WorkflowPRÜFUNG AUSSTEHEND

Anforderungen extrahiert

Anforderungen formalisiert

Testfälle generiert

Symbolisch validiert

Auf dem HIL-System ausgeführt

AnforderungenSystemmodellSILHIL

Testgenerierung auf SystemebenePowered by BTC QCore

BTC TestStack

Codeebene · Unit & Integration · Engineering-Team steuert

BTC TestAgent

Systemebene (HIL) · Agent führt aus · Vertrauenswürdig

Warum BTC TestAgent

Tests auf Systemebene sind noch immer überwiegend manuell.

Tests auf Systemebene und HIL-Tests (Hardware-in-the-Loop) sind heute weitgehend manuell, wissensintensiv und zeitaufwendig. Engineering-Teams übertragen Anforderungen von Hand in Tests, richten deren Ausführung ein und bewerten die Ergebnisse einzeln.

Generative KI verspricht, diesen Prozess zu beschleunigen. Für sicherheitsrelevante Verifikation ist sie allein jedoch nicht vertrauenswürdig genug: Ergebnisse können unvollständig oder nur plausibel sein und trotzdem falsch liegen.

BTC TestAgent schließt diese Lücke: Generative KI sorgt für Geschwindigkeit und Automatisierung, bewährte formale Methoden für Verlässlichkeit und Qualität. So entwickelt sich das Testen auf Systemebene in Richtung eines automatisierten 24/7-Betriebs.

Wie es funktioniert

Der vollständige Testworkflow auf Systemebene.

Sie stellen die Spezifikationsdokumente bereit. Der Agent übernimmt von dort aus Schritt für Schritt – und Sie behalten überall dort die Kontrolle, wo sie erforderlich ist.

Anforderungsextraktion

Liest Spezifikationsdokumente und extrahiert die relevanten Anforderungen automatisch.

Anforderungsformalisierung

Überführt informelle Anforderungen mithilfe unserer Universal-Pattern-Technologie in formale, maschinenverifizierbare Anforderungen.

Testfallgenerierung

Leitet Abdeckungselemente ab und generiert Testfälle in einem mehrstufigen Prozess – einschließlich automatischer Prüfungen auf Vollständigkeit und Korrektheit.

Testfall-Validierungsschleife

Generierte Testfälle werden vor der Ausführung symbolisch validiert. Die Prüfergebnisse fließen zurück in die Generierung, sodass unvollständige oder fehlerhafte Testfälle automatisch korrigiert werden.

Testausführung

Die validierten Testfälle werden in der HIL- oder Simulationsumgebung am zu testenden System ausgeführt.

Ergebnisverifikation

Die Ausführung wird automatisch anhand der formalisierten Anforderungen bewertet. Das Ergebnis ist ein eindeutiges Prüfurteil mit Anforderungsabdeckung und vollständiger Rückverfolgbarkeit.

Feedbackschleife der Testausführung

Ausführungsergebnisse und Prüfurteile fließen in den Workflow zurück. So lernt der Agent aus dem realen Systemverhalten und verbessert den nächsten Lauf.

Integrierte Funktionen

Automatisch, wo es möglich ist. Manuell, wo es sinnvoll ist.

Human-in-the-Loop als Gestaltungsprinzip

Bei hoher Konfidenz führt der Agent Schritte automatisch aus. Bei niedriger Konfidenz fragt er die fehlenden Informationen ab und Sie können den Schritt manuell steuern.

Schritte manuell freigeben

Geben Sie zusätzliche Anweisungen oder überspringen Sie einen Schritt mit eigenen Eingaben, damit der Workflow nicht ins Stocken gerät.

Zwei Feedbackschleifen

Durch die Validierungs- und Ausführungsschleife lernt der Agent sowohl aus Verifikationsbefunden als auch aus realen Ausführungsergebnissen – innerhalb eines Laufs und über mehrere Läufe hinweg.

Eigene Daten einbringen

Binden Sie Ihre eigenen prozess- und systemspezifischen Dokumente ein und erleben Sie den Agenten in Ihrer realen Umgebung.

Was ihn auszeichnet

KI ersetzt keine methodische Strenge. Sie wird methodisch abgesichert.

Entscheidender Unterschied

Vertrauenswürdige KI – KI plus formale Methoden

BTC TestAgent ergänzt generative KI um unsere symbolischen Methoden und macht ihre Ergebnisse dadurch verifizierbar und vertrauenswürdig.

Universal-Pattern-Technologie

Unsere Formalisierungstechnologie bildet Anforderungen als präzise, verifizierbare Muster ab – die Grundlage für die symbolische Validierung von Testfällen und die automatische Ergebnisbewertung.

Automatisierung auf Basis des Konfidenzniveaus

Der Agent arbeitet autonom, wenn er über ausreichende Sicherheit verfügt, und fragt nach, wenn Informationen fehlen. So verbindet er die Geschwindigkeit der Automatisierung mit technischem Urteilsvermögen.

Basiert auf BTC QCore

Formalisierung, symbolische Validierung und Ergebnisbewertung basieren auf der Technologie von BTC Embedded Systems für formale Verifikation, die sich seit Jahren in sicherheitskritischen Projekten bewährt.

Integriert in das dSPACE Test Automation SDK

Testerstellung und -ausführung basieren auf der abstrakten API von dSPACE für HIL-Tests und sind auf moderne SDV-Entwicklungswerkzeuge abgestimmt.

Wissenswertes

Passt zu Ihrer bestehenden Arbeitsweise.

Lokale Installation: Läuft auf Ihrem lokalen Rechner – mit geringer Installationshürde und passend zu Ihrer bestehenden Umgebung.
Cloud-fähig: Cloud-ready – darauf ausgelegt, schrittweise mit Ihrer Cloud- und HIL-Umgebung zu skalieren.
Ihr eigenes LLM: Nutzt den LLM-Zugang, über den Ihr Unternehmen bereits verfügt – derzeit für Modelle der OpenAI-Klasse.
Vorhandenes Fachwissen: Nutzt Ihr vorhandenes Wissen über HIL-Tests, statt eine neue Methodik vorzugeben.
Ihre eigenen Daten: Ergänzen Sie Ihre prozess- und systemspezifischen Dokumente und testen Sie den Agenten in Ihrer realen Umgebung.

Feel the Quality

KI ersetzt keine methodische Strenge. Sie wird methodisch abgesichert.

Demo buchen