Research On Generation Technology Of Web Service Test Cases Based On Algebraic Conventions

Test case generation plays a key role in automatic testing for Web services.Existing testing technology based on algebraic specifications is to perform the creating,resetting or copying operations on the service under test.However,the third-party services do not support such operations,so it is difficult to transform test cases into executable sequences of operations.A solution to this problem is to transform a test case into a linear sequence of operations without initialization that only applies to one instance of service under test,which is called monic testing technique.The technique uses the test execution graph(TEG)to describe the test case execution process and generates an executable monic test sequence based on the TEG.In this paper,we study the test case generation method for Web service based on algebraic specifications,and improve the existing monic test sequence generation method to solve the existing problem,and further use the term graph rewriting technology to perform monic transformation processing on non-monic test sequence.This thesis mainly includes the following three aspects:1.To solve the problem of monic test sequence generation of invertible floating terms,a concept named partial invertible sort is proposed,and the test execution graph(TEG-I)is used to accurately describe the execution process of the floating test case and the state change during the execution of the test case based on our existing work,including the recovery process after the execution of the invertible floating term in the test case.Based on this,we design the TEG-I construction algorithm and the improved monic test sequence generation algorithm.2.We propose a monic transformation technique for non-monic test cases which combines TEG-I on the basis of term rewriting technology to transform a TEG-I of the non-monic test cases into a monic TEG-I using the term graph rewriting technology based on the standard term graph.Combining with the VF2 subgraph isomorphism algorithm,we give the monic conversion algorithm of TEG-I.3.We develop the monic test sequence generation prototype tool based on Java and SSM framework,and report two case studies on Stack and online medical system,and compare with the test case generation method based on the extended finite state machine.The experimental results show that the proposed method can automatically generate the monic test sequence and improve the testability of Web services.