Skip to main content
SpringerLink
Log in

Testing M2T/T2M Transformations

  • Conference paper
Model-Driven Engineering Languages and Systems (MODELS 2013)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 8107))

Abstract

Testing model-to-model (M2M) transformations is becoming a prominent topic in the current Model-driven Engineering landscape. Current approaches for transformation testing, however, assume having explicit model representations for the input domain and for the output domain of the transformation. This excludes other important transformation kinds, such as model-to-text (M2T) and text-to-model (T2M) transformations, from being properly tested since adequate model representations are missing either for the input domain or for the output domain. The contribution of this paper to overcome this gap is extending Tracts, a M2M transformation testing approach, for M2T/T2M transformation testing. The main mechanism we employ for reusing Tracts is to represent text within a generic metamodel. By this, we transform the M2T/T2M transformation specification problems into equivalent M2M transformation specification problems. We demonstrate the applicability of the approach by two examples and present how the approach is implemented for the Eclipse Modeling Framework (EMF). Finally, we apply the approach to evaluate code generation capabilities of several existing UML tools.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Amrani, M., Lúcio, L., Selim, G., Combemale, B., Dingel, J., Vangheluwe, H., Traon, Y.L., Cordy, J.R.: A Tridimensional Approach for Studying the Formal Verification of Model Transformations. In: Proceedings of the 1st International Workshop on Verification and Validation of Model Transformations (VOLT 2012) @ ICST, pp. 921–928. IEEE (2012)

    Google Scholar 

  2. Baudry, B., Dinh-Trong, T., Mottu, J.M., Simmonds, D., France, R., Ghosh, S., Fleurey, F., Traon, Y.L.: Model transformation testing challenges. In: Proceedings of International Workshop on Integration of Model Driven Development and Model Driven Testing (IMDD-MDT 2006) @ ECMDA (2006)

    Google Scholar 

  3. Baudry, B., Ghosh, S., Fleurey, F., France, R., Traon, Y.L., Mottu, J.M.: Barriers to Systematic Model Transformation Testing. Commun. ACM 53(6), 139–143 (2010)

    Article  Google Scholar 

  4. Brambilla, M., Cabot, J., Wimmer, M.: Model-Driven Software Engineering in Practice. Morgan & Claypool Publishers (2012)

    Google Scholar 

  5. Bruneliere, H., Cabot, J., Jouault, F., Madiot, F.: MoDisco: a generic and extensible framework for model driven reverse engineering. In: Proceedings of the 25th International Conference on Automated Software Engineering (ASE 2010), pp. 173–174. ACM (2010)

    Google Scholar 

  6. Cariou, E., Belloir, N., Barbier, F., Djemam, N.: OCL contracts for the verification of model transformations. ECEASST 24 (2009)

    Google Scholar 

  7. Cariou, E., Marvie, R., Seinturier, L., Duchien, L.: OCL for the specification of model transformation contracts. In: Proceedings of the International Workshop on OCL and Model Driven Engineering @ MODELS (2004)

    Google Scholar 

  8. Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Systems Journal 45(3), 621–646 (2006)

    Article  Google Scholar 

  9. France, R.B., Rumpe, B.: Model-driven Development of Complex Software: A Research Roadmap. In: Proceedings of the 29th International Conference on Software Engineering (ISCE 2007) - Future of Software Engineering Track, pp. 37–54. IEEE Computer Society (2007)

    Google Scholar 

  10. García-Domínguez, A., Kolovos, D.S., Rose, L.M., Paige, R.F., Medina-Bulo, I.: EUnit: A Unit Testing Framework for Model Management Tasks. In: Whittle, J., Clark, T., Kühne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 395–409. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  11. Giner, P., Pelechano, V.: Test-Driven Development of Model Transformations. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 748–752. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  12. Gogolla, M., Büttner, F., Richters, M.: USE: A UML-based specification environment for validating UML and OCL. Science of Computer Programming 69, 27–34 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  13. Gogolla, M., Vallecillo, A.: Tractable Model Transformation Testing. In: France, R.B., Kuester, J.M., Bordbar, B., Paige, R.F. (eds.) ECMFA 2011. LNCS, vol. 6698, pp. 221–235. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  14. Guerra, E.: Specification-driven test generation for model transformations. In: Hu, Z., de Lara, J. (eds.) ICMT 2012. LNCS, vol. 7307, pp. 40–55. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  15. Guerra, E., de Lara, J., Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Schönböck, J., Schwinger, W.: Automated verification of model transformations based on visual contracts. Autom. Softw. Eng. 20(1), 5–46 (2013)

    Article  Google Scholar 

  16. Kolovos, D., Paige, R., Rose, L., Polack, F.: Unit testing model management operations. In: Workshop Proceedings of the IEEE International Conference on Software Testing Verification and Validation (ICSTW 2008), pp. 97–104. IEEE Computer Society (2008)

    Google Scholar 

  17. Kolovos, D.S., Paige, R.F., Polack, F.A.: Model comparison: a foundation for model composition and model transformation testing. In: Proceedings of the International Workshop on Global Integrated Model Management (GaMMa 2006) @ ICSE, pp. 13–20. ACM (2006)

    Google Scholar 

  18. Kurtev, I., Bézivin, J., Akşit, M.: Technological spaces: An initial appraisal. In: Proceedings of the Confederated International Conferences (CoopIS, DOA, and ODBASE), Industrial track (2002)

    Google Scholar 

  19. Lin, Y., Zhang, J., Gray, J.: Model comparison: A key challenge for transformation testing and version control in model driven software development. In: Proceedings of the Workshop on Best Practices for Model-Driven Software Development @ OOPSLA, pp. 219–236 (2004)

    Google Scholar 

  20. Lin, Y., Zhang, J., Gray, J.: A testing framework for model transformations. In: Beydeda, S., Book, M., Gruhn, V. (eds.) Model-Driven Software Development – Research and Practice in Software Engineering, pp. 219–236. Springer (2005)

    Google Scholar 

  21. Meyer, B.: Applying design by contract. IEEE Computer 25(10), 40–51 (1992)

    Article  Google Scholar 

  22. Mottu, J.M., Baudry, B., Traon, Y.L.: Model transformation testing: oracle issue. In: Workshop Proceedings of the IEEE International Conference on Software Testing Verification and Validation (ICSTW 2008), pp. 105–112. IEEE Computer Society (2008)

    Google Scholar 

  23. Pérez-Castillo, R., de Guzmán, I.G.R., Piattini, M.: Knowledge Discovery Metamodel-ISO/IEC 19506: A standard to modernize legacy systems. Computer Standards & Interfaces 33(6), 519–532 (2011)

    Article  Google Scholar 

  24. Ramos, R., Barais, O., Jézéquel, J.M.: Matching Model-Snippets. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 121–135. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  25. Van Der Straeten, R., Mens, T., Van Baelen, S.: Challenges in Model-Driven Software Engineering. In: Chaudron, M.R.V. (ed.) MODELS 2008. LNCS, vol. 5421, pp. 35–47. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  26. Stürmer, I., Conrad, M., Dörr, H., Pepper, P.: Systematic testing of model-based code generators. IEEE Trans. Software Eng. 33(9), 622–634 (2007)

    Article  Google Scholar 

  27. Tiso, A., Reggio, G., Leotta, M.: Early Experiences on Model Transformation Testing. In: Proceedings of the 1st Workshop on the Analysis of Model Transformations (AMT 2012) @ MODELS, pp. 15–20. ACM (2012)

    Google Scholar 

  28. Vallecillo, A., Gogolla, M., Burgueño, L., Wimmer, M., Hamann, L.: Formal Specification and Testing of Model Transformations. In: Bernardo, M., Cortellessa, V., Pierantonio, A. (eds.) SFM 2012. LNCS, vol. 7320, pp. 399–437. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Business Informatics Group, Vienna University of Technology, Austria

    Manuel Wimmer

  2. GISUM/Atenea Research Group, Universidad de Málaga, Spain

    Loli Burgueño

Authors
  1. Manuel Wimmer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Loli Burgueño
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculdade de Ciências e Tecnologia, Departamento de Informática, Universidade Nova de Lisboa, 2829-516, Caparica, Portugal

    Ana Moreira

  2. Institut für Mathematik, fortiss / Technische Universität München, Guerickestraße 25, 80805, München, Germany

    Bernhard Schätz

  3. Department of Computer Science, University of Alabama, Box 870290, 35487-0290, Tuscaloosa, AL, USA

    Jeff Gray

  4. ETSI Informática, Universidad de Málaga, Campus de Teatinos, Bulevar Louis Pasteur 35, 29071, Málaga, Spain

    Antonio Vallecillo

  5. School of Computing and Information Sciences, College of Engineering and Computing, Florida International University, 33199, Miami, FL, USA

    Peter Clarke

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wimmer, M., Burgueño, L. (2013). Testing M2T/T2M Transformations. In: Moreira, A., Schätz, B., Gray, J., Vallecillo, A., Clarke, P. (eds) Model-Driven Engineering Languages and Systems. MODELS 2013. Lecture Notes in Computer Science, vol 8107. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41533-3_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-41533-3_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-41532-6

  • Online ISBN: 978-3-642-41533-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation