loader image

Test Lösungen für Simulink Modelle und Seriencode

Challenges of Virtual Validation for ADAS/AD

How can I create the needed millions of scenarios?

How can I avoid the test explosion problem?

How can I find out if my tests are passed or failed?

Produkte

BTC EmbeddedTester

Intelligente Testfall-Generierung für automatisierte Back-to-back tests, Regressions Tests und Migrations Tests

ISO 26262 zertifiziert

100% Vollständigkeit
0% Manueller Aufwand

BTC EmbeddedTester ist eine ISO 26262 zertifizierte Testumgebung für automatische Testfall-Generierung und Test-Ausführung.

Viele Use Cases in der Entwicklung von Embedded Software benötigen Testfälle welche 100% strukturelle Coverage sicherstellen, ein Ziel dass mit manuell erstellten Testdaten nur selten erreicht werden kann.

Während andere Lösungen zur automatischen Testfall-Generierung häufig auf randomisierten Verfahren beruhen, nutzt BTC EmbeddedTester “Model Checking” Technologie um mathematisch vollständig Testfällle für 100% strukturelle Coverage zu generieren.

info (3)

Mit allen Features von BTC EmbeddedTester BASE

Strukturelle Testmethoden

Use Cases

Back-to-Back Test

In Modell-basierten Entwicklungsprozessen ist es wichtig zu zeigen, dass Modell und Code das gleiche Verhalten aufweisen. Hierzu empfiehl der ISO 26262 Standard die Durchführung von Back-to-Back Tests.

Regressions Test

Regressions Tests erlauben einen automatisierten Vergleich des Verhaltens verschiedener Software Versionen. Regressions Tests können sowohl auf Modell- als auch auf Code-Ebene durchgeführt werden, und spielen insbesondere durch die immer agiler werdenden Prozesse eine immer wichtigere Rolle.

Migrations Test

Über Migrations Tests lässt sich automatisiert nachweisen, dass ein Wechsel auf neuere Tool Versionen (z.b. Matlab oder TargetLink) keinen Einfluss auf das Verhalten von Modell und Code haben.

 

Maximale Flexibilität

Coverage Ziele für automatische Testfall-Generierung

Toogle

Statement Coverage

Toogle

Decision/ Branch Coverage

Toogle

Condition Coverage

Toogle

MC/DC Coverage

Toogle

Function Coverage

Toogle

Function Call Coverage

Toogle

Relational Operator Coverage

Toogle

Division by 0 Coverage

Toogle

Downcast Coverage

Toogle

Switch Case Coverage

Toogle

Equivalence Class coverage

Toogle

Boundary Value Coverage

Toogle

User-Defined Coverage

Toogle

Relational Operator Coverage

Ein Highlight des BTC EmbeddedTester ist die automatische Testfallgenerierung, mit deren Hilfe Sie eine vollständige strukturelle Coverage auf Ihrem Seriencode erreichen. Zu den Coveragezielen gehören u.a. Statement, Decision, Condition, MC/DC und Domain Coverage. Der Testfallgenerator hat Zugriff auf alle Eingangsvariablen und Kalibrationsparameter und kann somit strukturelle Probleme aufdecken, die mit funktionalen Testfällen nicht sichtbar wurden.

Die Testfallgenerierung basiert auf der sogenannten  Model Checking Technologie. Im Gegensatz zu zufallsbasierten Methoden garantiert Model-Checking nicht nur das Auffinden eines vollständigen und nicht-redundanten Testfall-Satzes, Model-Checking liefert außerdem einen automatischen mathematischen Beweis für nicht erreichbare Code-Fragmente.

ADD-ON

User-Defined
Coverage Goals

Neben den vordefinierten Coverage Metriken lassen sich mit Hilfe des Add-On “User-defined Coverage Goals” auch individuelle Abdeckungsziele definieren. So ist es sehr einfach möglich, einen bestimmten Systemzustand wie beispielsweise eine bestimmte Wertekombination von Ausgangs-Variablen zu beschreiben.  Die Definition der Abdeckungsziele geschiet in einem intuitiven Editor, welcher Zugriff auf sämtliche Interface-Variablen des Systems hat. Im Anschluss wird automatisch analysiert und dokumentiert, ob existierende Testfälle das definierte Ziel erreichen.

Sollte dies nicht der Fall sein, lässt sich die integrierte Testfallgenerierung nutzen, um Testfälle zum Erreichen des definierten Zustandes automatisch zu generieren. Sollte dies nicht gelingen, wird wie bei strukturellen Coverage-Zielen ein vollständiger mathematischer Beweis hinsichtlich der Unerreichbarkeit geliefert.

ADD-ON

Test Automation
inkl. CI/CD Support

