Towards Specification-Based Web Testing

  • Jessica Chen
  • Steve Chovanec
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2376)


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.


Web applications Finite state machines Specification-based testing Capture/Replay Java AWT and Swing 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    AutoController. See
  2. 2.
    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.Google Scholar
  3. 3.
    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.Google Scholar
  4. 4.
    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.CrossRefGoogle Scholar
  5. 5.
    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.Google Scholar
  6. 6.
    T. Chow. Testing software design modeled by finite state machines. IEEE Transactions on Software Engineering, 4(3):178–187, 1978.CrossRefGoogle Scholar
  7. 7.
    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.Google Scholar
  8. 8.
    D. Lee and M. Yannakakis. Testing finite state machines: State identification and verification. IEEE Transactions on Computers, 43:306–320, 1994.CrossRefMathSciNetGoogle Scholar
  9. 9.
    J. Newmarch. Testing Java swing-based applications. In The 31st Internaltion Conference on Technology on Object-Oriented Language and Systems, Nanjing, China, September 1999.Google Scholar
  10. 10.
    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.Google Scholar
  11. 11.
    K. Sabnani and A. Dahbura. A protocol test generation procedure. Computer Networks and ISDN Systems, 15(4):285–297, 1988.CrossRefGoogle Scholar
  12. 12.
  13. 13.
    H. Ural, X. Wu, and F. Zhang. On minimizing the lengths of checking sequences. IEEE Transactions on Computers, 46(1), January 1997.Google Scholar
  14. 14.
  15. 15.
    M. Yannakakis and D. Lee. Testing finite state machines: Fault detection. Journal of Computer and System Sciences, 50:209–227, 1995.zbMATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Jessica Chen
    • 1
  • Steve Chovanec
    • 1
  1. 1.School of Computer ScienceUniversity of WindsorWindsorCanada

Personalised recommendations