Research On Web Service Test Execution Technology Based On Algebraic Protocol

With the wide acceptance of service oriented computing by the industry,the past years have seen a rapid growth of research on testing Web Services.Especially,automated testing of third party services during service dynamic discovery and composition has been an active research area.A significant progress has been made in automatically generating test cases from formal algebraic specifications and automatically checking the correctness of test results against formal specifications of web services.However,how to automatically execute test cases on dynamically discovered web services is still an unsolved open problem.A consequence of the existence of multiple competing approaches to implement Web services is that the automated testing tool has to deal with ad hoc interfaces of the third party web services.It is a non-trivial technical challenge.This paper optimised linear sequential test cases generation algorithm and proposed a test execution engine,which implements a test service invocation mechanism that applies to both the so-called Big Web Services,which are based on WSDL and SOAP standards,and the so-called RESTful web services,which are based directly on the REST architecture of HTTP2.Moreover,the test execution engine also parallelizes linear sequential test cases to generate concurrent test scripts to improve the efficiency of test executions.We also implement a prototype tool of the test execution engine using java,and report Stack service and Nongfenqi loan service to demonstrate that the proposed framework and tool are feasible and efficient.