Sciweavers

ISSRE
2006
IEEE

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

13 years 9 months ago
BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach
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. Some techniques are proposed to reduce the number of combined concurrent test paths. Some test criteria derived from traditional sequential program testing are also presented to reduce the number of test cases. This method is modularized so that many test techniques such as various test criteria and complex constraint solvers can be applied. This method is tested sound and efficient in experiments. It is also applicable to the testing of other business process languages wi...
Jun Yan, Zhong Jie Li, Yuan Yuan, Wei Sun, Jian Zh
Added 12 Jun 2010
Updated 12 Jun 2010
Type Conference
Year 2006
Where ISSRE
Authors Jun Yan, Zhong Jie Li, Yuan Yuan, Wei Sun, Jian Zhang
Comments (0)