Constructing Models with the Human-Usable Textual Notation
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Test-Driven Development of Model Transformations
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
The use of model transformation in the INESS project
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
EUnit: a unit testing framework for model management tasks
Proceedings of the 14th international conference on Model driven engineering languages and systems
Formal specification and testing of model transformations
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Automated verification of model transformations based on visual contracts
Automated Software Engineering
Engineering model transformations with transML
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
A model management workflow typically consists of a number of interdependent model-management tasks such as model validation, transformation, merging, comparison and text generation. As such workflows are becoming more and more complex, errors in individual tasks are likely to be propagated to subsequent tasks and eventually compromise the operation of the entire workflow. Therefore, building confidence about the correctness of each individual task before integrating them is becoming increasingly important. In this paper we present an approach to uniform unit-testing of individual model management operations and a proto- type for specifying and executing test-cases, implemented atop the infrastructure provided by the Epsilon model man- agement platform.