Abstract
A Web Service (WS) is a type of component specifically conceived for distributed machine-to-machine interaction. Interoperability between WSs involves both data and messages exchanged and protocols of usage, and is pursued via the establishment of standard specifications to which service providers must conform. In previous work we have envisaged a framework for WS testing. Within this framework, this paper focuses on how the intended protocol of access for a standard service could be specified, and especially on how the conformance of a service instance to this specified protocol can then be tested. We propose to augment the WSDL description with a UML2.0 Protocol State Machine (PSM) diagram. The PSM is intended to express how, and under which conditions, the service provided by a component through its ports and interfaces can be accessed by a client. We then propose to translate the PSM to a Symbolic Transition System, to which existing formal testing theory and tools can be readily applied for conformance evaluation. A simple example illustrates the approach and highlights the peculiar challenges raised by WS conformance testing.
This work has been supported by the European Project TELCERT (FP6 STREP 507128), by Marie Curie Network TAROT (MRTN-CT-2004-505121), and by the Netherlands Organization for Scientific Research (NWO) under project: STRESS – Systematic Testing of Realtime Embedded Software Systems.
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
Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services – Concepts, Architectures and Applications. Springer, Heidelberg (2004)
Belinfante, A., Feenstra, J., de Vries, R.G., Tretmans, J., Goga, N., Feijs, L., Mauw, S., Heerink, L.: Formal test automation: A simple experiment. In: Csopaki, G., Dibuz, S., Tarnay, K. (eds.) 12th Int. Workshop on Testing of Communicating Systems, pp. 179–196. Kluwer Academic Publishers, Dordrecht (1999)
Bertolino, A.: Knowledge area description of software testing. In: Guide to the Software Engineering Body of Knowledge SWEBOK. IEEE Computer Society, Los Alamitos (2000)
Bertolino, A., Polini, A.: The audition framework for testing web services interoperability. In: Proceedings of the 31st EUROMICRO International Conference on Software Engineering and Advanced Applications, Porto, Portugal, August 30th - September 3rd, 2005, pp. 134–142 (2005)
Booth, D., et al.: Web Services Architecture (February 2004), http://www.w3.org/TR/ws-arch/
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. 187–195. Springer, Heidelberg (2001)
Briones, L.B., Brinksma, E.: A test generation framework for quiescent real-time systems. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol. 3395, pp. 64–78. Springer, Heidelberg (2005)
Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.): Model-Based Testing of Reactive Systems. LNCS, vol. 3472. Springer, Heidelberg (2005)
Christensen, E., et al.: Web Service Definition Language (WSDL) ver. 1.1 (March 2001) http://www.w3.org/TR/wsdl/
Clement, L., et al.: Universal Description Discovery & Integration (UDDI) ver. 3.0 (October 2004), http://uddi.org/pubs/uddi_v3.htm
Eriksson, H.E., et al.: UML 2 Toolkit. John Wiley and Sons, Chichester (2004)
Bellinger, K., et al.: WS-I - basic profile, ver. 1.1 (August 2004), http://www.ws-i.org/Profiles/BasicProfile-1.1-2004-08-24.html
Foster, H., et al.: Model-based verification of web services compositions. In: Proc. ASE 2003, Montreal, Canada, October 6-10, 2003, pp. 152–161 (2003)
Frantzen, L., Tretmans, J., Willemse, T.A.C.: Test generation based on symbolic specifications. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol. 3395, pp. 1–15. Springer, Heidelberg (2005)
Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL web services. In: Proc. of WWW 2004, New York, USA, May 17-22, 2004 (2004)
Garlan, D., Allen, R., Ockerbloom, J.: Architectural mismatch or why it’s hard to build system out of existing parts. In: Proceedings 17th International Conference on Software Enginneering, pp. 179–185 (April 1995)
Gross, H.G., Schieferdecker, I., Din, G.: Testing Commercial-off-the-Shelf Components and Systems. In: Modeling and Implementation of Built-In Contract Tests. Springer, Heidelberg (2005)
Gudgin, M., et al.: Simple Object Access Protocol (SOAP) ver. 1.2 (June 2003), http://www.w3.org/TR/soap12/
Heckel, R., Lohman, M.: Towards contract-based testing of web services. In: Proc. TACOS, 2004. Electr. Notes Theor. Comput. Sci., vol. 116, pp. 145–156 (2004)
Heckel, R., Mariani, L.: Automatic conformance testing of web services. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 34–48. Springer, Heidelberg (2005)
Jard, C., Jéron, T.: TGV: theory, principles and algorithms. In: IDPT 2002, Society for Design and Process Science, Pasadena, California, USA (June 2002)
Meyer, B.: Applying design by contract. IEEE Computer 25(10), 40–51 (1992)
Object Management Group. UML 2.0 Superstructure Specification, ptc/03-08-02 edition. Adopted Specification
Orso, A., Harrold, M.J., Rosenblum, D.S.: Component metadata for software engineering tasks. In: Emmerich, W., Tai, S. (eds.) EDO 2000. LNCS, vol. 1999, pp. 129–144. Springer, Heidelberg (2001)
Polini, A., Bertolino, A.: A User-Oriented Framework for Component Deployment Testing. In: Testing Commercial-off-the-Shelf Components and Systems. Springer, Heidelberg (2005)
Tretmans, J.: Test Generation with Inputs, Outputs and Repetitive Quiescence. Software – Concepts and Tools 17(3), 103–120 (1996)
Tsai, W.T., et al.: Scenario-based web service testing with distributed agents. IEICE Transaction on Information and System E86-D(10), 2130–2144 (2003)
Tsai, W.T., et al.: Verification of web services using an enhanced UDDI server. In: Proc. of WORDS 2003, Guadalajara, Mexico, January 15-17, 2003, pp. 131–138 (2003)
XML Metadata Interchange (XMI) Specification ver. 2.0 (May 2003), http://www.omg.org/docs/formal/03-05-02.pdf
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
Bertolino, A., Frantzen, L., Polini, A., Tretmans, J. (2006). Audition of Web Services for Testing Conformance to Open Specified Protocols. In: Reussner, R.H., Stafford, J.A., Szyperski, C.A. (eds) Architecting Systems with Trustworthy Components. Lecture Notes in Computer Science, vol 3938. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11786160_1
Download citation
DOI: https://doi.org/10.1007/11786160_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-35800-8
Online ISBN: 978-3-540-35833-6
eBook Packages: Computer ScienceComputer Science (R0)