Skip to main content
SpringerLink
Log in

Test-Driven Development of Model Transformations

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

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

Abstract

Model transformations enable the automated development paradigm proposed by Model Driven Engineering. However, since the requirements for building a model transformation are usually expressed informally, requirements descriptions are difficult to keep updated and synchronized with their corresponding implementations. Therefore, human effort is usually required for validating model transformations. The present work defines a test-driven method for the development process of model-to-model transformations. This method is focused on the capture of requirements for transformations in such a way that guides the development and the documentation of model transformations. Requirements are expressed by means of test cases that can be automatically validated. The proposal has been applied to the MOSKitt open source CASE tool in an industrial scenario.

This work has been developed with the support of MEC under the project SESAMO TIN2007-62894 and cofinanced by FEDER.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. OMG: MOF QVT Final Adopted Specification (June 2005)

    Google Scholar 

  2. Jouault, F., Kurtev, I.: Transforming models with atl (ISBN=0302-9743). In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 128–138. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  3. Lawley, M., Steel, J.: Practical declarative model transformation with tefkat. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 139–150. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  4. Cuadrado, J.S., Molina, J.G.: Building domain-specific languages for model-driven development. IEEE Softw. 24(5), 48–55 (2007)

    Article  Google Scholar 

  5. Bézivin, J., Büttner, F., Gogolla, M., Jouault, F., Kurtev, I., Lindow, A.: Model transformations? transformation models! In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 440–453. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  6. Fleurey, F., Steel, J., Baudry, B.: Validation in model-driven engineering: testing model transformations. In: Proc. of MODEVA 2004, pp. 29–40 (2004)

    Google Scholar 

  7. Küster, J.M.: Definition and validation of model transformations. Software and Systems Modeling 5(3), 233–259 (2006)

    Article  Google Scholar 

  8. Lin, Y., Zhang, J., Gray, J.: A testing framework for model transformations. In: Model-Driven Software Development. Springer, Heidelberg (2005)

    Google Scholar 

  9. Steel, J., Lawley, M.: An MDA approach to testing the tarzan model transformation engine. In: Proc. of ISSRE 2004, St Malo, France (November 2004)

    Google Scholar 

  10. Beck, K.: Test Driven Development: By Example. Addison-Wesley Longman Publishing Co., Inc., Boston (2002)

    Google Scholar 

  11. OMG: Human-Usable Textual Notation Specification, Version 1.0 (August 2004)

    Google Scholar 

  12. Kolovos, D.S., Paige, R.F., Rose, L.M., Polack, F.A.: Epsilon, Department of Computer Science, The University of York (September 2008)

    Google Scholar 

  13. Rose, L.M., Paige, R.F., Kolovos, D.S., Polack, F.: Constructing models with the human-usable textual notation. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 249–263. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  14. Fleurey, F., Baudry, B., Muller, P.A., Traon, Y.L.: Qualifying input test data for model transformations. SoSyM 8(2), 185–203 (2009)

    Google Scholar 

  15. Küster, J.M., Abd-El-Razik, M.: Validation of model transformations - first experiences using a white box approach. In: MoDeVa 2006. Springer, Heidelberg (2006)

    Google Scholar 

  16. Polack, D., Paige, R., Rose, L., Polack, F.: Unit testing model management operations. In: ICSTW 2008, April 2008, pp. 97–104 (2008)

    Google Scholar 

  17. Varró, D.: Model transformation by example. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 410–424. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  18. Varró, D., Balogh, Z.: Automating model transformation by example using inductive logic programming. In: SAC 2007, pp. 978–984. ACM, New York (2007)

    Google Scholar 

  19. Brottier, E., Fleurey, F., Steel, J., Baudry, B., Le Traon, Y.: Metamodel-based test generation for model transformations: an algorithm and a tool. In: ISSRE 2006, Washington, DC, USA, pp. 85–94. IEEE Computer Society, Los Alamitos (2006)

    Google Scholar 

  20. Darabos, A., Pataricza, A., Varró, D.: Towards testing the implementation of graph transformations. Electron. Notes Theor. Comput. Sci. 211, 75–85 (2008)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Centro de Investigación en Métodos de Producción de Software, Universidad Politécnica de Valencia, Camino de Vera s/n, 46022, Valencia, Spain

    Pau Giner & Vicente Pelechano

Authors
  1. Pau Giner
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Vicente Pelechano
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fachgebiet Echtzeitsysteme, Technische Universität Darmstadt, Merckstraße 25, 64283, Darmstadt,, Germany

    Andy Schürr

  2. Malina Software Corporation, 10 Blueridge Court, Nepean,, K2J 2J3, Ontario, Canada

    Bran Selic

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Giner, P., Pelechano, V. (2009). Test-Driven Development of Model Transformations. In: Schürr, A., Selic, B. (eds) Model Driven Engineering Languages and Systems. MODELS 2009. Lecture Notes in Computer Science, vol 5795. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04425-0_61

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-04425-0_61

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-04424-3

  • Online ISBN: 978-3-642-04425-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation