- Home
- Unternehmen
- Kooperationen
- TargetLink Partnerprogramm
- TargetLink Strategic Partner: BTC Embedded Systems AG
| 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®:
|
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

