MSC2C-Testcode-Generator
MSCs (Message Sequence Charts) bieten eine graphische Modellierungssprache zur
exemplarischen Beschreibung des Verhaltens kommunizierender Komponenten.
MSCs wurden von der ITU (International Telecommunication Union) standardisiert
und sind mittlerweile in ähnlicher Form auch Bestandteil der UML. MSCs eignen sich
zur Analyse und Dokumentation von komplexen Systemen. Häufig werden MSCs
zusätzlich zur Dokumentation von durchgeführten Testabläufen eingesetzt.
Der MSC2C-Testcode-Generator der Validas AG erlaubt es MSCs zur
Testspezifikationen und Testprotokollierung einzusetzen. Die Testdurchführung
erfolgt auf Basis von generiertem C-Code. Mit den existierenden Anpassungen für
MATLAB/Simulink, Hardware und Bus-Kommunikation, können mit dem
MSC2C-Testcode-Generator Tests auf den folgenden Ebenen durchgeführt werden:
- Model-in-the-Loop (MIL)
- Software-in-the-Loop (SIL)
- Hardware/Prozessor-in-the-Loop (HIL/PIL)
Die Testfälle werden dabei einheitlich mit MSCs spezifiziert. Sie dienen als Quelle für
die Generierung von Testtreibern und Testergebnisvorhersage.
Durch den Einsatz des MSC2C-Testcode-Generators erhalten Sie ein hohes Maß an
Automatisierbarkeit und Reproduzierbarkeit – zwei bedeutende Attribute
innerhalb des Testprozesses.
Im Rahmen der Einführung wird die MSC2C-Software von uns so in ihre
projektspezifische Testumgebung integriert, dass ein einfacher und schneller
Round-Trip zwischen Testspezifikation, Testdurchführung und Testanalyse erfolgt.
Auf Wunsch übernehmen wir gerne:
- die MSC-Testspezifikationserstellung auf Basis von Anforderungsdokumenten,
- die Testdurchführung auf allen oben genannten Testebenen, sowie
- die Testanalyse.
Matlab-Simulink/Stateflow Framework
Das Matlab-Simulink/Stateflow-Framework der Validas erlaubt es Ihnen
Matlab-Modelle in einem XML-Format zu speichern und diese zu analysieren.
Das Framework ist metamodellbasiert und unterstützt folgende Funktionen:
- unabhängiges Parsen von .mdl-Dateien
- Java-API für die Modelle
- Integration in eclipse
- Darstellung der Modelle als Baum mit Navigation zwischen verbundenen Ports
- Laden von Typisierungsinformationen zu den Modellen
- Analyse der verwendeten Modellelemente und Property-Einstellungen, auch über mehrere Modelle
- Vergleich von Modellen
- Benutzerdefinierte Formulierung von Modellierungsrichtlinien anhand des Metamodels und mit einer formalen Sprache.
- Überprüfung von Modellen auf Richtlinieneinhaltung
- Generierung von XML-Stimuli für die Modelle
- Generierung von mdl-Dateien
Das Framework bietet eine sehr gute Grundlage zur Qualitätssicherung
innerhalb eines modellbasierten Entwicklungsprozesses.
AutoFocus
Die Validas ist, zusammen mit der TU München, maßgeblich an der Entwicklung des frei verfügbaren CASE-Tools AutoFocus beteiligt.
Sprechen Sie uns an, wenn Sie an weiteren Informationen zu diesem Tool oder auch an AutoFocus selbst interessiert sind.