JSEA  Vol.5 No.1 , January 2012
Web Testing Generation: A Stream X-Machine Based Approach
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.
Cite this paper: Z. Qian, "Web Testing Generation: A Stream X-Machine Based Approach," Journal of Software Engineering and Applications, Vol. 5 No. 1, 2012, pp. 7-13. doi: 10.4236/jsea.2012.51002.

[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.

[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.