Multi-level Tests for Model Driven Web Applications
Abstract
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.
Keywords
Model Transformation Traceability Link Model Drive Engineer Business Process Modeling Notation Model Drive EngineerReferences
- 1.MoDisco home page, http://www.eclipse.org/gmt/modisco/
- 2.QVT 1.0, http://www.omg.org/spec/QVT/1.0/
- 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.Agrawal, A., Karsai, G., Shi, F.: Graph transformations on domain-specific models. Technical report, ISIS (November 2003)Google Scholar
- 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.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.Bézivin, J., Jouault, F., Touzet, D.: An introduction to the ATLAS model management architecture. Research Report LINA(05-01) (2005)Google Scholar
- 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.Briand, L., Labiche, Y.: A UML-based approach to system testing. Software and Systems Modeling 1(1), 1042 (2002)CrossRefGoogle Scholar
- 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.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.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.Dai, Z.R.: Model-driven testing with UML 2.0. Computer Science at Kent (2004)Google Scholar
- 14.Denger, C.M.M., Mora, M.M.: Test Case Derived from Requirement Specifications. Fraunhofer IESE Report, Germany (033) (2003)Google Scholar
- 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.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.Jouault, F.: Loosely coupled traceability for atl. In: European Conference on Model Driven Architecture (ECMDA), workshop on traceability (2005)Google Scholar
- 18.Lammel, R.: Coupled software transformations. In: First International Workshop on Software Evolution Transformations, Citeseer, p. 3135 (2004)Google Scholar
- 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.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.Miller, J., Mukerji, J., et al.: MDA Guide Version 1.0. 1. Object Management Group, 234 (2003)Google Scholar
- 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.Stahl, T., Voelter, M., Czarnecki, K.: Model-Driven Software Development: Technology, Engineering, Management. John Wiley & Sons, Chichester (2006)Google Scholar
- 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.Varró, D., Varró, G., Pataricza, A.: Designing the automatic transformation of visual languages. Sci. Comput. Program. 44(2), 205–227 (2002)MATHCrossRefGoogle Scholar
- 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.White, S.A.: Business process modeling notation. Specification, BPMI. org. (2004)Google Scholar