Abstract
As testing has always been our primary device to gain the confidence in the correctness, robustness, and reliability of a system, a typical issue in web engineering is how to automate effective testing on web applications. Many factors have contributed to the new dimensions of the complexity in the automated testing in this regard. Here we present our work in progress towards the specification-based testing of the presentation logic in web applications. This work is realized by extending an existing testing technique for window-based applications.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
AutoController. See http://www.autotester.com.
M. Burnett, A. Sheretov, and G. Rothermel. Scaling up a “what you see is what you test” methodology to spreadsheet grids. In IEEE Symposium on Visual Languages, 1999.
X. Cai and J. Chen. Control of nondeterminism in testing distributed multithreaded programs. In Proceedings of the First Asia-Pacific Conference on Quality Software (APAQS 2000), pages 29–38. IEEE Computer Society Press, 2000.
J. Chen. On using static analysis in distributed system testing. In Proceedings of the 2nd International Workshop on Engineering Distributed Objects (EDO’2000), LNCS 1999, pages 145–162, 2000.
J. Chen and S. Subramanian. A GUI environment to manipulate FSMs for testing GUI-based applications in Java. In Proc. of the 34th IEEE Hawaii International Conference on System Sciences (HICSS-34). IEEE Computer Society, 2001.
T. Chow. Testing software design modeled by finite state machines. IEEE Transactions on Software Engineering, 4(3):178–187, 1978.
D. Kasik and H. George. Toward automatic generation of novice user test scripts. In ACM Conference Proc. on Human Factors in Computing Systems, pages 244–251, Vancouver, Canada, April 1996.
D. Lee and M. Yannakakis. Testing finite state machines: State identification and verification. IEEE Transactions on Computers, 43:306–320, 1994.
J. Newmarch. Testing Java swing-based applications. In The 31st Internaltion Conference on Technology on Object-Oriented Language and Systems, Nanjing, China, September 1999.
G. Rothermel, L. Li, C. DuPuis, and M. Burnett, “what you see is what you test: A methodology for testing form-based visual programs. In Proc. of International Conference on Software Engineering, pages 198–207, 1998.
K. Sabnani and A. Dahbura. A protocol test generation procedure. Computer Networks and ISDN Systems, 15(4):285–297, 1988.
R. V. Test. See http://www.rational.com/products/visuaLtest/index.jtmpl.
H. Ural, X. Wu, and F. Zhang. On minimizing the lengths of checking sequences. IEEE Transactions on Computers, 46(1), January 1997.
XRunner. See http://www.merc-int.com/products/xrunner6.
M. Yannakakis and D. Lee. Testing finite state machines: Fault detection. Journal of Computer and System Sciences, 50:209–227, 1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chen, J., Chovanec, S. (2002). Towards Specification-Based Web Testing. In: Gregori, E., Cherkasova, L., Cugola, G., Panzieri, F., Picco, G.P. (eds) Web Engineering and Peer-to-Peer Computing. NETWORKING 2002. Lecture Notes in Computer Science, vol 2376. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45745-3_15
Download citation
DOI: https://doi.org/10.1007/3-540-45745-3_15
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44177-9
Online ISBN: 978-3-540-45745-9
eBook Packages: Springer Book Archive