BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach
Jun Yan, Zhongjie Li, Yuan Yuan, Wei Sun and Jian Zhang
17th International Symposium on Software Reliability Engineering (ISSRE 06)
Raleigh, North Carolina, USA, November 6-11, 2006
Abstract
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 also proposed to reduce the number of combined concurrent test paths. This method is modularized so that many test techniques such as various test criteria and complex constraint solvers can be applied. This method is proof-tested sound and efficient in experiments. It is also applicable to the testing of other business process languages with possible extension and adaption.