Research On WS-BPEL Test Case Generation Based On BCCFG

Web Services provide the uniform interfaces and invocation patterns for services on networks. And the purpose of service compositions is reusing existing services to generate new services in SOA. Service compositions are to promote the continued development of technologies for Web Services. Currently, most of academic researches of service compositions focus on description of service compositions and collaboration mechanisms between them. As the development of service compositions, the quality is becoming more and more important. WS-BPEL is a widely used criterion in service compositions, but the current research of WS-BPEL's structural testing can't completely express the complex semantics of its concurrency structure and synchronization structure. Our research on test case generation of WS-BPEL effectively deals with WS-BPEL's special concurrency and synchronization.A testing model called BCCFG is presented, which can describe the WS-BPEL process. It can describe the concurrency and synchronization of WS-BPEL, and explicitly express the complicated semantics, such as Dead-Path-Elimination, the disposal of links in the nonperformance activity, and so forth. We present the transformation rule from WS-BPEL to BCCFG, some testing coverage criteria to give instruction for selection of test cases and propose a test path generation algorithm of concurrency-path coverage criterion and a test path hierarchical generation algorithm.Based our research of the WS-BPEL test path generation and the research of test data generation, a test case generation tool based on BCCFG is designed, which automatically generates test cases from WS-BPEL, including test path and test data, restores test cases in XML files which can be used for automatic analysis and execution by other WS-BPEL testing execution tools.