An experimental evaluation of data flow and mutation testing
Software—Practice & Experience
Model-Based Test Driven Development of the Tefkat Model-Transformation Engine
ISSRE '04 Proceedings of the 15th International Symposium on Software Reliability Engineering
MuJava: an automated class mutation system: Research Articles
Software Testing, Verification & Reliability
Practical declarative model transformation with tefkat
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Proofs-as-Model-Transformations
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
On the Use of Higher-Order Model Transformations
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
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
Incremental Development of Model Transformation Chains Using Automated Testing
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
Example-based model-transformation testing
Automated Software Engineering
Is my model right? Let me ask the expert
Journal of Systems and Software
Traceability for mutation analysis in model transformation
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Reusable MDA components: a testing-for-trust approach
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Using models of partial knowledge to test model transformations
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Specification-Driven test generation for model transformations
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Model transformation testing: the state of the art
Proceedings of the First Workshop on the Analysis of Model Transformations
Hi-index | 0.00 |
In MDE, model transformations should be efficiently tested so that it may be used and reused safely. Mutation analysis is an efficient technique to evaluate the quality of test data, and has been extensively studied both for procedural and object-oriented languages. In this paper, we study how it can be adapted to model oriented programming. Since no model transformation language has been widely accepted today, we propose generic fault models that are related to the model transformation process. First, we identify abstract operations that constitute this process: model navigation, model's elements filtering, output model creation and input model modification. Then, we propose a set of specific mutation operators which are directly inspired from these operations. We believe that these operators are meaningful since a large part of the errors in a transformation are due to the manipulation of complex models regardless of the concrete implementation language.