Model-Driven Test Code Generation

  • Beatriz Pérez Lamancha
  • Pedro Reales
  • Macario Polo
  • Danilo Caivano
Part of the Communications in Computer and Information Science book series (CCIS, volume 275)


Model-driven Testing (MDT) refers a model-based testing that follows Model Driven Engineering paradigm, i.e., the test cases are automated generated using models extracted from software artifacts through model transformations. In previous work, we developed a model to model transformation that takes as input UML 2.0 sequence diagrams, and automatically derive test cases scenarios that conforms the UML Testing Profile. In this work, these test case scenarios are automatically transformed using model to text transformation. This transformation, which can be applied to obtain test cases in a variety of programming languages, is implemented with MOFScript, which is also an OMG standard.


Model Transformation Sequence Diagram Software Product Line System Under Test Object Management Group 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Mens, T., Van Corp, P.: A taxonomy of model transformation. Electronic Notes in Theoretical Computer Sciences 152, 125–142 (2006)CrossRefGoogle Scholar
  2. 2.
    Prasanna, M., Sivanandam, S., Venkatesan, R., Sundarrajan, R.: A survey on automatic test case generation. Academic Open Internet Journal 15, 1–5 (2005)Google Scholar
  3. 3.
    Dias Neto, A., Subramanyan, R., Vieira, M., Travassos, G.: A survey on model-based testing approaches: A systematic review, pp. 31–36 (2007)Google Scholar
  4. 4.
    Bertolino, A.: Software testing research: Achievements, challenges, dreams. In: Internation Conference on Software Engineering, pp. 85–103. IEEE Computer Society (2007)Google Scholar
  5. 5.
    Perez Lamancha, B., Polo, M., Piattini, M.: An automated model-driven testing framework for model-driven development and software product lines, pp. 112–121 (2010)Google Scholar
  6. 6.
    Perez Lamancha, B., Reales Mateo, P., Garcia, I., Polo Usaola, M., Piattini, M.: Automated model-based testing using the uml testing profile and qvt. In: Workshop on Model-Driven Engineering, Verification and Validation, pp. 1–10. ACM, Denver (2009)CrossRefGoogle Scholar
  7. 7.
    OMG: Mof model to text transformation language. Technical Report Formal/2008-01-16, OMG (2008)Google Scholar
  8. 8.
    Miller, J., Mukerji, J.: Mda guide version 1.0.1. Technical Report OMG/2003-06-01 (2003)Google Scholar
  9. 9.
    Bezivin, J.: On the unification power of models. Software and Systems Modeling 4, 171–188 (2005)CrossRefGoogle Scholar
  10. 10.
    OMG: Uml testing profile version 1.0. Technical Report formal/05-07-07 (2005)Google Scholar
  11. 11.
    OMG: Mof query/view/transformation specification. Technical report (2007)Google Scholar
  12. 12.
    Beck, K.: Kent Beck’s guide to better Smalltalk: a sorted collection. Cambridge University Press (1999)Google Scholar
  13. 13.
    Dai, Z.: Model-driven testing with uml 2.0. In: Workshop on Model Driven Architecture with an emphasis on Methodologies and Transformations, EWMDA (2004)Google Scholar
  14. 14.
    Harmon, P.: The omg’s model driven architecture and bpm. Newsletter of Business Process Trends (2004)Google Scholar
  15. 15.
    Baker, P., Dai, Z., Grabowski, J., Schieferdecker, I., Haugen, O., Williams, C.: Model-Driven Testing: Using the UML Testing Profile. Springer, Heidelberg (2007)Google Scholar
  16. 16.
    Kleppe, A., Warmer, J., Bast, W.: MDA Explained; The Model Driven Architecture: Practice and Promise. Addison-Wesley, Reading (2003)Google Scholar
  17. 17.
    Mellor, S., Scott, K., Uhl, A., Weise, D.: MDA Distilled: Principles of Model-Driven Architecture. Addison Wesley (2004)Google Scholar
  18. 18.
    Naslavsky, L., Ziv, H., Richardson, D.: Towawrds traceability of model-based testing artifacts. In: Workshop on Advances in Model-based Testing, pp. 105–114. ACM, London (2007)CrossRefGoogle Scholar
  19. 19.
    Javed, A., Strooper, P., Watson, G.: Automated generation of test cases using model-driven architecture. In: International Workshop on Automation of Software Test (2007)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Beatriz Pérez Lamancha
    • 1
  • Pedro Reales
    • 2
  • Macario Polo
    • 2
  • Danilo Caivano
    • 3
  1. 1.University of RepublicMontevideoUruguay
  2. 2.University of Castilla-La ManchaCiudad RealSpain
  3. 3.University of StudyBariItaly

Personalised recommendations