Publication TypeJournal Article
Year of Publication2006
AuthorsHo, K-C, Lau, V
Start Page85
Date Published2006
AMS39A05, 39A11, 62C99, 91A35, 91B06

Web applications are complex and growing rapidly along with the emergence of Internet and newly developed web technologies. The quality of web applications has become crucial to their success and thus should be tested thoroughly. In this paper, we describe how the all-edges testing of a web application is facilitated by creating a state transition diagram to model various interactions among web pages of each subsystem and then transform the diagram into a corresponding web Petri net machine (WPNM). Test cases can then be generated based on the reachability trees resulted from the corresponding WPNMs. We also generalize an existing statistical testing technique to all-k-paths and all-edges testing of web applications to enhance the reliability of structural testing.

Refereed DesignationRefereed
Full Text

[1] R. Alexander Andrews and J. Offutt, Testing web Applications, George Mason University, 2002.

[2] Anneliese Andrews, Jeff Offutt, and Roger Alexander, Testing web applications by modeling
with FSMs, Software Systems and Modeling, (2004), To Appear.
[3] M. Chen and M. Kao, Testing object-oriented programs – an integrated approach, In: Proceedings
of the Tenth International Symposium on Software Reliability Engineering, 1999, 1-4.
[4] M.-C. Gaudel Denise and S.D. Gouraud, A generic method for statistical testing, In: Proceedings
of the 15th IEEE International Symposium on Software Reliability Engineering (ISSRE
2004), Saint-Malo, France, November 2004, 25-34.
[5] G.A. Di Lucca and M. Di Penta, Considering browser interaction in web application testing,
In: Proceedings of the 5-th International Workshop on web Site Evolution, Amsterdam, The
Netherlands, 2003.
[6] G.A. Di Lucca, A.R. Fasolino, F. Faralli, U. De Carlini, Testing web applications, In: Proceedings
of the IEEE International Conference on Software maintenance, Oct. 2002, Montr´eal,
QC, Canada, 310-319.
[7] S. Elbaum, S. Karre, and G. Roothermel, Improving web application testing with user session
data, In: The 25-th International Conference on Software Engineering, Portland, Oregon, May 2003.
[8] C. Kallepalli and Jeff Tian, Measuring and modeling usage and reliability for statistical web
testing, IEEE Transaction on Software Engineering, 27 (November 2001), no. 11.
[9] C.H. Liu, A Formal Object-oriented Test Model for Testing web Applications, PhD Thesis, The
University of Texas at Arlington, 2002.
[10] T. Murata, Petri nets: Properties, analysis and applications, Proceedings of the IEEE, 77
(1989), no. 4, 541-580.
[11] J.L. Perterson, Petri Net Theory and The Modeling of Systems, Prentice-Hall, Englewood
Cliffs, NJ, 1981.
[12] R.S. Pressman, What a tangled web we weave, IEEE Software, 17 (2000), no. 1, 18-21.
[13] F. Ricca and P. Tonella, Analysis and testing of web applications, In: Proc. of the 23-rd
International Conference on Software Engineering, Toronto, Ontario, Canada, 2001, 25-34.
[14] Sreedevi Sampath, Emily Gibson, Sara Sprenkle and Lori Pollock, Coverage criteria for testing
web applications, Technical Report, 2005-17, Computer and Information Sciences, University
of Delaware, April 2005.
[15] J. Sant, A. Souter, and L. Greenwald, An exploration of statistical models for automated test
case generation, Workshop on Dynamic Analysis, St. Louis, Missouri, USA, May 2005.
[16] P. Th´evenod-Fosse, Software validation by means of statistical testing: retrospect and future
direction, In: Preprints 1st IEEE Working Conference on Dependable Computing for Critical
Applications (DCCA-1), Santa Barbara, USA, August 1989, 15-22; Published in: Dependable
Computing and Fault-Tolerant Systems, 4 (Ed-s. A. Avizienis, J-C. Laprie), Springer-Verlag,
1991, 23-50.
[17] J. Tian and E. Lin, Unified Markov models for software testing, performance evaluation, and
reliability analysis, In: Proc. of the 4-th ISSAT International Conference on Reliability and
Quality in Design, August 1998.
[18] P. Tonella and F. Ricca, Statistical testing of web applications, Journal of Software Maintenance,
16 (2004), no. 1-2, 103-127.
[19] C.C. Wang, W.C. Pai, D.J. Chiang, Using a Petri net model approach to object-oriented class
testing, In: Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC’99), 12-15 October
1999, Tokyo, Japan, Volume 1, 1999, 824-828.