Toward a Constraint Based Test Case Generation of Parallel BPEL Process

摘要

Business Process Execution Language (BPEL) offers the possibility to implement customized business processes in a record time. Testing is crucial to ensure the quality of BPEL process. The aim of this paper is to propose a constraint based approach to test parallel BPEL process. In our work, we propose an algorithm to transform a parallel BPEL process into a Parallel Control Flow Graph (PCFG), we augment PCFG with pre and post conditions, and we drive then a suite of feasible test cases.