Model transformation testing: the state of the art

Authors:
Gehan M. K. Selim;James R. Cordy;Juergen Dingel
Affiliations:
Queen's University, Kingston, ON, Canada;Queen's University, Kingston, ON, Canada;Queen's University, Kingston, ON, Canada
Venue:
Proceedings of the First Workshop on the Analysis of Model Transformations
Year:
2012

Citing 17
Cited 0

The category-partition method for specifying and generating fuctional tests

Communications of the ACM
Grammar Testing

FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
UML-Based Integration Testing for Component-Based Software

ICCBSS '03 Proceedings of the Second International Conference on COTS-Based Software Systems
The Object Constraint Language: Getting Your Models Ready for MDA

The Object Constraint Language: Getting Your Models Ready for MDA
Test Adequacy Assessment for UML Design Model Testing

ISSRE '03 Proceedings of the 14th International Symposium on Software Reliability Engineering
Preliminary design of JML: a behavioral interface specification language for java

ACM SIGSOFT Software Engineering Notes
Model comparison: a foundation for model composition and model transformation testing

Proceedings of the 2006 international workshop on Global integrated model management
Design by Contract to Improve Software Vigilance

IEEE Transactions on Software Engineering
Model transformations to satisfy all-configurations-transitions on statecharts

Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
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
Generating tests from UML specifications

UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Combining specification-based and code-based coverage for model transformation chains

ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
Tractable model transformation testing

ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Test suite quality for model transformation chains

TOOLS'11 Proceedings of the 49th international conference on Objects, models, components, patterns
Reusable MDA components: a testing-for-trust approach

MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Mutation analysis testing for model transformations

ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

Model Driven Development (MDD) is a software engineering approach in which models constitute the basic units of software development. A key part of MDD is the notion of automated model transformation, in which models are stepwise refined into more detailed models, and eventually into code. The correctness of transformations is essential to the success of MDD, and while much research has concentrated on formal verification, testing remains the most efficient method of validation. Transformation testing is however different from testing code, and presents new challenges. In this paper, we survey the model transformation testing phases and the approaches proposed in the literature for each phase.