Study On Ocl-based Testing Methodology For Web Services

Service Oriented Architecture (SOA) has become the major trend for developing Web-based distributed systems recently. As a form of SOA, Web services have been deployed more and more widely. So, the quality of web services has become an important aspect of people's attention. Once a Web service has a serious problem in the quality, it will damage and harm its users incalculably. Therefore, it is necessary to evaluate the quality of Web service. Web service testing is an effective way to ensure the quality of Web service. However, manual testing is a time-consuming task. In fact, the automated testing technology can replace the manual testing which is tedious, time-consuming and error-prone. The automated testing can test Web service quickly and completely and can improve the software quality, save the testing cost and improve the testing efficiency greatly. However, due to the characteristics of Web services, some problems of automated testing research remain unresolved. A major difficulty is the method and technology for generating test cases.In this paper, we try to solve this issue. We first studied the current research trends of web service testing both at home and abroad. After introducing Web service, Web service testing, Object Constraint Language as well as their relevant theory and technologies, the paper give an in-depth study of the problems about automatic test case generation. We proposed an automated testing method for Web service which is based on Object Constraint Language (OCL). We describe Web service with OCL, mainly including pre-conditions and post-conditions description, and parse the input parameters type in the WSDL document and pre-conditions and post-conditions description in OCL document, and then make use of the equivalence class partition and boundary value analysis method to generate test cases automatically for automated testing. With above ideas, this paper give an in-depth analysis of OCL, and extend WSDL model with OCL based on the SAWSDL framework, Then, this paper studied the methods and techniques of automatic testing for Web service based on the extended model.Finally, this paper developed an OCL-based Web service testing prototype system and implemented experimental verification. The experimental results show that this method can generate the Web service test cases effectively which can improve the quality and efficiency of Web service testing.