Mit dem BTC EmbeddedTester Test Automation add-on können Sie sämtliche Test-Abläufe einfach automatisieren. Im Anschluss erhalten Sie einen übersichtlichen HTML Report, welcher neben einer klaren Zusammenfassung aller Test-Metriken auch detaillierte Unter-Reports zu Themen wie Test-Ergebnissen, Requirements-Traceability oder Code Coverage beinhaltet. Mit direktem Support für  Jenkins, einer mächtigen und OPEN API konformen REST API und der Verfügbarkeit eines Linux Containers ist BTC EmbeddedTester für Ihre aktuellen und zukünftigen Automatisierungs Anforderungen perfekt gerüstet, sei es auf Ihren eigenen Servern oder in der Cloud.

Das Test Automation add-on beinhaltet zusätzlich die BTC EmbeddedTester Migration Suite, welche es Ihnen ermöglich automatisierte Regressions-Test zwischen verschiedenen Tool-Versionen (z.b. Matlab oder TargetLink) durchzuführen. Dank der automatisierten Testfall-Generierung und -Ausführung lässt sich so dokumentieren, dass ein Upgrade der Tool-Versionen keinen Einfluss auf das Verhalten Ihrer Applikation hat.

Zertifiziert

ISO 26262

BTC EmbeddedPlatform (inkl. BTC EmbeddedTester BASE, BTC EmbeddedTester, BTC EmbeddedSpecifier and BTC EmbeddedValidator) ist vom TÜV Süd für die Nutzung in sicherheitskritischen Projekten zertifiziert. Das Zertifikat gilt für die Standards IEC 61508-3:3010, ISO 26262, EN 50128, IEC 62304 as well as ISO 25119. Für den in der Automobilbranche geltenden Standard ISO 26262 ist BTC EmbeddedPlatform mit dem höchsten Tool Confidence Level TCL 3 für alle ASIL Level inklusive ASIL D zertifiziert. Dank dieses Zertifikats, welches wir unseren Kunden kostenfrei zur Verfügung stellen, lässt sich der Aufwand zur Tool Qualifizierung innerhalb Ihrer Projekte nahezu eleminieren.
ISO 26262 Certificate

Evaluierungs Lizenz

Sie möchten unsere Tools in Ihrer Entwicklungsumgebung testen? Gerne stellen wir Ihnen eine kostenfreie Evaluierungslizenz zur Verfügung., inkl. Kick-Off Trainings-Workshop und Support durch unser Team.

Buchen Sie ein Meeting mit unserem Engineering Team

Sie haben Fragen oder Interesse an einer persönlichen Tool Demo? Nutzen Sie unten stehenden Link, um ein unverbindliches Meeting mit unserem Engineering Team zu buchen. 

Evaluierungs Lizenz

Sie möchten unsere Tools in Ihrer Entwicklungsumgebung testen? Gerne stellen wir Ihnen eine kostenfreie Evaluierungslizenz zur Verfügung., inkl. Kick-Off Trainings-Workshop und Support durch unser Team.

Buchen Sie ein Meeting mit unserem Engineering Team

Sie haben Fragen oder Interesse an einer persönlichen Tool Demo? Nutzen Sie unten stehenden Link, um ein unverbindliches Meeting mit unserem Engineering Team zu buchen. 

Technologie

Model Checking

BTC Embedded Systems ist Pionier bei der Integration der Model Checking Technologie in ein kommerzielles Entwicklungswerkzeug. Wir machen diese hochautomatisierte Technologie für die Industrie verfügbar und tragen zu einer signifikanten Steigerung von Effizienz und Qualität in den Entwicklungsprojekten unserer Kunden bei.

Das Ziel eines Model Checkers ist es, das Verhalten eines Systems vollständig auf eine bestimmte temporale Eigenschaft zu überprüfen und automatisch zu beweisen, dass diese Eigenschaft stets erfüllt ist. Ist dies nicht möglich, liefert der Model Checker ein Gegenbeispiel (=Testfall), das explizit zeigt, wie die zu prüfende Eigenschaft verletzt werden kann. Im Gegensatz zur Ausführung von Testfällen analysiert der Model Checker alle möglichen Läufe eines Systems und liefert einen vollständigen mathematischen Beweis, der das dynamische Verhalten des Systems über die Zeit berücksichtigt. Insbesondere die Bereitstellung eines Gegenbeispiels unterscheidet Model Checking von anderen automatischen Analysemethoden wie der Abstract Interpretation.

BTC EMBEDDED SYSTEMS BLOG

Unser Blog

Unser Blog mit Artikeln rund um die Themen Embedded Software Entwicklung, Model-based Design, Serien-Code Generierung, ISO 26262, Continuous Integration und mehr.

PRODUKT VIDEOS

Videos

Entdecken Sie die wichtigsten Features unserer Tools in diesen kurzen Demo Videos.

BTC EmbeddedTester BASE

Requirements-basierter Test für Simulink, TargetLink, Embedded Coder und Handcode.