Abstract
Web applications pervade all aspects of human activity today. Rapid growth in the scope, penetration and user-base of web applications, over the past decade, has meant that web applications are substantially bigger, more complex and sophisticated than ever before. This places even more demands on the validation process for web applications. This paper presents an automated approach for the system testing of modern, industrial strength dynamic web applications, where a combination of dynamic crawling-based model generation and back-end model checking is used to comprehensively validate the navigation behavior of the web application. We present several case studies to validate the proposed approach on real-world web applications. Our evaluation demonstrates that the proposed approach is not only practical in the context of applications of such size and complexity but can provide greater automation and better coverage than current industrial validation practices based on manual testing.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
de Alfaro, L.: Model Checking the World Wide Web. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol. 2102, pp. 337–349. Springer, Heidelberg (2001)
Andrews, A.A., Offutt, J., Alexander, R.T.: Testing Web Applications by Modeling with FSMs. Software and Systems Modeling 4, 326–345 (2005)
Benedikt, M., Freire, J., Godefroid, P.: VeriWeb: Automatically Testing Dynamic Web Sites. In: Proceedings of 11th International World Wide Web Conference (2002)
Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press (1999)
Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in Property Specifications for Finite-State Verification. In: ICSE 1999: Proceedings of the 21st International Conference on Software Engineering, pp. 411–420. ACM, New York (1999)
Kitchenham, B., Pickard, L., Pfleeger, S.L.: Case Studies for Method and Tool Evaluation. IEEE Softw. 12(4), 52–62 (1995)
Marchetto, A., Ricca, F., Tonella, P.: A Case-Study Based Comparison of Web Testing Techniques Applied to AJAX Web Applications. International Journal on Software Tools for Technology Transfer (STTT) 10(6), 477–492 (2008)
Marchetto, A., Tonella, P., Ricca, F.: State-Based Testing of Ajax Web Applications. In: ICST 2008: Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation, pp. 121–130. IEEE Computer Society, Washington, DC (2008)
Mesbah, A., Bozdag, E., Deursen, A.V.: Crawling AJAX by Inferring User Interface State Changes. In: ICWE 2008: Proceedings of the 2008 Eighth International Conference on Web Engineering, pp. 122–134. IEEE Computer Society, Washington, DC (2008)
Mesbah, A., Deursen, A.V.: Invariant-Based Automatic Testing of AJAX User Interfaces. In: Proceedings of the 31st International Conference on Software Engineering, ICSE 2009 (May 2009)
NuSMV, http://nusmv.irst.itc.it/
Ricca, F., Tonella, P.: Analysis and Testing of Web Applications. In: Proceedings of the 23rd International Conference on Software Engineering, ICSE 2001, pp. 25–34. IEEE Computer Society (2001)
Strecker, J., Memon, A.M.: Testing Graphical User Interfaces. In: Encyclopedia of Information Science and Technology, 2nd edn. IGI Global (2009)
Zammetti, F.: Practical Ajax Projects with Java Technology. Apress (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tanida, H., Prasad, M.R., Rajan, S.P., Fujita, M. (2013). Automated System Testing of Dynamic Web Applications. In: Escalona, M.J., Cordeiro, J., Shishkov, B. (eds) Software and Data Technologies. ICSOFT 2011. Communications in Computer and Information Science, vol 303. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36177-7_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-36177-7_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-36176-0
Online ISBN: 978-3-642-36177-7
eBook Packages: Computer ScienceComputer Science (R0)