Model transformation testing

Gehan M. K. Selim, James R. Cordy, Juergen Dingel
2012 Proceedings of the First Workshop on the Analysis of Model Transformations - AMT '12  
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
more » ... esting 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.
doi:10.1145/2432497.2432502 dblp:conf/models/SelimCD12 fatcat:tmlvvi355ndt7ezzpbb4wbwska