MontiCore: Agile Entwicklung von domänenspezifischen Sprachen ...

30 Kapitel 2 – Entwurf und Einsatz von DSLs in der Softwareentwicklung
2.3.4 Validierung/Verifikation
Die Validierung und Verifikation von DSL-Werkzeugen dient zur Qualitätssicherung innerhalb
der Softwareentwicklung. Dadurch kann gesichert werden, dass die vom Entwickler
erstellten DSL-Modelle, sofern sie zu den fachlichen Anforderungen passen, auch korrekt
in ein Softwaresystem übersetzt werden.
Für die Validierung der DSL sollten positive und negative Testfälle verwendet werden.
Bei generativen Ansätzen ist eine erfolgreiche Kompilierung der erzeugten Ausgabedateien
ein erster positiver Test. Dieser sollte, sofern dieses möglich ist, durch die Ausführung des
generierten Quellcodes und die Überprüfung bestimmter dynamischer Eigenschaften, die
sich aus der Domäne ergeben, ergänzt werden. Diese Art der Überprüfung ist oft robust
gegenüber Änderungen der Codeerzeugung, da nur die funktionalen Eigenschaften des entstehenden
Quellcodes überprüft werden, und nicht die genaue Form der Implementierung.
In negativen Testfällen sollte insbesondere geprüft werden, ob die Kontextbedingungen für
diese Instanzen fehlschlagen und so der Entwickler eine entsprechende Fehlermeldung bekommt.
Ein ausschließliches Fehlschlagen der Codegenerierung oder gar ein Erzeugen von
nicht übersetzbarem Quellcode sind zu vermeiden.
Zur Beurteilung der Testgüte können Abdeckungskriterien [Pur72, Läm01b] auf der
Sprachdefinition verwendet werden. Diese können auch konstruktiv eingesetzt werden, indem
sie als Instanzgenerator verwendet werden. Da die generierten Instanzen oftmals jedoch
Kontextbedingungen verletzen und die Erzeugung von Instanzen, die von menschlichen
Testern als sinnvoll eingestuft werden, eine schwierige Aufgabe ist, sollte die automatische
Erzeugung nur als Ergänzung manuell erstellter Instanzen verstanden werden.
Als eine Alternative für die bisher dargestellten funktionalen Tests, bei denen die Abdeckung
bezüglich der DSL das maßgebende Gütekriterium ist, können natürlich auch
wie bei jeder Softwareentwicklung Unittests verwendet werden. Deren Güte wird dann
durch die Abdeckung der Implementierung bestimmt. Diese eignen sich insbesondere für
die Überprüfung der Laufzeitumgebung und weniger für die eigentliche Codegenerierung,
weil hier oft aufwändige Zeichenkettenvergleiche notwendig wären und diese wenig robust
gegen unwesentliche Änderungen in der Codeerzeugung sind.
Ausführbare DSLs ermöglichen das Testen des Codegenerators, sofern die DSL unabhängig
von der Generierung interpretiert werden kann. In [Stü06] wird dieses Vorgehen für
Matlab Simulink verwendet, um Codegeneratoren für verschiedene Plattformen automatisiert
testen zu können. Dazu wird die Kosimulation des Interpreters und der durch die
Codegenerierung entstandenen Software mit einer automatischen Instanzerzeugung kombiniert.
2.3.5 Auslieferung
Die Auslieferung eines Generators umfasst die Sprachdefinition, den Generator, die Laufzeitumgebung
und eine geeignete Dokumentation. Dabei ist insbesondere eine Versionierung
notwendig, wenn die Generatoren fortlaufend weiterentwickelt und in unterschiedlichen
Projekten eingesetzt werden.
Die Integration in andere Projekte erfolgt dabei idealerweise über Build-Werkzeuge,
die bereits ein Abhängigkeitsmanagement integriert haben, wie Maven [Mav] oder Ant
[Ant] (mit der Erweiterung Ivy [Ivy]). So kann die komplexe Auslieferung der benötigten
Generatorversion automatisiert werden, und die Entwickler verwenden stets die aktuelle
Version der Software.