An approach for testing model transformations

Model transformations play a critical role in Model Driven Engineering. Such an importance has created a demand for transformation testing strategies and tools. This paper introduces an approach for testing model transformations using classifying terms. Classifying terms give a fine-grained control over the selection of input data and test oracles. By integrating this technique into graph-based transformation frameworks like RTL, we provide a way to validate model transformations using a graphical interface, in which the generation of input models and validation of output models are handled automatically.