Abstract
The increasing diffusion and importance of Web Applications has led to strict requirements in terms of continuity of the service, because their unavailability can lead to severe economic losses. Techniques to assure the quality of these applications are thus needed in order to identify in advance possible faults. Model-driven approaches to the testing of Web Applications can provide developers with a way of checking the conformance of the actual Web Application with respect to the model built from the requirements. These approaches can be used to automatically generate from the model a set of test cases satisfying certain coverage criteria, and thus can be integrated in a classical test driven development process. In this paper we present an automated technique for Web Application testing using a model-driven approach. We present a way of modeling Web Applications by Abstract State Machines (ASMs), and a process for generating automatically from the model a concrete test suite that is executed on the Web Application under test in order to check the conformance between the application and the model.
Chapter PDF
Similar content being viewed by others
Keywords
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
Alalfi, M., Cordy, J., Dean, T.: Modelling methods for web application verification and testing: state of the art. Softw. Test Verif. Reliab. 19(4) (2009)
Andrews, A., Offutt, J., Alexander, R.: Testing web applications by modeling with FSMs. Software and Systems Modeling 4, 326–345 (2005)
Arcaini, P., Bolis, F., Gargantini, A.: Test Generation for Sequential Nets of Abstract State Machines. In: Derrick, J., Fitzgerald, J., Gnesi, S., Khurshid, S., Leuschel, M., Reeves, S., Riccobene, E. (eds.) ABZ 2012. LNCS, vol. 7316, pp. 36–50. Springer, Heidelberg (2012)
Arcaini, P., Gargantini, A., Riccobene, E., Scandurra, P.: A model-driven process for engineering a toolset for a formal method. Softw., Pract. Exper. 41(2), 155–166 (2011)
Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer (2003)
Ceri, S., Fraternali, P., Bongio, A.: Web modeling language (WebML): a modeling language for designing web sites (2000)
Deutsch, A., Sui, L., Vianu, V.: Specification and verification of data-driven web applications. J. Comput. Syst. Sci. 73(3) (2007)
Di Lucca, G.A., Fasolino, A.R.: Testing web-based applications: The state of the art and future trends. Information and Software Technology 48(12) (2006)
Gargantini, A., Riccobene, E.: ASM-Based Testing: Coverage Criteria and Automatic Test Sequence Generation. Journal of Universal Computer Science (2001)
Gargantini, A., Riccobene, E., Rinzivillo, S.: Using Spin to Generate Tests from ASM Specifications. In: Börger, E., Gargantini, A., Riccobene, E. (eds.) ASM 2003. LNCS, vol. 2589, pp. 263–277. Springer, Heidelberg (2003)
Holzmann, G.: Spin model checker, the: primer and reference manual. Addison-Wesley (2003)
Manolescu, I., Brambilla, M., Ceri, S., Comai, S., Fraternali, P.: Model-driven design and deployment of service-enabled web applications. ACM Trans. Internet Technol. 5(3) (2005)
Memon, A., Akinmade, O.: Automated Model-Based Testing of Web Applications. In: Google Test Automation Conference 2008 (2008)
Puolitaival, O.: Adapting model-based testing to agile context. VTT (2008)
Ricca, F., Tonella, P.: Analysis and testing of web applications. In: Proc. of ICSE. IEEE (2001)
Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan-Kaufmann (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bolis, F., Gargantini, A., Guarnieri, M., Magri, E., Musto, L. (2012). Model-Driven Testing for Web Applications Using Abstract State Machines. In: Grossniklaus, M., Wimmer, M. (eds) Current Trends in Web Engineering. ICWE 2012. Lecture Notes in Computer Science, vol 7703. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35623-0_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-35623-0_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-35622-3
Online ISBN: 978-3-642-35623-0
eBook Packages: Computer ScienceComputer Science (R0)