BTC TestStack × Simulink

Test und Verifikation – nativ in Simulink.

Testen Sie Ihr Modell und den generierten Produktionscode in einem Workflow – mit integrierter Unterstützung für dSPACE TargetLink und MathWorks Embedded Coder.

live_testing · MIL → SIL → PIL
ABGESCHLOSSEN
100%
MC/DC für Modell und Code
Statement100%
Branch100%
MC/DC100%
MIL ✓SIL ✓PIL ✓

0 Abweichungen · 48 Testfälle generiert

MATLAB/Simulink · Stateflow · dSPACE TargetLink · MathWorks Embedded CoderPowered by BTC QCore
Die Herausforderung

Tests liegen heute beim Entwickler.

Schnellere Release-Zyklen verlagern Tests von separaten Testteams zu den Entwicklern. Entwicklertests in Simulink bedeuteten bislang häufig, verschiedene Eingaben manuell am Modell auszuprobieren – ohne Rückverfolgbarkeit zu den Anforderungen, ohne Testautomatisierung und ohne die Möglichkeit, Testfälle für den generierten Code oder in einer CI-Pipeline wiederzuverwenden.

1

Manuelles Ausprobieren

Eingaben im Modell einzeln manuell ausprobieren.

2

Keine Anforderungsrückverfolgbarkeit

Tests sind nicht mit den Anforderungen verknüpft, die sie prüfen.

3

Keine Automatisierung oder Wiederverwendung

Testfälle lassen sich weder auf den generierten Code übertragen noch in einer CI-Pipeline wiederverwenden.

Die Lösung

Testgetriebene Entwicklung direkt in Simulink.

BTC TestStack bringt zertifizierte Funktionen für Test und Verifikation direkt in Ihre Simulink-Modelle. Führen Sie anforderungsbasierte Tests und Back-to-Back-Tests durch und ermitteln Sie die Codeabdeckung über MIL, SIL und PIL hinweg – in einem Projekt, das Modell und generierten Code versteht. Test-Harnesses werden automatisch erstellt und aktuell gehalten.

Simulink-Integration

Direkt erstellen, ausführen und debuggen

Richten Sie Tests über das Simulink-Menüband ein, führen Sie sie aus und analysieren Sie Fehler schrittweise direkt am Originalmodell.

MIL / SIL / PIL

Modell und Code, ein Projekt

Führen Sie dieselben Tests für Modell und generierten Code aus und weisen Sie nach, dass beide dasselbe Verhalten zeigen.

Kein manueller Test-Harness

Für Sie verwaltete Test-Harnesses

Test-Harnesses werden im Hintergrund generiert und gepflegt und bei Änderungen am Modell automatisch nachgeführt.

Funktionen

Alles, was Tests auf Unit- und Integrationsebene benötigen – an einem Ort.

Sieben Funktionen, ein Projekt, keine separate Toolchain.

Testmanagement01

BTC TestCase Manager

Eine Web-UI mit sortier-, filter- und gruppierbaren Tabellen, konfigurierbaren Tastenkürzeln und gespeicherten persönlichen Ansichten.

Ausführung02

Direkt am Modell ausführen und debuggen

Führen Sie Tests am ursprünglichen Simulink-Modell aus und debuggen Sie sie schrittweise – für schnelle, testgetriebene Iterationen.

Back-to-Back-Tests03

Modell und Code automatisch vergleichen

Vergleichen Sie MIL mit SIL und PIL, wobei die Testarchitektur automatisch aus TargetLink oder Embedded Coder extrahiert wird.

Automatische Testgenerierung04

Anforderungs- oder codeabdeckungsbasiert

BTC TestStack generiert Testfälle automatisch – entweder aus Ihren Anforderungen abgeleitet oder gezielt zum Schließen von Lücken in der strukturellen Codeabdeckung.

Codeabdeckung05

Anweisungsabdeckung bis MC/DC

Strukturelle Codeabdeckung und Robustheitsabdeckung, bei Änderungen an Tests und Code automatisch aktualisiert.

AUTOSAR06

Wrapper-Modelle, automatisch generiert

Automatische Generierung von Wrapper-Modellen einschließlich Scheduling und Client-Server-Stubs.

Rückverfolgbarkeit der Anforderungen07

ALM-/PLM-Integration

Bidirektionale Rückverfolgbarkeit von Anforderungen und Tests mit IBM DOORS, Siemens Polarion, PTC Integrity, codeBeamer, Jama und SystemWeaver.

BTC TestStack × KI

Entwickelt für das KI-Zeitalter.

BTC TestStack lässt sich an die KI-Modelle Ihrer Wahl anbinden. Nutzen Sie KI, um interaktive Workflows zu beschleunigen, oder lassen Sie die KI Ihre End-to-End-Workflows übernehmen 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, den BTC TestStack über Ihr zu testendes System kennt – Schnittstellen, Anforderungen und Struktur. So entwirft er Artefakte, die Sie sonst manuell erstellen müssten.

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 zu bedienen – für Menschen ebenso wie für KI-Agenten.

Dieselben Aktionen, die ein Engineer in der IDE ausführt, stehen KI-Agenten über einen MCP-Server zur Verfügung. Ein Agent kann Tests generieren, Verifikationen ausführen und die Ergebnisse einlesen. So bleibt die Verifikation in dem Arbeitsprozess, in dem der Agent bereits tätig ist.

BTC TestStack-Aktionen stehen als MCP-Tools zur Verfügung
Agenten generieren Tests, verifizieren sie und lesen Nachweise ein
Funktioniert mit den Assistenten und Agenten-Frameworks, die Ihr Team einsetzt
Beide sind an BTC TestStack angebunden
Ihre Vorteile

Der Workflow wird an fünf Stellen kürzer.

1

Ein Projekt für Modell und Code

Modell und generierter Code liegen in einem gemeinsamen Projekt und werden mit demselben Testsatz geprüft.

2

Kein manueller Test-Harness

Test-Harnesses werden für Sie erstellt und gepflegt und folgen den Änderungen am Modell.

3

Zertifizierte Nachweise

Die Ergebnisse stammen aus TÜV SÜD-zertifizierten Komponenten für ISO 26262 und verwandte Sicherheitsstandards verschiedener Branchen.

4

Schnelle Iteration

Führen Sie Tests direkt auf dem Modell aus und debuggen Sie dort, sodass ein fehlgeschlagener Test unmittelbar auf den betreffenden Block verweist.

5

Automatische Codeabdeckung

Die Codeabdeckung von Anweisungen bis MC/DC wird bei Änderungen an Tests und Code automatisch aktualisiert.

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
Medizinproduktesoftware
EN 50716
Bahnanwendungen

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.

Feel the Quality

Fordern Sie eine Evaluierungslizenz an.

Enthalten ist ein Einführungsworkshop mit unseren Engineers, in dem BTC TestStack anhand Ihres eigenen Simulink-Modells und des generierten Codes eingerichtet wird.