Franck Fleurey, Benoit Baudry, Pierre-Alain Muller, and Yves Le Traon (2007)
Towards Dependable Model Transformations: Qualifying Input Test Data
Journal of Software and Systems Modeling (SoSyM).
Model transformation is a core mechanism for model-driven engineering
(MDE). Writing complex model transformations is error-prone, and
efficient testing techniques are required as for any complex program
development. Testing a model transformation is typically performed
by checking the results of the transformation applied to a set of
input models. While it is fairly easy to provide some input models,
it is difficult to qualify the relevance of these models for testing.
In this paper, we propose a set of rules and a framework to assess
the quality of given input models for testing a given transformation.
Furthermore, the framework identifies missing model elements in input
models and assists the user in improving these models.