Produkte

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.

 

Vollautomatischer Back-to-Back Test mit BTC EmbeddedTester®

In der Modell-basierten Entwicklung müssen diverse Implementierungsinstanzen wie das Model, der Source-Code oder der Objekt-Code getestet und gegebenenfalls 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. Zu nennen sind hier die automatische anforderungsbasierte Testfallgenerierung und das automatische und 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