Skip to main content
SpringerLink
Log in
Book cover

International Conference on Evaluation of Novel Approaches to Software Engineering

ENASE 2010: Evaluation of Novel Approaches to Software Engineering pp 193–208Cite as

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

  • Conference paper

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 230))

Abstract

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.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Dalai, S., et al.: Model-based testing in practice. In: ICSE (1999)

    Google Scholar 

  2. Trujillo, S., Batory, D., Diaz, O.: Feature oriented model driven development: A case study for portlets. In: ICSE (2007)

    Google Scholar 

  3. Deelstra, S., et al.: Model driven architecture as approach to manage variability in software product families. In: MDAFA (2003)

    Google Scholar 

  4. Czarnecki, K., et al.: Model-driven software product lines. In: OOPLSLA (2005)

    Google Scholar 

  5. Mens, T., Van Corp, P.: A Taxonomy of Model Transformation. Electronic Notes in Theoretical Computer Sciences (2006)

    Google Scholar 

  6. Miller, J., Mukerji, J.: MDA Guide Version 1.0. 1. In: OMG (ed.) (2003)

    Google Scholar 

  7. OMG, UML testing profile Version 1.0. In: OMG (ed.) (2005)

    Google Scholar 

  8. Baker, P., et al.: Model-Driven Testing: Using the UML Testing Profile. Springer, Heidelberg (2007)

    Google Scholar 

  9. Clements, P., Northrop, L.: Software Product Lines - Practices and Patterns. Addison Wesley, Reading (2001)

    Google Scholar 

  10. Pohl, K., Böckle, G., Van Der Linden, F.: Software Product Line Engineering: Foundations, Principles, and Techniques. Springer, Heidelberg (2005)

    Book  MATH  Google Scholar 

  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. Dai, Z.: Model-Driven Testing with UML 2.0. In: EWMDA, Canterbury, England (2004)

    Google Scholar 

  13. OMG, Unified Modeling Language, Superestructure specification. In: OMG (ed.) (2007)

    Google Scholar 

  14. OMG, MOF Query/View/Transformation Specification. In: OMG (ed.) (2007)

    Google Scholar 

  15. OMG, Meta Object Facility Specification. In: OMG (ed.) (2002)

    Google Scholar 

  16. OMG, Object Constraint Language, Version 2.0. In: OMG (ed.) (2006)

    Google Scholar 

  17. OMG, MOF Model to Text Transformation Language. In: OMG (ed.). OMG (2008)

    Google Scholar 

  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. 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. Pérez Lamancha, B., Polo Usaola, M., Piattini, M.: Software Product Line Testing, A systematic review. In: ICSOFT, Bulgaria (2009)

    Google Scholar 

  21. Nebut, C., et al.: Automated requirements-based generation of test cases for product families. In: ASE (2003)

    Google Scholar 

  22. Bertolino, A., Gnesi, S., di Pisa, A.: PLUTO: A Test Methodology for Product Families. In: PFE (2004)

    Google Scholar 

  23. Kang, S., et al.: Towards a Formal Framework for Product Line Test Development. In: CIT (2007)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  25. Olimpiew, E., Gomaa, H.: Customizable Requirements-based Test Models for Software Product Lines. In: SPLiT (2006)

    Google Scholar 

  26. Naslavsky, L., Ziv, H., Richardson, D.J.: Towards traceability of model-based testing artifacts. In: A-MOST, United Kingdom (2007)

    Google Scholar 

  27. Javed, A., Strooper, P., Watson, G.: Automated generation of test cases using model-driven architecture. In: AST (2007)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Software Testing Center, Republic University, Montevideo, Uruguay

    Beatriz Pérez Lamancha

  2. ALARCOS Research Group, Castilla – La Mancha University, Ciudad Real, Spain

    Macario Polo Usaola & Mario Piattini Velthius

Authors
  1. Beatriz Pérez Lamancha
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Macario Polo Usaola
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Mario Piattini Velthius
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computing, Macquarie University, 2109, Sydney, NSW, Australia

    Leszek A. Maciaszek

  2. The Business School, Loughborough University, LE11 3TU, Loughborough, Leicestershire, UK

    Pericles Loucopoulos

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pérez Lamancha, B., Polo Usaola, M., Piattini Velthius, M. (2011). A Model Based Testing Approach for Model-Driven Development and Software Product Lines. In: Maciaszek, L.A., Loucopoulos, P. (eds) Evaluation of Novel Approaches to Software Engineering. ENASE 2010. Communications in Computer and Information Science, vol 230. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23391-3_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-23391-3_14

  • Publisher Name: Springer, Berlin, Heidelberg

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

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

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation