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.
Chapter PDF
Similar content being viewed by others
Keywords
- 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.
References
MoDisco home page, http://www.eclipse.org/gmt/modisco/
QVT 1.0, http://www.omg.org/spec/QVT/1.0/
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)
Agrawal, A., Karsai, G., Shi, F.: Graph transformations on domain-specific models. Technical report, ISIS (November 2003)
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)
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)
Bézivin, J., Jouault, F., Touzet, D.: An introduction to the ATLAS model management architecture. Research Report LINA(05-01) (2005)
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)
Briand, L., Labiche, Y.: A UML-based approach to system testing. Software and Systems Modeling 1(1), 1042 (2002)
Ceri, S., Fraternali, P., Bongio, A., Brambilla, M., Comai, S., Matera, M.: Designing Data-Intensive Web Applications. Morgan Kaufmann, USA (2002)
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)
Czarnecki, K., Helsen, S.: Classification of model transformation approaches. In: OOPSLA ’03 Workshop on Generative Techniques in the Context of MDA (2003)
Dai, Z.R.: Model-driven testing with UML 2.0. Computer Science at Kent (2004)
Denger, C.M.M., Mora, M.M.: Test Case Derived from Requirement Specifications. Fraunhofer IESE Report, Germany (033) (2003)
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)
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)
Jouault, F.: Loosely coupled traceability for atl. In: European Conference on Model Driven Architecture (ECMDA), workshop on traceability (2005)
Lammel, R.: Coupled software transformations. In: First International Workshop on Software Evolution Transformations, Citeseer, p. 3135 (2004)
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)
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)
Miller, J., Mukerji, J., et al.: MDA Guide Version 1.0. 1. Object Management Group, 234 (2003)
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)
Stahl, T., Voelter, M., Czarnecki, K.: Model-Driven Software Development: Technology, Engineering, Management. John Wiley & Sons, Chichester (2006)
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)
Varró, D., Varró, G., Pataricza, A.: Designing the automatic transformation of visual languages. Sci. Comput. Program. 44(2), 205–227 (2002)
Wachsmuth, G.: Metamodel adaptation and model co-adaptation. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol. 4609, p. 600. Springer, Heidelberg (2007)
White, S.A.: Business process modeling notation. Specification, BPMI. org. (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fraternali, P., Tisi, M. (2010). Multi-level Tests for Model Driven Web Applications. In: Benatallah, B., Casati, F., Kappel, G., Rossi, G. (eds) Web Engineering. ICWE 2010. Lecture Notes in Computer Science, vol 6189. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13911-6_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-13911-6_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13910-9
Online ISBN: 978-3-642-13911-6
eBook Packages: Computer ScienceComputer Science (R0)