Application of Model Comparison Techniques to Model Transformation Testing

Matthew Stephan, James R. Cordy

Abstract

In this paper, we discuss model-to-model comparison techniques that can be used to assist with model-tomodel transformation testing. Using an existing real-world model transformation, we illustrate and qualitatively evaluate the comparison techniques, highlighting the associated strengths and weaknesses of each in the context of transformation testing.

References

  1. Baudry, B., Dinh-trong, T., Mottu, J.-M., Simmonds, D., France, R., Ghosh, S., Fleurey, F., and Traon, Y. L. (2006). Model transformation testing challenges. In ECMDA.
  2. Baudry, B., Ghosh, S., Fleurey, F., France, R., Le Traon, Y., and Mottu, J. (2010). Barriers to systematic model transformation testing. Comm. ACM, 53(6):139-143.
  3. B├ęzivin, J., Brunette, C., Chevrel, R., Jouault, F., and Kurtev, I. (2005). Bridging the generic modeling environment (GME) and the Eclipse modeling framework (EMF). In OOPSLA.
  4. Brun, C. and Pierantonio, A. (2008). Model differences in the Eclipse modelling framework. EJIP, pages 29-34.
  5. Kalnins, A., Barzdins, J., and Celms, E. (2005). Model transformation language MOLA. Model Driven Architecture, pages 900-915.
  6. Kolovos, D. (2009). Establishing correspondences between models with the Epsilon Comparison Language. In MDAFA, pages 146-157. Springer.
  7. Kolovos, D., Paige, R., and Polack, F. (2006). Model comparison: a foundation for model composition and model transformation testing. In IWGIMM, pages 13-20. ACM.
  8. Lin, Y., Gray, J., and Jouault, F. (2007). DSMDiff: a differentiation tool for domain-specific models. EJIS, 16(4):349-361.
  9. Lin, Y., Zhang, J., and Gray, J. (2005). A testing framework for model transformations. MDSD, pages 219-236.
  10. Mazanek, S. and Rutetzki, C. (2011). On the importance of model comparison tools for the automatic evaluation of the correctness of model transformations. In IWMCP, pages 12-15. ACM.
  11. Mottu, J., Baudry, B., and Traon, Y. (2008). Model transformation testing: oracle issue. In IWSTVV, pages 105-112.
  12. Reiter, T., Altmanninger, K., Bergmayr, A., Schwinger, W., and Kotsis, G. (2007). Models in conflict-detection of semantic conflicts in model-based development. In WMDEIS, pages 29-40.
  13. Rose, L., Kolovos, D., Paige, R., and Polack, F. (2010a). Model migration with epsilon flock. TPMT, pages 184- 198.
  14. Rose, L. M., Kolovos, D. S., Paige, R. F., and Polack, F. A. (2010b). Model migration case for TTC 2010. In Transformation Tool Contest 2010, pages 1-6.
  15. Selim, G., Cordy, J. R., and Dingel, J. (2012). Model transformation testing: The state of the art. In AMT, page 6 pp.
  16. Sen, S., Baudry, B., and Mottu, J. (2009). Automatic model generation strategies for model transformation testing. Theory and Practice of Model Transformations, pages 148-164.
  17. Sendall, S. and Kozaczynski, W. (2003). Model transformation: The heart and soul of model-driven software development. IEEE Software, 20(5):42-45.
  18. Stephan, M. and Cordy, J. R. (2012). A survey of methods and applications of model comparison. Technical report, Queen's University. TR. 2011-582 Rev. 2.
  19. Stephan, M. and Cordy, J. R. (2013). A survey of model comparison approaches and applications. In Modelsward. to appear.
Download


Paper Citation


in Harvard Style

Stephan M. and Cordy J. (2013). Application of Model Comparison Techniques to Model Transformation Testing . In Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-8565-42-6, pages 307-311. DOI: 10.5220/0004313003070311


in Bibtex Style

@conference{modelsward13,
author={Matthew Stephan and James R. Cordy},
title={Application of Model Comparison Techniques to Model Transformation Testing},
booktitle={Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2013},
pages={307-311},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004313003070311},
isbn={978-989-8565-42-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Application of Model Comparison Techniques to Model Transformation Testing
SN - 978-989-8565-42-6
AU - Stephan M.
AU - Cordy J.
PY - 2013
SP - 307
EP - 311
DO - 10.5220/0004313003070311