Web Testing Generation: A Stream <i>X-Machine</i> Based Approach
- 1
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.
- 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
- E. Hieatt and R. Mee, “Going Faster: Testing the Web Application,” IEEE Software, 2002, pp. 60-65. doi:10.1109/52.991333
- 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
- S Eilenberg, “Automata, Languages and Machines,” Vol. A, Academic Press, New York, 1974.
- M. Holcombe and F. Ipate, “Correct Systems: Building Business Process Solutions,” Springer Verlag, Berlin, 1998.
- G. Laycock, “The Theory and Practice of Specification-Based Software Testing,” Ph.D. Thesis, Sheffield University, Sheffield, 1993.
- 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.
- P. Kefalas, G. Eleftherakis and A. Sotiriadou, “Developing Tools for Formal Methods,” Proceedings of the 9th Panhellenic Conference in Informatics, 2003, pp. 625-639.
- 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
- 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
- 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
- X. Jia, H. Liu and L. Qin. “Formal Structured Specification for Web Applications Testing,” 2003 Midwest Software Engineering Conference, Chicago, 2003.
- G. A. Stout, “Testing a Website: Best Practices,” A Whitepaper, 2011. http://www.reveregroup.com
- 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.
- 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