Extending WSDL to facilitate Web services testing

Web services might be the most popular and powerful software development technology in today's software world. Yet it brings software developers and testers a lot of challenges also. This is mainly caused by the insufficient information provided by the WSDL file of a Web service. From the WSDL file, we can not get the information useful for testing, such as dependence information. To solve this problem, we proposed and practiced to extend the WSDL to support this kind of information description. In this paper, four kinds of extension are considered: input-output dependency, invocation sequence, hierarchical functional description and concurrent sequence specifications. Also their advantages are discussed.

[1]  Raymond A. Paul,et al.  Augmenting sequence constraints in Z and its application to testing , 2000, Proceedings 3rd IEEE Symposium on Application-Specific Systems and Software Engineering Technology.

[2]  Wei-Tek Tsai,et al.  Specifying timing constraints in real-time object-oriented systems , 1996, Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076).

[3]  Raymond A. Paul,et al.  Adaptive scenario-based object-oriented test frameworks for testing embedded systems , 2002, Proceedings 26th Annual International Computer Software and Applications.

[4]  Wei-Tek Tsai,et al.  Testing extensible design patterns in object-oriented frameworks through scenario templates , 1999, Proceedings. Twenty-Third Annual International Computer Software and Applications Conference (Cat. No.99CB37032).

[5]  Wei-Tek Tsai,et al.  Method Sequence Specification and Verification of Classes , 1994, Journal of object-oriented programming.