Share This Article:

Web Testing Generation: A Stream X-Machine Based Approach

DOI: 10.4236/jsea.2012.51002    4,291 Downloads   7,342 Views   Citations
Author(s)    Leave a comment


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.

Conflicts of Interest

The authors declare no conflicts of interest.

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.

comments powered by Disqus

Copyright © 2018 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.