| Service Oriented Architecture(SOA)organizes computing resources based on services,which has good interoperability and loose coupling.It also promotes the development of distributed computing and software technology.Web service is the main content of SOA,and Web service application has received extensive attention,but a single Web service can't meet the growing needs of users.It can solve this problem that integrat existing fine-grained services through a certain technology which can provides a more powerful service.BPEL(Business Process Execution Language)is such a language technology,written in XML,and also can be used to describe business behavior between Web services.In order to ensure the quality of the Web service composition,it is necessary to conduct comprehensive and sufficient testing.As the first stage of test,the role of generating test cases can not be underestimated,it depends on the development of test criteria.The most intuitive manifestation of the correctness of the service composition is that the expected output can be obtained for a particular input.The association between the definition and use of the variable is the best way to reflect the relationship between input and output.Therefore,using data flow coverage as a test criteria is directly effective in ensuring the correctness of the service composition.At present,most methods of generating test cases for service combination are directed to control flow,and there are not many studies on service composition test specifically against criteria of data flow.Therefore,this paper proposes a method of generating test cases for service composition against the ALL-USES criteria of data flow.The main work of the paper includes the following aspects:(1)An extended control flow graph EBFG(Extended BPEL Flow Graph)is proposed.It can well describe the BPEL process of service composition,and give a modeling method for transforming BPEL to EBFG;(2)Improve the traditional data flow analysis technology,use the improved method to analyze the data flow of the EBFG,and obtain the test paths and path constraints that meet the ALL-USES criterion;(3)Based on the test paths and constraints,complete the design of the genetic algorithm,use the genetic algorithm to generate effective test data for the service composition,and synthesize the test data,its covered test path and the expected output result into test cases,in the form of XML.(4)Complete the development of the tool Parse BPEL Tool simply,the tool supports BPEL modeling,data analysis,generate test data and test cases synthesis.The effectiveness of the proposed method in this paper is proved by a case study of a loan approval service composition. |
PDF Full Text Request