Abstract
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 G∀ST test tool and spots errors in real web 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.
Similar content being viewed by others
References
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)
Andrews, A., Offutt, J., Alexander, R.: Testing Web Applications by Modelling with FSMs. Software Systems and Modeling 4(3) (August 2005)
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)
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)
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)
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)
Koopman, P., Plasmeijer, R.: Testing reactive systems with GAST. In: Gilmore, S. (ed.) Trends in Functional Programming 4, pp. 111–129 (2004)
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)
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)
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)
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)
Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines – a survey. Proc. IEEE 84(8), 1090–1126 (1996)
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)
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)
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)
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-60
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)
Plasmeijer, R., van Eekelen, M.: Concurrent CLEAN Language Report (version 2.0) (December 2001), http://www.cs.ru.nl/~clean/
Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software—Concepts and Tools 17(3), 103–120 (1996)
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)
van Beek, H.: Specification and Analysis of Internet Applications. PhD thesis, Technical University Eindhoven, The Netherlands (2005) ISBN 90-386-0564-1
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)
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-R0428
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Koopman, P., Plasmeijer, R., Achten, P. (2006). Model-Based Testing of Thin-Client Web Applications. In: Havelund, K., Núñez, M., Roşu, G., Wolff, B. (eds) Formal Approaches to Software Testing and Runtime Verification. FATES RV 2006 2006. Lecture Notes in Computer Science, vol 4262. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11940197_8
Download citation
DOI: https://doi.org/10.1007/11940197_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-49699-1
Online ISBN: 978-3-540-49703-5
eBook Packages: Computer ScienceComputer Science (R0)