BTC EmbeddedPlatform

Mit der BTC EmbeddedPlatform® bietet BTC eine hoch-automatisierte Test-Umgebung welche folgende Tools und Anwendungsfälle umfasst:
 

Requirements-basierter Test mit BTC EmbeddedTester® BASE

Der Requirements-basierte (oder auch funktionale) Test ist in der Regel eine sehr Zeit-intensive Aufgabe. Insbesondere der Umgang mit Themen wie Nachverfolgbarkeit von Tests zu Anforderungen, Coverage-Analysen oder die Erstellung eines Test Rahmens ist eine echte Herausforderung und führt nicht selten im Projekt zu einer großen Zahl an Tools und Skripten welche nur bedingt integriert sind. Hier zeigt sich der BTC EmbeddedTester® BASE als die Komplettlösung für den funktionalen Test von Simulink/TargetLink® Modellen und Produktionscode.

Zusätzliche Add-Ons für den Formalen Test und für die Anforderungs-basierte Testfall-Generierung bringen die Vorteile der formalen Spezifikationswelt mit dem Requirements-basierten Testen zusammen und sorgen für eine deutliche Verbesserung von Testtiefe und Qualität.
 

Vollautomatischer Back-to-Back Test mit BTC EmbeddedTester®

In der Modell-basierten Entwicklung müssen diverse Implementierungsinstanzen wie das Modell, der Source-Code oder der Objekt-Code getestet und miteinander verglichen werden. Durch die automatische Testfall-Generierung der hochintegrierten Testumgebung BTC EmbeddedTester® kann der Testaufwand um bis zu 70% minimiert werden. Sämtliche Daten werden automatisch aus der Modellierungs- und Code-Generierungsumgebung Simulink/TargetLink® extrahiert; eine echte „push-button“ Lösung.

 

Formale Spezifikation mit BTC EmbeddedSpecifier®
Formale Verifikation mit BTC EmbeddedValidator®

Stellen Sie sich vor, dass der Computer Ihre Anforderungen wirklich verstehen könnte. „Erklären“ Sie Ihrem Computer sicherheitskritische Anforderungen mit BTC EmbeddedSpecifier®, um zunächst die Qualität der Anforderungen in Richtung, Klarheit und Eindeutigkeit entscheidend zu verbessern. Dies eröffnet zusätzlich erstaunliche Möglichkeiten für den Verifikationsprozess wie zum Beispiel eine automatische anforderungsbasierte Testfallgenerierung, den formalen Test oder die vollständige formale Verifikation, welche zeigen kann, dass die Implementierung niemals die Anforderungen verletzt.



Kontakt

Vereinbaren Sie einen Termin mit uns.

Tel: +49 441 96 97 38-0

E-Mail: info@btc-es.de