Abstract-Band - Fakultät für Informatik, TU Wien - Technische ...

präsentation des Kontrollflusses nutzen, müssen einige Probleme in Bezug auf
deren Transformation gelöst werden. Ziel dieser Arbeit ist es, diese Probleme
aufzuzeigen und Lösungsansätze in verwandten Bereichen zu finden. Daher
werden (1) Transformationsstrategien diskutiert, die Lösungen für diese
Transformationsprobleme auf Basis von Übersetzungen zwischen graforientierten
Prozessbeschreibungssprachen und BPEL aufzeigen. Des Weiteren wird
(2) beschrieben, wie und welche Kontrollflussmuster von BPMN und Asbru
unterstützt werden, um etwaige Diskrepanzen aufzuzeigen. Anschließend wird
(3) ein Mapping von BPMN-Elementen auf Asbru-Elemente definiert, und (4) die
Eignung der oben angesprochenen Transformationsstrategien für die Umsetzung
in einem BPMN-zu-Asbru Transformationssystem überprüft. Abschließend
wird (5) das implementierte Transformationssystem anhand der Übersetzung
der einzelnen Kontrollflussmuster beschrieben. Die gewonnen Erkenntnisse
und gezogenen Parallelen können verwendet werden, um eine Transformation
zwischen BPMN und Asbru zu realisieren, wie dies am implementierten
Prototypen gezeigt wurde.
Arbeitsbereich Business Informatics
Thomas Franz
Automatisiertes White-Box Testen für regelbasierte Modelltransformationen
Studium: Masterstudium Business Informatics
BetreuerIn: O.Univ.Prof. Dr. Gertrude Kappel
72
Softwaremodelle werden nicht mehr nur für Entwurfszwecke genutzt, sondern
sind ein Hauptelement im Software Engineering Prozess geworden. Modellierungssprachen
werden genutzt um Modelle darzustellen, die eine Basis für
die weitere Entwicklung bilden. Neben den Modellierungssprachen spielen in
der modellgetriebenen Softwareentwicklung auch Modelltransformationen
eine entscheidende Rolle. Das Ziel einer Modelltransformation ist ein bestimmtes
Quellmodell in ein gewünschtes Zielmodell zu transformieren. Oftmals
schlagen Modelltransformationen fehl und die Fehlersuche ist mühsam und
langwierig, da diese in der Transformation selbst oder in den Metamodellen
liegen können. Eine weitere Herausforderung ist es eine hohe Testabdeckung
zu erreichen. Ziel dieser Arbeit ist das Auffinden eines automatisierten Ablaufs,
der regelbasierte Transformationen testen kann. Dabei soll ein Tool in Java
implementiert werden, welches auf der Metamodellierungssprache Ecore und
regelbasierten Modelltransformationen in der ATL aufbaut. Es wird ein automatisierter
White-Box Testing Ansatz entwickelt. Außerdem sollen mit Hilfe
einer automatischen Generierung von Testinstanzen eine hohe Testabdeckung
sichergestellt und verschiedene Fehler, vor allem Laufzeitfehler in der Transformation
aufgezeigt werden. Basierend auf einem objektiven Testdatenset
von Modelltransformationen der Übungs-aufgaben aus der Lehrveranstaltung
"Model Engineering" der Technischen Universität Wien der Jahre 2009 bis
2012 wird eine Evaluierung in Form einer Fallstudie durchgeführt. Die Ergebnisse
zeigen, dass das entwickelte WBT-Tool viele verschiedene Fehler, sowohl
bei der Validierung der Modelle, als auch in der Transformation selbst aufzeigt.