Multi-level Tests for Model Driven Web Applications

  • Piero Fraternali
  • Massimo Tisi
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6189)


Model Driven Engineering (MDE) advocates the use of models and transformations to support all the tasks of software development, from analysis to testing and maintenance. Modern MDE methodologies employ multiple models, to represent the different perspectives of the system at a progressive level of abstraction. In these situations, MDE frameworks need to work on a set of interdependent models and tranformations, which may evolve over time. This paper presents a model transformation framework capable of aligning two streams of transformations: the forward engineering stream that goes from the Computation Independent Model to the running code, and the testing stream that goes from the Computation Independent Test specification to an executable test script. The “vertical” transformations composing the two streams are kept aligned, by means of “horizontal” mappings that can be applied after a change in the modeling framework (e.g., an update in the PIM-to-code transformation due to a change in the target deployment technology). The proposed framework has been implemented and is under evaluation in a real-world MDE tool.


Model Transformation Traceability Link Model Drive Engineer Business Process Modeling Notation Model Drive Engineer 
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.


  1. 1.
  2. 2.
  3. 3.
    Acerbis, R., Bongio, A., Brambilla, M., Butti, S.: Webratio 5: An eclipse-based case tool for engineering web applications. In: Baresi, L., Fraternali, P., Houben, G.-J. (eds.) ICWE 2007. LNCS, vol. 4607, pp. 501–505. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  4. 4.
    Agrawal, A., Karsai, G., Shi, F.: Graph transformations on domain-specific models. Technical report, ISIS (November 2003)Google Scholar
  5. 5.
    Baerisch, S.: Model-driven test-case construction. In: ESEC-FSE Companion ’07: 6th Joint Meeting on European SE Conf. and the ACM SIGSOFT Symp. on the Foundations of SE, pp. 587–590. ACM, New York (2007)CrossRefGoogle Scholar
  6. 6.
    Baresi, L., Fraternali, P., Tisi, M., Morasca, S.: Towards model-driven testing of a web application generator. In: Lowe, D.G., Gaedke, M. (eds.) ICWE 2005. LNCS, vol. 3579, pp. 75–86. Springer, Heidelberg (2005)Google Scholar
  7. 7.
    Bézivin, J., Jouault, F., Touzet, D.: An introduction to the ATLAS model management architecture. Research Report LINA(05-01) (2005)Google Scholar
  8. 8.
    Boddu, R., Mukhopadhyay, S., Cukic, B.: RETNA: from requirements to testing in a natural way. In: Proceedings of 12th IEEE International Requirements Engineering Conference, vol. 4, pp. 244–253 (2004)Google Scholar
  9. 9.
    Briand, L., Labiche, Y.: A UML-based approach to system testing. Software and Systems Modeling 1(1), 1042 (2002)CrossRefGoogle Scholar
  10. 10.
    Ceri, S., Fraternali, P., Bongio, A., Brambilla, M., Comai, S., Matera, M.: Designing Data-Intensive Web Applications. Morgan Kaufmann, USA (2002)Google Scholar
  11. 11.
    Cicchetti, A., Ruscio, D.D., Eramo, R., Pierantonio, A.: Automating Co-evolution in Model-Driven Engineering. In: 12th International IEEE Enterprise Distributed Object Computing Conference, pp. 222–231 (2008)Google Scholar
  12. 12.
    Czarnecki, K., Helsen, S.: Classification of model transformation approaches. In: OOPSLA ’03 Workshop on Generative Techniques in the Context of MDA (2003)Google Scholar
  13. 13.
    Dai, Z.R.: Model-driven testing with UML 2.0. Computer Science at Kent (2004)Google Scholar
  14. 14.
    Denger, C.M.M., Mora, M.M.: Test Case Derived from Requirement Specifications. Fraunhofer IESE Report, Germany (033) (2003)Google Scholar
  15. 15.
    Fraternali, P., Tisi, M.: A Higher Order Generative Framework for Weaving Traceability Links into a Code Generator for Web Application Testing. In: Gaedke, M., Grissnikalus, M., Diaz, O. (eds.) ICWE 2009. LNCS, vol. 5648, pp. 273–292. Springer, Hiedelberg (2009)Google Scholar
  16. 16.
    Hartmann, J., Vieira, M., Foster, H., Ruder, A.: A UML-based approach to system testing. Innovations in Systems and Software Engineering (1), 12–24 (2005)Google Scholar
  17. 17.
    Jouault, F.: Loosely coupled traceability for atl. In: European Conference on Model Driven Architecture (ECMDA), workshop on traceability (2005)Google Scholar
  18. 18.
    Lammel, R.: Coupled software transformations. In: First International Workshop on Software Evolution Transformations, Citeseer, p. 3135 (2004)Google Scholar
  19. 19.
    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)CrossRefGoogle Scholar
  20. 20.
    Li, N., Ma, Q.-q., Wu, J., Jin, M.-z., Liu, C.: A framework of model-driven web application testing. In: COMPSAC ’06, Washington, DC, USA, pp. 157–162. IEEE Computer Society Press, Los Alamitos (2006)Google Scholar
  21. 21.
    Miller, J., Mukerji, J., et al.: MDA Guide Version 1.0. 1. Object Management Group, 234 (2003)Google Scholar
  22. 22.
    Pretschner, A.: Model-based testing in practice. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol. 3582, pp. 537–541. Springer, Heidelberg (2005)Google Scholar
  23. 23.
    Stahl, T., Voelter, M., Czarnecki, K.: Model-Driven Software Development: Technology, Engineering, Management. John Wiley & Sons, Chichester (2006)Google Scholar
  24. 24.
    Torres, A.H., Escalona, M.J., Mejias, M., Gutiérrez, J.: A MDA-Based Testing: A comparative study. In: 4th International Conference on Software and Data Technologies, ICSOFT, Bulgary (2009)Google Scholar
  25. 25.
    Varró, D., Varró, G., Pataricza, A.: Designing the automatic transformation of visual languages. Sci. Comput. Program. 44(2), 205–227 (2002)zbMATHCrossRefGoogle Scholar
  26. 26.
    Wachsmuth, G.: Metamodel adaptation and model co-adaptation. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol. 4609, p. 600. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  27. 27.
    White, S.A.: Business process modeling notation. Specification, BPMI. org. (2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Piero Fraternali
    • 1
  • Massimo Tisi
    • 2
  1. 1.Dipartimento di Elettronica e InformazionePolitecnico di MilanoMilanoItaly
  2. 2.AtlanModINRIA & Ecole des Mines de NantesNantesFrance

Personalised recommendations