A Model Based Testing Approach for Model-Driven Development and Software Product Lines

  • Beatriz Pérez Lamancha
  • Macario Polo Usaola
  • Mario Piattini Velthius
Conference paper
Part of the Communications in Computer and Information Science book series (CCIS, volume 230)


This work presents a model based testing approach to be used in Model Driven Development and Software Product Lines projects. The approach uses OMG standards and defines model transformations from design models to test models. The approach was implemented as a framework using existing modelling tools in the market and QVT transformations.


Software product lines Model driven engineering Model driven testing UML Testing profile QVT MOFScript 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Dalai, S., et al.: Model-based testing in practice. In: ICSE (1999)Google Scholar
  2. 2.
    Trujillo, S., Batory, D., Diaz, O.: Feature oriented model driven development: A case study for portlets. In: ICSE (2007)Google Scholar
  3. 3.
    Deelstra, S., et al.: Model driven architecture as approach to manage variability in software product families. In: MDAFA (2003)Google Scholar
  4. 4.
    Czarnecki, K., et al.: Model-driven software product lines. In: OOPLSLA (2005)Google Scholar
  5. 5.
    Mens, T., Van Corp, P.: A Taxonomy of Model Transformation. Electronic Notes in Theoretical Computer Sciences (2006)Google Scholar
  6. 6.
    Miller, J., Mukerji, J.: MDA Guide Version 1.0. 1. In: OMG (ed.) (2003)Google Scholar
  7. 7.
    OMG, UML testing profile Version 1.0. In: OMG (ed.) (2005) Google Scholar
  8. 8.
    Baker, P., et al.: Model-Driven Testing: Using the UML Testing Profile. Springer, Heidelberg (2007)Google Scholar
  9. 9.
    Clements, P., Northrop, L.: Software Product Lines - Practices and Patterns. Addison Wesley, Reading (2001)Google Scholar
  10. 10.
    Pohl, K., Böckle, G., Van Der Linden, F.: Software Product Line Engineering: Foundations, Principles, and Techniques. Springer, Heidelberg (2005)CrossRefzbMATHGoogle Scholar
  11. 11.
    Pérez Lamancha, B., Polo Usaola, M., Piattini, M.: Towards an Automated Testing Framework to Manage Variability Using the UML Testing Profile. In: AST, Canada (2009)Google Scholar
  12. 12.
    Dai, Z.: Model-Driven Testing with UML 2.0. In: EWMDA, Canterbury, England (2004)Google Scholar
  13. 13.
    OMG, Unified Modeling Language, Superestructure specification. In: OMG (ed.) (2007)Google Scholar
  14. 14.
    OMG, MOF Query/View/Transformation Specification. In: OMG (ed.) (2007)Google Scholar
  15. 15.
    OMG, Meta Object Facility Specification. In: OMG (ed.) (2002)Google Scholar
  16. 16.
    OMG, Object Constraint Language, Version 2.0. In: OMG (ed.) (2006)Google Scholar
  17. 17.
    OMG, MOF Model to Text Transformation Language. In: OMG (ed.). OMG (2008)Google Scholar
  18. 18.
    Pérez Lamancha, B., et al.: Automated Model-based Testing using the UML Testing Profile and QVT. In: MODEVVA, USA (2009)Google Scholar
  19. 19.
    Pérez Lamancha, B., Polo Usaola, M., García Rodriguez de Guzmán, I.: Model-Driven Testing in Software Product Lines. In: ICSM, Canadá (2009)Google Scholar
  20. 20.
    Pérez Lamancha, B., Polo Usaola, M., Piattini, M.: Software Product Line Testing, A systematic review. In: ICSOFT, Bulgaria (2009)Google Scholar
  21. 21.
    Nebut, C., et al.: Automated requirements-based generation of test cases for product families. In: ASE (2003)Google Scholar
  22. 22.
    Bertolino, A., Gnesi, S., di Pisa, A.: PLUTO: A Test Methodology for Product Families. In: PFE (2004)Google Scholar
  23. 23.
    Kang, S., et al.: Towards a Formal Framework for Product Line Test Development. In: CIT (2007)Google Scholar
  24. 24.
    Reuys, A., et al.: Model-based System Testing of Software Product Families. In: Pastor, Ó., Falcão e Cunha, J., et al. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 519–534. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  25. 25.
    Olimpiew, E., Gomaa, H.: Customizable Requirements-based Test Models for Software Product Lines. In: SPLiT (2006)Google Scholar
  26. 26.
    Naslavsky, L., Ziv, H., Richardson, D.J.: Towards traceability of model-based testing artifacts. In: A-MOST, United Kingdom (2007)Google Scholar
  27. 27.
    Javed, A., Strooper, P., Watson, G.: Automated generation of test cases using model-driven architecture. In: AST (2007)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Beatriz Pérez Lamancha
    • 1
  • Macario Polo Usaola
    • 2
  • Mario Piattini Velthius
    • 2
  1. 1.Software Testing CenterRepublic UniversityMontevideoUruguay
  2. 2.ALARCOS Research GroupCastilla – La Mancha UniversityCiudad RealSpain

Personalised recommendations