Managing Variability Complexity in Aspect-Oriented Modeling
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Automatic Model Generation Strategies for Model Transformation Testing
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
A Framework for Testing Model Composition Engines
SC '09 Proceedings of the 8th International Conference on Software Composition
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Trust in MDE components: the DOMINO experiment
Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems
A constructive approach to testing model transformations
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Service research challenges and solutions for the future internet
Traceability for mutation analysis in model transformation
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Using models of partial knowledge to test model transformations
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
ATLTest: a white-box test generation approach for ATL transformations
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Testing operational transformations in model-driven engineering
Innovations in Systems and Software Engineering
| Hi-index | 0.00 |
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of knowledge that is expressed in different formalisms. Thus, in order to automatically generate test models it is necessary to interpret these different sources of knowledge and combine them into a consistent set of informationthat can be used for model synthesis. In this paper, we identify sources of testing knowledge and present our tool Cartier that uses Alloy as the first-order relational logic language to represent combined knowledge in the form of constraints. The constraints are solved leading to a selection of qualified test models from the input domain of a model transformation. We illustrate our approach using the Unified Modeling Language Class Diagram to Relational Database Management Systems transformation as a running example.