Research On Integration Technology Of Service Oriented Application Testing Tool

Service Oriented Architecture (SOA), it is a kind of new paradigm can support the distributed computing, and Web service is one of the concrete forms of this service oriented architecture. According to the dynamic characteristics and distributed characteristics of Web service, the Web service composition is very effective in the assembly of heterogeneous services in the multiple distributed network of cross platform, to achieve a variety of information sharing among heterogeneous services, eventually formed the Web service flow has strong function to adapt to complex enterprise network environment now. However, in a complex network environment, how to find the serious problems existing in the Web service system before the Web service system was put into operation, how to ensure access to a trusted service in Web service system in distributed, ensure the correctness of service after the line, the testing of the service is crucial. If accordance with the traditional testing methods, it must be exhaustive testing respectively for each sub service, and to prepare the corresponding test sets for each sub service. If the number of subsystems in the system is very big, testing will become very time-consuming. Use the LOTOS modeling language to describe the Web service system with distributed characteristics is a very effective way, first of all use the formal methods to describe the Web service composition system, and then do the modeling test for the above model, through property verification to narrow down the problem domain, to find specific possible defect in service to do the test, to realize the combination of model checking and testing can efficiently guarantee the reliability of service.Hybrid method of model-checking and testing is a significantly method to ensure the reliability of service, a formal modeling language LOTOS modeling for BPEL process after the composition of Web service, use the model checker Evaluator provided by CADP tool to validate the LOTOS model, through inspection by attributes to narrow down the problem domain, at last the TTCN3test description language to meet the test case of model checking based on counterexample, complete the testing work. LOTOS modeling Web services composition and TTCN3Abstract test suite generation based on model checking counterexample and corresponding WSDL description of service are the two difficulties of model checking and testing of hybrid methods.This paper presents model checking and testing hybrid method, and presents the test process of the combination of model checking and testing. First must to model the WEB service composition to realize the test process. In order to ensure the meaningful of the counterexample based on model checking test. Must solve the counterexample generated in model test of the LOTOS model lack of testing data. It proposes the LOTOS complex data type expansion method and the method for generating the testing data in the process of LOTOS modeling in service which lead to the TTCN3Abstract test suite based on model checking counterexample can have test data. In this paper, based on LOTOS modeling and automatic generation of TTCN3test set of model checking counterexample based on previous work, realize the combination of model checking and testing. And integrate the existing tools.Finally, combined with the Web service instance, verify the feasibility test procedure.