Modellbasiertes Testen MBT
Domänenspezifische Sprachen:Domänenspezifische Sprachen (engl. DSL - Domain Specific Language) eigenen sich sehr gut um Problemfelder eines bestimmten Fachbereichs effizient beschreiben zu können.
Sie sind sehr gut lesbar, deklarativ in der Beschreibung des Sachverhaltes und können textuelle oder grafische Notation aufweisen. Aufgrund des eingeschränkten Sprachumfangs sind sie leicht erlernbar.
Die domänenspezifische Sprache ADML:
Für ein Kundenprojekt aus dem Automotivebereich, haben wir eine DSL entwickelt, die es dem Kunden ermöglicht seine konzeptionellen Systemmodelle mit Begriffen der Automotive Domäne zu beschreiben und später ausführbare Testmodelle zu generieren.
ADML steht für die Abkürzung von Automotive Domain Modelling Language und führt Begriffe wie ECU, LCU, CANSignal, CANMessage, ISO-TP-Message und viele weitere Begriffe ein, die als neue Typdefinitonen zur Beschreibung von Automotive Systemstrukturen und Systemverhalten für die Modellierung genutzt werden kann.
Die ausführbare Workflowbeschreibungssprache XOML und XAML:
Um ausführbare Testmodelle zu erhalten wird Microsoft's Workflow Definitionssprache XOML genutzt. XOML ist eine deklarative XML basierte Sprache um Workflow Logik deklarativ zu beschreiben. Mittlerweile wird XOML durch XAML Definitionen ersetzt, da nicht mehr zwischen Userinterface Beschreibungen für WPF/Silverlight und Workflow Logik Beschreibung für WF unterschieden wird.
Die Modelltransformationssprache QVT:
Um ADML Modelle in ausführbare Testmodelle überführen zu können, wird die von der OMG definierte Transformationssprache QVT eingesetzt. Über QVT ist es möglich Transformationsregeln grafisch oder textuell zu definieren und daraus M2M Transformatoren zu generieren. Dies ist hilfreich, um das Testsystem effizient auf eine neue Domäne zu erweitern und Testmodelle schnell generieren und am HIL Stand ausführen zu können.
Mit dem Einsatz von QVT und DSL Sprachen ist es möglich auf Basis von Metamodell Transformationen die unterschiedlichen Modellwelten wie Requirementmodelle (z.B. XML Modelle) in die Systemarchitekur (UML/SysML) zu integrieren, oder auch Testabläufe aus Verhaltensmodellen der Systemarchitektur zu generieren.
