Towards an automated test generation for the verification of model transformations
Proceedings of the 2007 ACM symposium on Applied computing
Requirements traceability in model-driven development: Applying model and transformation conformance
Information Systems Frontiers
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Uniform Random Generation of Huge Metamodel Instances
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
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
Demystifying model transformations: an approach based on automated rule inference
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Verification and validation of declarative model-to-model transformations through invariants
Journal of Systems and Software
Incremental Development of Model Transformation Chains Using Automated Testing
MODELS '09 Proceedings of the 12th 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
Automated Test Input Generation for Software That Consumes ORM Models
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
Barriers to systematic model transformation testing
Communications of the ACM
Sequence diagram to colored Petri nets transformation testing: an immune system metaphor
Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research
Example-based model-transformation testing
Automated Software Engineering
Tractable model transformation testing
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
EUnit: a unit testing framework for model management tasks
Proceedings of the 14th international conference on Model driven engineering languages and systems
On validation of ATL transformation rules by transformation models
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
Generating realistic test models for model processing tools
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated 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
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
Generation of process using multi-objective genetic algorithm
Proceedings of the 2013 International Conference on Software and System Process
Engineering model transformations with transML
Software and Systems Modeling (SoSyM)
| Hi-index | 0.02 |
In a Model-Driven Development context (MDE), model transformations allow memorizing and reusing design know-how, and thus automate parts of the design and refinement steps of a software development process. A model transformation program is a specific program, in the sense it manipulates models as main parameters. Each model must be an instance of a "metamodel", a metamodel being the specification of a set of models. Programming a model transformation is a difficult and error-prone task, since the manipulated data are clearly complex. In this paper, we focus on generating input test data (called test models) for model transformations. We present an algorithm to automatically build test models from a metamodel.