An Improved Test Case Generation Method for Web Service Testing from WSDL-S and OCL with Pair-wise Testing Technique

abstract

We describe a Web Service contract with a Web Service Semantics Language (WSDL-S) and the Object Constraint Language (OCL).WSDL-S can be used to identify pre- and post- conditions of Web Service operation by referring service rule from OCL. This paper presents an approach for generating Web Service test cases using WSDL-S and OCL, while test case generation method is a pair-wise testing technique.

new words:daunting 令人敬畏，cumulative  累积的，coincide 与...一致,符合,暗合，pertinent  相关的,中肯的,切题的

related work

Our main categories of generating Web Service test cases are generating Web Service test cases by using
WSDL [2, 4, 7, 10] and generating Web Service test cases by adding information from WSDL [1, 3, 5, 6, 8,
9]. Bertolino et al [7, 10] proposed generating Web Service test cases by analyzing XML schema
documents that are specified in WSDL. Siblini et al [4] proposed applying the mutation testing technique to
WSDL standard for testing Web Services. He identified nine mutation operators; STCE, STCA,OTCE, OTCA, STEN, STSE, STSA, SMP, and SPM.The first six mutation operators are used to mutate the Types element of WSDL. SMO mutation operators are used to mutate the Messages element. Finally, SPM mutation operators are used to mutate the PortType element. Tsai et al [6, 9] proposed generating Web Service test cases by adding information from WSDL standard: input-output dependency, invocation sequences, hierarchical functional description, and
sequence specifications. They defined a method where a test engine can retrieve information which is
necessary for generating Web Service test cases.

Explicit descriptions of pre- and post- conditions of a Web Service operation can be accomplished using either the Semantic Web Rule Language (SWRL) or the Object Constraint Language (OCL).

Semantic Web Services
The Semantic Web Service [16-20] is one paradigm to implement Web Services. This paradigm models implement the behavior of the service, and represent a contract governing the meaning and purpose of the interaction. W3C have presented a Web Service Semantics language (WSDL-S) to define a mechanism to associate semantic annotations with Web Services. WSDL-S represents the capabilities of Web Services by associating a semantic description to the Web Service in order to enable automatic search, discovery, selection, composition, and integration across heterogeneous users and domains.

Example
This paper presents the results of two Web Service examples, RectangleType, and IncreaseDate. We
evaluate the efficiency of Web Service test cases via mutation testing.

References
[1] S. Hanna and M. Munro, "Fault-Based Web
Services Testing," in Proceedings of the 5th
International Conference on Information
Technology: New Generations, 2008, pp. 471-
476.
[2] X. Bai, W. Dong, W.-T. Tsai, and Y. Chen,
"WSDL-based automatic test case generation for
Web services testing," in Proceedings of the IEEE
International Workshop on Service-Oriented
System Engineering, 2005, pp. 207-212.
[3] S. Noikajana and T. Suwannasart, "Web Service
Test Case Generation Based on Decision Table,"
in Proceedings of the 8th International
Conference on Quality Software, 2008, pp. 321-
326.
[4] R. Siblini and N. Mansour, "Testing Web
services," in Proceedings of the 3rd ACS/IEEE
International Conference on Computer Systems
and Applications, 2005, p. 135.
[5] M. Hong and Z. Lu, "A framework for testing
Web services and its supporting tool," in
Proceedings of the IEEE International Workshop
Service-Oriented System Engineering, 2005, pp.
199-206.
[6] W. T. Tsai, R. Paul, Y. Wang, C. Fan, and D.
Wang, "Extending WSDL to facilitate Web
services testing," in Proceedings of the 7th IEEE
International Symposium on High Assurance
Systems Engineering, 2002, pp. 171-172.
[7] A. Bertolino, G. Jinghua, E. Marchetti, and A.
Polini, "Automatic Test Data Generation for
XML Schema-based Partition Testing," in
Proceedings of the 2nd International Workshop
on Automation of Software Test, 2007, p. 4.
[8] S. Noikajana and T. Suwannasart, "An Approach
for Web Service Test Case Generation Based on
Web Service Semantics," in Proceedings of the
International Conference on Semantic Web and
Web Services, 2008, pp. 171-177.
[9] W. T. Tsai, R. Paul, W. Song, and Z. Cao,
"Coyote: an XML-based framework for Web
services testing," in Proceedings of the 7th IEEE
International Symposium on High Assurance
Systems Engineering, 2002, pp. 173-174.
[10] A. Bertolino, J. Gao, E. Marchetti, and A. Polini,
"TAXI--A Tool for XML-Based Testing," in
Proceedings of the 29th International Conference
on Software Engineering - Companion, 2007, pp.
53-54.
[12] D. Wenli, "Test Case Reduction Technique for
BPEL-based Testing," in Proceedings of the 2008
International Symposium on Electronic
Commerce and Security, 2008, pp. 814-817.