USING TRACEABILITY LINKS AND HIGHER-ORDER TRANSFORMATIONS FOR EASING REGRESSION TESTING OF WEB APPLICATIONS
Keywords:
Model-Driven Engineering, Model-Driven Architecture, Testing, Regression, Testing AutomationAbstract
For Model-Driven Engineering to become widely accepted by developers, it is necessary that its principles and techniques be applied not only to the generation of code from Plat- form Independent Models (PIMs), but more generally to all the phases of the software life-cycle. This paper focuses on the use of PIMs to support automation in the regres- sion testing phase of a system; the proposed framework lets developers record and replay testing sessions and investigate testing failures at the level of their PIMs; this is made possible by traceability links automatically weaved into the generated code, whereby developers can follow application execution at the model level. Such traceability links are created by a modied version of the code generation transformation, automatically produced by means of a Higher-Order Transformation (HOT). A HOT is a transfor- mation that takes as input a transformation (the original code generator) and creates another transformation (the code generator capable of producing traceability links). The HOT weaves into the code generator additional rules producing traceability clues that help developers link any error to the model features likely to cause it. This approach is particularly helpful in the Web context, where code generation transformations must follow changes in the technology and presentation styles. Using HOTs ensures the au- tomatic evolution of the transformation for traceability links when the code generation transformation changes.
Downloads
References
MoDisco home page. http://www.eclipse.org/gmt/modisco/.
QVT 1.0. http://www.omg.org/spec/QVT/1.0/.
WebRatio. http://www.webratio.com.
Silvia Abrahao and Oscar Pastor. Measuring the functional size of web applications. Int. J. Web
Eng. Technol., 1(1):5{16, 2003.
Silvia Mara Abrah~ao, Emilia Mendes, Jaime Gomez, and Emilio Insfran. A model-driven measurement
procedure for sizing web applications: Design, automation and validation. In MoDELS,
pages 467{481, 2007.
Aditya Agrawal, Gabor Karsai, and Feng Shi. Graph transformations on domain-speci c models.
Technical report, ISIS, November 2003.
Stefan Baerisch. 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, pages
{590, New York, NY, USA, 2007. ACM.
M. Barbero, M. D. Del Fabro, and J. Bezivin. Traceability and provenance issues in global model
management. In 3rd ECMDA-Traceability Workshop, 2007.
Luciano Baresi, Piero Fraternali, Massimo Tisi, and Sandro Morasca. Towards model-driven
testing of a web application generator. In ICWE, pages 75{86, 2005.
J. Bezivin. On the uni cation power of models. Software and Systems Modeling, 4(2):171188, May
J. Bezivin, F. Jouault, and D. Touzet. An introduction to the ATLAS model management architecture.
Research Report LINA,(05-01), 2005.
L. Briand, Y. Labiche, and G. Soccar. Automating impact analysis and regression test selection
based on uml designs. Software Maintenance, IEEE International Conference on, 0:0252, 2002.
Canoo. Canoo Web Test. http://webtest.canoo.com, 2008.
S. Ceri, P. Fraternali, A. Bongio, M. Brambilla, S. Comai, and M. Matera. Designing Data-
Intensive Web Applications. Morgan Kaufmann, USA, 2002.
K. Czarnecki and S. Helsen. Classi cation of model transformation approaches. In OOPSLA03
Workshop on Generative Techniques in the Context of MDA, 2003.
Jeremy Dick and Alain Faivre. Automating the generation and sequencing of test cases from
Model-Based speci cations. In Proceedings of the First International Symposium of Formal Meth-
ods Europe on Industrial-Strength Formal Methods, pages 268{284. Springer-Verlag, 1993.
M. D. Del Fabro, J. Bezivin, F. Jouault, E. Breton, and G. Gueltas. Amw: a generic model weaver.
In 1re Journe sur l'Ingnierie Dirige par les Modles (IDM05), 2005.
GMT Project. Amw use case - traceability. http://www.eclipse.org/gmt/amw/usecases/traceability,
Feb. 2008.
A. Hartman and K. Nagin. The AGEDIS tools for model based testing. SIGSOFT Softw. Eng.
Notes, 29(4):129{132, 2004.
HTMLUnit Team. HTMLUnit. http://htmlunit.sourceforge.net/, 2008.
Frdric Jouault. Loosely coupled traceability for atl. In European Conference on Model Driven
Architecture (ECMDA) , workshop on traceability, 2005.
JWebUnit Team. JWebUnit. http://jwebunit.sourceforge.net/, 2008.
Anneke G. Kleppe, Jos Warmer, and Wim Bast. MDA Explained: The Model Driven Architecture:
Practice and Promise. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2003.
Michael Lawley and Jim Steel. Practical declarative model transformation with tefkat. In Satellite
Events at the MoDELS 2005 Conference, pages 139{150, 2006.
Nuo Li, Qin-qin Ma, Ji Wu, Mao-zhong Jin, and Chao Liu. A framework of model-driven web application
testing. In COMPSAC '06, pages 157{162,Washington, DC, USA, 2006. IEEE Computer
Society.
L. Naslavsky and D. J. Richardson. Using traceability to support model-based regression testing.
In ASE '07, pages 567{570, New York, USA, 2007. ACM.
C Nebut, F Fleurey, Y Le Traon, and J Jezequel. Automatic test generation: A use case driven
approach. IEEE Transactions on SE, 32(3):155, 140, 2006.
Oscar Pastor and Juan Carlos Molina. Model-Driven Architecture in Practice: A Software Pro-
duction Environment Based on Conceptual Modeling. Springer-Verlag New York, Inc., Secaucus,
NJ, USA, 2007.
A. Pretschner. Model-based testing in practice. In FM, pages 537{541, 2005.
G. Rothermel and M.J. Harrold. Analyzing regression test selection techniques. Software Engi-
neering, IEEE Transactions on, 22(8):529{551, 1996.
Mohammad Al Saad, Nicolai Kamenzky, and Jochen Schiller. Visual scatterunit: A visual modeldriven
testing framework of wireless sensor networks applications. In MoDELS '08, pages 751{765,
Berlin, Heidelberg, 2008. Springer-Verlag.
Selenium Project. Seleniumhq. http://seleniumhq.org/, 2008.
Vinay Srini. Testgen4web. http://developer.spikesource.com/ blogs/vsrini/
/06/testgen4web update 10 1.html, 2008.
Thomas Stahl, Markus Voelter, and Krzysztof Czarnecki. Model-Driven Software Development:
Technology, Engineering, Management. John Wiley & Sons, 2006.
The Apache Jakarta Project. Cactus. http://jakarta.apache.org/cactus, 2008.
Daniel Varro, Gergely Varro, and Andras Pataricza. Designing the automatic transformation of
visual languages. Sci. Comput. Program., 44(2):205{227, 2002.
L. J. White. Software testing and veri cation. Advances in computers, 26:335{391, 1987.
