| Web services play a significant role by providing a standardized way of integrating web-based applications.However,the capability of a single service is not sufficient to meet the user's requirement and it is desirable to create new value-added services by combining the existing web services together,which has triggered the notion of web services composition.Business Process Execution Language(BPEL)is a promising language which describes the composition of web services in the form of business processes.Since the interaction among the participating services makes the BPEL structure significantly complicated,it is necessary to find the interaction inconsistencies among the BPEL processes.In addition to validating the process modules,it is desirable to test the correctness with respect to the functional requirements.Testing provides a solution to improve the quality of the BPEL code.The formal method that can handle all the requirements for testing BPEL-based web service composition is Colored Petri net(CPN)which provides a strong mathematical background for the modeling,verification and testing of the BPEL structures.This thesis proposes an approach to generate test cases for BPEL-based web service composition using CPN in an effective and feasible manner.Our approach combines a reachability graph and a control flow graph to generate feasible test cases by reducing the associated time cost.After transforming the BPEL processes into a CPN model,we construct a reachability graph from the model to get all the reachable states.Then a control flow graph is constructed from the reachability graph applying proposed rules to investigate test paths.Finally,test data are generated by solving the constraints of the test paths.A prototype tool has implemented the proposed approach and it is applied on two case studies,demonstrating that the approach is both effective and feasible. |
PDF Full Text Request