Web Testing Generation: A Stream X-Machine Based Approach

Zhongsheng Qian

.

DOI: 10.4236/jsea.2012.51002                

Abstract

To ensure the quality of Web applications, Web testing is one of the effective methods. The testing is a process of revealing errors that is used to give confidence that the implementation of a Web application meets its original specification. This work proposes a Web testing framework based on Stream X-Machines (SXMs), which provides a way to derive test cases for a Web application. It starts from constructing the SXM model, from which a test translator is employed to extract the test paths and then translates them into an XML-style test specification, which is the input of test engine. The test engine generates test cases and then executes them, and finally produces test report. This testing method is a significant contribution to informed research.

Keywords

Web Application; SXM (Stream X-Machine); FSM (Finite State Machine); Test Case; Testing Framework

Conflicts of Interest

The authors declare no conflicts of interest.

References

[1]	E. Kirda, M. Jazayeri and C. Kerer, et al., “Experiences in Engineering Flexible Web Services,” IEEE MultiMedia, Vol. 8, No. 1, 2001, pp. 58-65. doi:10.1109/93.923954
[2]	E. Hieatt and R. Mee, “Going Faster: Testing the Web Application,” IEEE Software, 2002, pp. 60-65. doi:10.1109/52.991333
[3]	G. A. D. Lucca and A. R. Fasolino, “Testing Web-Based Applications: The State of the Art and Future Trends,” Information and Software Technology, Vol. 48, No. 6, 2006, pp. 1172-1186. doi:10.1016/j.infsof.2006.06.006
[4]	S Eilenberg, “Automata, Languages and Machines,” Vol. A, Academic Press, New York, 1974.
[5]	M. Holcombe and F. Ipate, “Correct Systems: Building Business Process Solutions,” Springer Verlag, Berlin, 1998.
[6]	G. Laycock, “The Theory and Practice of Specification-Based Software Testing,” Ph.D. Thesis, Sheffield University, Sheffield, 1993.
[7]	E. Kapeti and P. Kefalas, “A Design Language and Tool for X-Machine Specification,” In: D. Fotiadis and S. Nikolopoulos, Eds., Advances in Informatics, World Scientific, 2000, pp. 134-145.
[8]	P. Kefalas, G. Eleftherakis and A. Sotiriadou, “Developing Tools for Formal Methods,” Proceedings of the 9th Panhellenic Conference in Informatics, 2003, pp. 625-639.
[9]	F. Ipate and M. Holcombe, “An Integration Testing Method that is Proven to Find All Faults,” International Journal of Computer Mathematics, Vol. 63, 1997, pp. 159-178. doi:10.1080/00207169708804559
[10]	T. S. Chow, “Testing Software Design Modelled by Finite State Machines,” IEEE Transactions on Software Engineering, Vol. 4, No. 3, 1978, pp. 178-187. doi:10.1109/TSE.1978.231496
[11]	F. Ipate and M. Holcombe, “Generating Test Sequences from Non-Deterministic Generalized Stream X-Machines,” Formal Aspects of Computing, Vol. 12, No. 6, 2000, pp. 443-458. doi:10.1007/s001650070004
[12]	X. Jia, H. Liu and L. Qin. “Formal Structured Specification for Web Applications Testing,” 2003 Midwest Software Engineering Conference, Chicago, 2003.
[13]	G. A. Stout, “Testing a Website: Best Practices,” A Whitepaper, 2011. http://www.reveregroup.com
[14]	Z. S. Qian, “An Approach to Testing Web Applications Based on Probable FSM,” 2009 International Forum on Information Technology and Applications, Chengdu, 2009, pp. 519-522.
[15]	A. Andrews, J. Offutt and R. Alexander, “Testing Web Applications by Modeling with FSMs,” Software Systems and Modeling, Vol. 4, No. 3, 2005, pp. 326-345. doi:10.1007/s10270-004-0077-7
[16]	Z. S. Qian, “Test Case Generation and Optimization for User Session-Based Web Application Testing,” Journal of Computers, Vol. 5, No. 11, 2010, pp. 1655-1662. doi:10.4304/jcp.5.11.1655-1662
[17]	S. Elbaum, S. Karre and G. Rothermel, “Improving Web Application Testing with User Session Data,” The 25th International Conference on Software Engineering, Portland, 2003, pp. 49-59.
[18]	F. Ricca and P. Tonella, “Analysis and Testing of Web Applications,” The 23rd International Conference on Software Engineering, Toronto, 2001, pp. 25-34.
[19]	C. H. Liu, D. C. Kung and P. Hsia, “Object-Based Data Flow Testing of Web Applications,” The First Asia-Pacific Conference on Quality Software, HongKong, 2000, pp. 7-16.
[20]	B. M. Subraya and S. V. Subrahmanya, “Object Driven Performance Testing of Web Applications,” The First Asia-Pacific Conference on Quality Software, HongKong, 2000, pp. 17-26.
[21]	Z. S. Qian, “Towards Testing Web Applications Using Functional Components,” Journal of software, Vol. 6, No. 4, 2011, pp. 740-745.
[22]	Kourtesis, Dimitrios, Ramollari, Ervin, Dranidis, Dimitris and P. Iraklis, “Discovery and Selection of Certified Web Services Through Registry-Based Testing and Verification,” In: Pervasive Collaborative Networks, IFIP International Federation for Information Processing, Springer, Boston, pp. 473-482.
[23]	F. Ipate and M. Holcombe, “Testing Data Processing-Oriented Systems from Stream X-Machine Models,” Theoretical Computer Science, Vol. 403, No. 2-3, 2008, pp. 176-191. doi:10.1016/j.tcs.2008.02.045
[24]	M. G. Merayo, R. M. Hierons and M. Nunez, “Extending Stream X-Machines to Specify and Test Systems with Timeouts,” The 6th IEEE International Conference on Software Engineering and Formal Methods, 2008, pp. 210-210.
[25]	K. Bogdanov, M. Holcombe, F. Ipate, L. Seed and S. Vanak, “Testing Methods for X-Machines: A Review,” Formal Aspects of Computing, Vol. 18, No. 1, 2006, pp. 3-30. doi:10.1007/s00165-005-0085-6
[26]	F. Ipate and M. Gheorghe, “Testing Non-Deterministic Stream X-Machine Models and P Systems,” Electronic Notes in Theoretical Computer Science, Vol. 227, 2009, pp. 113-126. doi:10.1016/j.entcs.2008.12.107
[27]	B. Beizer, “Software Testing Techniques,” 2nd Edition, International Thomson Computer Press, New York, 1990.
[28]	E. N. Adams, “Optimizing Preventive Service of Software Products,” IBM Journal of Research and Development, Vol. 28, No. 1, 1984, pp. 2-14.