BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach

Download Now
Provided by: Graduate University of the Chinese Academy of Sciences
Topic: Big Data
Format: PDF
BPEL is a language that could express complex concurrent behaviors. This paper presents a novel method of BPEL test case generation, which is based on concurrent path analysis. This method first uses an Extended Control Flow Graph (XCFG) to represent a BPEL program, and generates all the sequential test paths from XCFG. These sequential test paths are then combined to form concurrent test paths. Finally a constraint solver BoNuS is used to solve the constraints of these test paths and generate feasible test cases.
Download Now

Find By Topic