Specification of Graph Translators with Triple Graph Grammars
WG '94 Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science
Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool
ISSRE '06 Proceedings of the 17th International Symposium on Software Reliability Engineering
USE: A UML-based specification environment for validating UML and OCL
Science of Computer Programming
ATL: A model transformation tool
Science of Computer Programming
A Landscape of Bidirectional Model Transformations
Generative and Transformational Techniques in Software Engineering II
Verification and validation of declarative model-to-model transformations through invariants
Journal of Systems and Software
Barriers to systematic model transformation testing
Communications of the ACM
Validation of model transformations: first experiences using a white box approach
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Verification of model transformations: a case study with BPEL
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
Towards a rewriting logic semantics for ATL
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Proving and visualizing OCL invariant independence by automatically generated test cases
TAP'10 Proceedings of the 4th international conference on Tests and proofs
Reusable MDA components: a testing-for-trust approach
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Termination criteria for model transformation
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Extensive validation of OCL models by integrating SAT solving into USE
TOOLS'11 Proceedings of the 49th international conference on Objects, models, components, patterns
On validation of ATL transformation rules by transformation models
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
Specification-Driven test generation for model transformations
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Typing model transformations using tracts
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
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
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
Automated verification of model transformations based on visual contracts
Automated Software Engineering
Verification of ATL transformations using transformation models and model finders
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Model transformation testing: the state of the art
Proceedings of the First Workshop on the Analysis of Model Transformations
Towards tracking "guilty" transformation rules: a requirements perspective
Proceedings of the First Workshop on the Analysis of Model Transformations
Employing the object constraint language in model-based engineering
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
| Hi-index | 0.00 |
Model transformation (MT) testing is gaining interest as the size and complexity of MTs grows. In general it is very difficult and expensive (time and computational complexity-wise) to validate in full the correctness of a MT. This paper presents a MT testing approach based on the concept of Tract, which is a generalization of the concept of Model Transformation Contract. A Tract defines a set of constraints on the source and target metamodels, a set of source-target constraints, and a tract test suite, i.e., a collection of source models satisfying the source constraints. We automatically generate input test suite models, which are then transformed into output models by the transformation under test, and the results checked with the USE tool (UML-based Specification Environment) against the constraints defined for the transformation. We show the different kinds of tests that can be conducted over a MT using this automated process, and the kinds of problems it can help uncovering.