Abstract
We adapt and extend the theories used in the general framework of automated software testing in such a way that they become suitable for black-box conformance testing of thin client Internet applications. That is, we automatically test whether a running Internet application conforms to its formal specification. The actual implementation of the application is not taken into account, only its externally observable behaviour. In this paper, we show how to formally model this behaviour and how such formal specifications can serve as a basis for the automatic conformance testing of Internet 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
Regan, K.: U.S.: E-Commerce Topped $45B in 2002. E-Commerce Times (2003)
ACM Committee on Computers and Public Policy, P.G. Neumann, moderator: The Risk Digest, Forum On Risks To The Publi. In Computers And Related Systems (1985–2003), http://catless.ncl.ac.uk/Risks/
Brinksma, E., Tretmans, J.: Testing Transition Systems: An Annotated Bibliography. In: Cassez, F., Jard, C., Rozoy, B., Dermot, M. (eds.) MOVEP 2000. LNCS, vol. 2067, pp. 44–50. Springer, Heidelberg (2000)
Fielding, R., Gettys, J., Mogul, J.C., Frystyk, H., Masinter, L., Leach, P., Berners-Lee, T.: Hypertext transfer protocol – HTTP/1.1. RFC 2616. The Internet Society, Network Working Group (1999)
Rice, J., Farquhar, A., Piernot, P., Gruber, T.: Using the web instead of a window system. In: Proceedings Human Factors in Computing Systems, CHI 1996 Conference, Vancouver, B.C, Canada, pp. 103–110 (1996)
Belinfante, A., Feenstra, J., de Vries, R., Tretmans, J., Goga, N., Feijs, L., Mauw, S., Heerink, L.: Formal test automation: A simple experiment. In: 12thInt. Workshop on Testing of Communicating Systems. Kluwer Academic Publishers, Dordrecht (1999)
Brinksma, E., Alderden, R., Langerak, J., van de Lagemaat, R., Tretmans, J.: A formal approach to conformance testing. In: Second International Workshop on Protocol Test Systems, pp. 349–363. North-Holland, Amsterdam (1990)
Tretmans, J.: A formal approach to conformance testing. In: Rafiq, O. (ed.) International Workshop on Protocol Test Systems VI. IFIP Transactions, vol. C-19, pp. 257–276. North-Holland, Amsterdam (1994)
ISO/IEC JTC1/SC21 WG7, ITU-T SG 10/Q.8: Proposed ITU-T Z.500 and committee draft on formal methods in conformance testing. CD 13245-1, ISO – ITU-T, Geneva (1996)
Bernot, G.: Testing against formal specifications: A theoretical view. In: Abramsky, S. (ed.) TAPSOFT 1991, CCPSD 1991, and ADC-Talks 1991. LNCS, vol. 494, pp. 99–119. Springer, Heidelberg (1991)
Tretmans, J.: Testing labelled transition systems with inputs and outputs. In: Cavalli, A., Budkowski, S. (eds.) Participants Proceedings of the Int. Workshop on Protocol Test Systems VIII – COST 247 Session, Evry, France, pp. 461–476 (1995)
Heerink, L.: Ins and outs in refusal testing. PhD thesis, University of Twente, The Netherlands (1998)
Brinksma, E., Scollo, G., Steenbergen, C.: LOTOS specifications, their implementations and their tests. Protocol Specification, Testing and Verification VI, IFIP 1987, 349–360 (1987)
Tretmans, J.: Test Generation with Inputs, Outputs and Repetitive Quiescence. Software— Concepts and Tools 17, 103–120 (1996)
van Beek, H.: Internet protocols for distributed consensus – the DiCons language. Master’s thesis, Technische Universiteit Eindhoven (2000)
Baeten, J., van Beek, H., Mauw, S.: Specifying internet applications with DiCons. In: Proc. 16th ACM Symposium on Applied Computing, Las Vegas, USA (2001)
CollabNet, Inc.: MaxQ (1999–2003), http://maxq.tigris.org/
The Original Software Group Ltd.: TestWEB (2003), http://www.testweb.com/
Ricca, F., Tonella, P.: Analysis and testing of web applications. In: Proceedings of the 23rd International Conference on Software Engeneering (ICSE 2001), Toronto, Ontario, Canada, pp. 25–34. IEEE Computer Society, Los Alamitos (2001)
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 (2002)
Wu, Y., Offutt, J.: Modeling and testing web-based applications. ISE Technical ISE-TR-02- 08, GMU (2002)
Niese, O., Margaria, T., Steffen, B.: Automated functional testing of web-based applications. In: Proceedings of the 5th Int. Conference On Software and Internet Quality Week Europe (QWE 2002), Brussels, Belgium (2002)
Benedikt, M., Freire, J., Godefroid, P.: VeriWeb: Automatically testing dynamic web sites. In: Proceedings of the 11th international world wide web conference (WWW 2002), Honolulu, Hawaii, USA (2002)
Dieselpoint, Inc.: dieseltest (2001), http://www.dieseltest.com/
Fulmer, J.: Siege (2002), http://www.joedog.org/siege/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
van Beek, H.M.A., Mauw, S. (2004). Automatic Conformance Testing of Internet Applications. In: Petrenko, A., Ulrich, A. (eds) Formal Approaches to Software Testing. FATES 2003. Lecture Notes in Computer Science, vol 2931. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24617-6_15
Download citation
DOI: https://doi.org/10.1007/978-3-540-24617-6_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20894-5
Online ISBN: 978-3-540-24617-6
eBook Packages: Springer Book Archive