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?
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?
Intelligente Testfall-Generierung für automatisierte Back-to-back tests, Regressions Tests und Migrations Tests
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.
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 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.
Ü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.
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.
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.
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.
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.
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.
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.
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.
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.
Unser Blog mit Artikeln rund um die Themen Embedded Software Entwicklung, Model-based Design, Serien-Code Generierung, ISO 26262, Continuous Integration und mehr.
Entdecken Sie die wichtigsten Features unserer Tools in diesen kurzen Demo Videos.
Requirements-basierter Test für Simulink, TargetLink, Embedded Coder und Handcode.
Wir entwickeln automatisierte und intelligente Test Lösungen, welche unseren Kunden weltweit dabei helfen, eine hohe Software Qualität im Einklang mit dem ISO 26262 Standard zu erreichen
Copyright © 2024 BTC Embedded Systems
