Skip to Main Content
Web Services are popular solutions that have been in recent years to implement software in every business domain. They provide an effective way to reuse functionality, which reduces development time and cost, and increases software reliability. Software testing is a key issue of Web Services development in order to ensure quality of services. Software testing aims to discover faults or defects in software to determine where its behaviors do not correspond with software requirements or test case specifications. Software testing is used to evaluate functional correctness, reliability, robustness, and performance. 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.