Model-Based Testing of Thin-Client Web Applications

  • Pieter Koopman
  • Rinus Plasmeijer
  • Peter Achten
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4262)


In this paper we present a novel automated, on-line, modelbased testing system for on-the-fly testing of thin-client web applications. Web applications are specified by means of Extended State Machines. To handle dynamic web applications, arbitrarily large and complex state input and output types, and the transport of information from the webpage to the state of the specification, we define a new, ioco like, conformance relation. In this conformance relation a specification is a function from state and input to functions from output to the new states. The implementation builds on the GST test tool and spots errors in real web applications.


Transition Function Target State Test Engineer Label Transition System Test Tool 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alimarine, A., Plasmeijer, R.: A Generic Programming Extension for Clean. In: Arts, T., Mohnen, M. (eds.) IFL 2002. LNCS, vol. 2312, pp. 168–186. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  2. 2.
    Andrews, A., Offutt, J., Alexander, R.: Testing Web Applications by Modelling with FSMs. Software Systems and Modeling 4(3) (August 2005)Google Scholar
  3. 3.
    Di Lucca, G., Di Penta, M.: Considering Browser Interaction in Web Application Testing. In: Proceedings of the 5th International Workshop on Web Site Evolution, Amsterdam, The Netherlands. IEEE Computer Society, USA (2002)Google Scholar
  4. 4.
    Frantzen, L., Tretmans, J., Willemse, T.: Test Generation Based on Symbolic Specifications. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol. 3395, pp. 1–15. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  5. 5.
    Jia, X., Liu, H.: Rigorous and Automatic Testing of Web Applications. In: Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA, USA, pp. 280–285 (November 2002)Google Scholar
  6. 6.
    Koopman, P., Alimarine, A., Tretmans, J., Plasmeijer, R.: Gast: Generic automated software testing. In: Peña, R., Arts, T. (eds.) IFL 2002. LNCS, vol. 2670, pp. 84–100. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  7. 7.
    Koopman, P., Plasmeijer, R.: Testing reactive systems with GAST. In: Gilmore, S. (ed.) Trends in Functional Programming 4, pp. 111–129 (2004)Google Scholar
  8. 8.
    Koopman, P., Plasmeijer, R.: Generic Generation of Elements of Types. In: Sixth Symposium on Trends in Functional Programming (TFP 2005), Tallin, Estonia, September 23-24 (2005)Google Scholar
  9. 9.
    Kung, D., Liu, C., Hsia, P.: An Object-Oriented Web Test Model for Testing Web Applications. In: IEEE Proceedings of the 24th Annual International Computer Software & Applications Conference (COMPSAC 2000), Taipei, Taiwan, pp. 537–542 (October 2000)Google Scholar
  10. 10.
    Larsen, K., Mikucionis, M., Nielsen, B.: Online Testing of Real-Time Systems Using uppaal. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol. 3395, pp. 79–94. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  11. 11.
    Latella, D., Massink, M.: On Testing and Conformance Relations for UML Statechart Diagrams Behaviours. In: Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2002), pp. 144–153. ACM Press, New York (2002)Google Scholar
  12. 12.
    Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines – a survey. Proc. IEEE 84(8), 1090–1126 (1996)CrossRefGoogle Scholar
  13. 13.
    Lee, S., Offutt, J.: Generating Test Cases for XML-based Web Component Interactions Using Mutation Analysis. In: 12th International Symposium on Software Reliability Engineering (ISSRE 2001), Hong Kong, pp. 200–209 (November 2001)Google Scholar
  14. 14.
    Liu, C., Kung, D., Hsia, P., Hsu, C.: Object-Based Data Flow Testing of Web Applications. In: Proceedings First Asian Pacific Conference on Quality Software (APAQS 2000), pp. 7–16 (October 2000)Google Scholar
  15. 15.
    Margaria, T., Niese, O., Steffen, B.: Automated Functional Testing of Web-based Applications. In: Proceedings of the 5th International Conference on Software and Internet Quality Week Europe, Brussels, pp. 157–166 (March 2002)Google Scholar
  16. 16.
    Plasmeijer, R., Achten, P.: The Implementation of iData - A Case Study in Generic Programming. In: Butterfield, A., Grelck, C., Huch, F. (eds.) IFL 2005. LNCS, vol. 4015, pp. 106–123. Springer, Heidelberg (2006); Technical Report No: TCD-CS-2005-60CrossRefGoogle Scholar
  17. 17.
    Plasmeijer, R., Achten, P.: iData For The World Wide Web - Programming Interconnected Web Forms. In: Hagiya, M., Wadler, P. (eds.) FLOPS 2006. LNCS, vol. 3945, pp. 242–258. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  18. 18.
    Plasmeijer, R., van Eekelen, M.: Concurrent CLEAN Language Report (version 2.0) (December 2001),
  19. 19.
    Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software—Concepts and Tools 17(3), 103–120 (1996)MATHGoogle Scholar
  20. 20.
    Tretmans, J.: Testing Concurrent Systems: A Formal Approach. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol. 1664, pp. 46–65. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  21. 21.
    van Beek, H.: Specification and Analysis of Internet Applications. PhD thesis, Technical University Eindhoven, The Netherlands (2005) ISBN 90-386-0564-1Google Scholar
  22. 22.
    van Beek, H., Mauw, S.: Automatic Conformance Testing of Internet Applications. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol. 2931, pp. 205–222. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  23. 23.
    van Weelden, A., Oostdijk, M., Frantzen, L., Koopman, P., Tretmans, J.: On-the-fly formal testing of a smart card applet. In: Sasaki, R., Qing, S., Okamoto, E., Yoshiura, H. (eds.) Proceedings of the 20th IFIP TC11 International Information Security Conference SEC 2005, Makuhari Messe, Chiba, Japan, pp. 564–576. Springer, Heidelberg (2005); Also available as Technical Report NIII-R0428Google Scholar
  24. 24.
    Wu, Y., Offutt, J.: Modeling and Testing Web-based Applications. GMU ISE Technical ISE-TR-02-08, Information and Software Engineering Department, George Mason University, Fairfax, USA (November 2002)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Pieter Koopman
    • 1
  • Rinus Plasmeijer
    • 1
  • Peter Achten
    • 1
  1. 1.Software Technology, Nijmegen Institute for Computing and Information SciencesRadboud University Nijmegen 

Personalised recommendations