Research On Model Checking Based Testing Method For Web Services

Web services is a new technology. Different applications, which achieved by WebService specification, can send data to each other no matter what language, platform, or internal protocols. Just because the Web service has the characteristics of this language-independent, platform independence, we need to verify the consistency and adaptability of the Web service composition. We must verify and test service according to the functional requirements of the service before calling service. And the statute also may change as business requirements change, which makes the quality of service be a certain degree of uncertainty. Therefore, we need test the services dynamicly after doing logical verification for the service.SOA (Service Oriented Architecture), ie, service-oriented architecture, is a new paradigm supporting distributed computing. Web services is such a structure one of the forms. Web services can also be called a software. Therefore, the testing of Web service is a new challenge for software testing. Due to the special nature of Web services, Web services testing can no longer use the traditional software testing techniques. We need to research the new test methods and techniques for Web services, which provide strong support for service software in functionality, performance, reliability and quality.Model checking technology in combination with Web services testing, have become a hot topic of Web services field. This paper presents one testing method based on the results of model checking. We make the output of the model checker EVALUATOR as the basis for test case selection, and gives specific method for test cases selection,also the algorithm to achieve procedures. Then the paper gives the automatic conversion process between WSDL description and TTCN-3abstract test suite, i.e, server-side automatic generation of abstract test suite. Aslo give the algorithm of automatic generation. We execute test cases on the client-side, i.e, on the laboratory test platform. And provide the implementation of codecs and adapters required when testing Web Service. The end of the article verify the feasibility of this method, and further illustrates the Web service testing process based on TTCN-3with three Web Service examples.