TargetLink Strategic Partner: BTC Embedded Systems AG

Produktsuche nach Namen

BTC Embedded Systems AG
(vorher: OSC) bietet Produkte und Services für die formale Verifikation, die Validierung und das automatisierte Testen von eingebetteten Systemen.
Ergänzende Produkte zu TargetLink®:
  • BTC EmbeddedTester
  • BTC Embedded Validator


Kontakt und Bestellinformationen:
BTC Embedded Systems AG
An der Schmiede 4
26135 Oldenburg
Deutschland
Tel.: +49 4 41 96 97 38-0
Fax: +49 4 41 96 97 38-64
www.btc-es.de

EmbeddedTester

Automatische Generierung von Testvektoren

  • Seriencode automatisch testen und validieren
  • Von TargetLink generierter Code als Basis
  • Automatisch hohe Code-Condition/Decision-Coverage von bis zu 100%

Anwendungsbereich
EmbeddedTesterCOMPLETE verfügt über leistungsstarke automatische Testfallgeneratoren (ATGs) für die Erstellung von Testvektoren (Eingangsstimuli) mit hoher Code-/Testzielabdeckung. Die erzeugten Testvektoren werden automatisch auf dem Modell, dem Code auf dem Host oder dem Code auf dem Zielprozessor ausgeführt. Die unterschiedlichen Reaktionen während der Model-in-the-Loop (MIL)-, Software-in-the-Loop (SIL)- und Processor-in-the-Loop (PIL)-Tests werden verglichen, analysiert und automatisch berichtet.

Vorteile
Testvektoren werden, basierend auf dem generierten Code, vollautomatisch erzeugt. Durch Konditionen und Entscheidungen im Code als Kriterien wird eine hohe Abdeckung erreicht, die meist besser ist, als bei Analysen, die nur auf dem Modell basieren. Ebenso kann EmbeddedTesterCOMPLETE für Testziele einen Nachweis der Unerreichbarkeit bis zu einer beliebigen Analysetiefe erbringen. So verhindert er ungetestete Modell- und Code-Anteile, die später zu Problemen führen können.

Embedded TesterBASE
EmbeddedTesterBASE, die preisgünstige Einsteigerlösung, die sich zu EmbeddedTesterCOMPLETE erweitern lässt, ist eine Umgebung für Testausführung und Testmanagement speziell für TargetLink und Simulink®. Sie unterstützt nahtlos Unit- und Modultests für Simulink®-Modelle, TargetLink-Modelle und Target-Code als Teil des modellbasierten Entwicklungsprozesses. EmbeddedTesterBASE lässt sich durch die automatischen Testgenerierungs- und Code-Verifikationsoptionen von EmbeddedTesterCOMPLETE erweitern (Upgrade auf EmbeddedTesterCOMPLETE für automatische Testgenerierung für vollständige Modell-/Code-Abdeckung und Code-Verifikation).


EmbeddedValidator

Simulink®/Stateflow®-Verifikationsumgebung

  • Automatische Validierung von Simulink/Stateflow- und TargetLink-Modellen
  • Von TargetLink generierter Code als Basis
  • Volle Unterstützung von Stateflow-Charts
  • Unterstützung von Simulink-Subsystemen mit umfangreichem Satz an Open-Loop-Regelblöcken (Simulink/TargetLink)
  • Pattern-basierte Spezifikation der Anforderungen