Abstract
We propose a formal model, representing the navigation behavior of a Web application as the Kripke structure, and an approach to test generation. The behavior model can be constructed from the object structure of a Web application and then a set of test sequences is derived automatically from the behavior model with respect to some coverage criteria for the object structure by using the model checking’s capability to construct counter-examples.
This work is supported by National Science Foundation of China (grant No. 60673115) and National 973 Program (2002CB312001).
Chapter PDF
Similar content being viewed by others
References
Haydar, M., Petrenko, A., Sahraoui, H.: Formal Verification of Web Applications Modeled by Communicating Automata. In: de Frutos-Escrig, D., Núñez, M. (eds.) FORTE 2004. LNCS, vol. 3235, pp. 115–132. Springer, Heidelberg (2004)
Donini, F.M., Mongiello, M., Ruta, M., Totaro, R.: A Model Checking-based Method for Verifying Web Application Design. Electronic Notes in Theoretical Computer Science 151(2), 19–32 (2006)
Kung, D.C., Liu, C.H., Hsia, P.: An Object-Oriented Web Test Model for Testing Web Applications. In: APAQS 2000. Proceedings of the 1st Asia-Pacific Conference on Web Applications, pp. 111–120. IEEE Press, New York (2000)
Tonella, P., Ricca, F.: Testing processes of web applications. Annals of software engineering 14(1), 93–114 (2002)
Andrews, A., Offutt, J., Alexander, R.: Testing Web Applications by Modeling with FSMs. Software Systems and Modeling 4(3), 326–345 (2005)
Gargantini, A., Heitmeyer, C.L.: Using Model Checking to Generate Tests from Requirements Specifications. In: ESEC/FSE99. Proceedings of Joint 7th European Software Engineering Conference and 7th ACM SIGSOFT International Symposium on Foundations of Software Engineering, Toulouse, France, pp. 146–162. ACM Press, NewYork (1999)
Heimdahl, M.P.E., Rayadurgam, S., Visser, W., Devaraj, G., Gao, J.: Auto-generating Test Sequences Using Model Checkers: A Case Study. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol. 2931, pp. 42–59. Springer, Heidelberg (2004)
Hong, H.S., Lee, I., Sokolsky, O., Cha, S.D.: Automatic Test Generation from Statecharts Using Model Checking. In: Proceedings of the 1st International Workshop on Formal Approaches to Testing of Software (FATES ’01), Aalborg, Denmark, pp. 15–30 (August 2001)
Belli, F., Güldali, B.: Software Testing via Model Checking. In: Aykanat, C., Dayar, T., Körpeoğlu, İ. (eds.) ISCIS 2004. LNCS, vol. 3280, pp. 907–916. Springer, Heidelberg (2004)
McMillan, K.L.: The SMV System for SMV version 2.5.4. October (2006), http://www.cs.cmu.edu/~modelcheck/smv/smvmanual.ps
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zeng, H., Miao, H. (2007). Auto-Generating Test Sequences for Web Applications. In: Baresi, L., Fraternali, P., Houben, GJ. (eds) Web Engineering. ICWE 2007. Lecture Notes in Computer Science, vol 4607. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73597-7_24
Download citation
DOI: https://doi.org/10.1007/978-3-540-73597-7_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73596-0
Online ISBN: 978-3-540-73597-7
eBook Packages: Computer ScienceComputer Science (R0)