Test Case Reduction Technique for BPEL-based Testing

Testing is necessary for evaluating the functional correctness, performance and reliability. The BPEL-based Web service composition having a large number of input parameters and the assigned values of individual parameters, the number of corresponding combination of input parameters is huge. A method needs to be established in order to limit the number of test cases and reduce space- and time-consuming. A reduction technique based on pair-wise combination of input parameters is presented in this paper. Relationship between BPEL (Business Process Execution Language) concepts and HPN (high-level Petri nets) is analyzed. After translation, the equivalent HPN of the Web service composition based on BPEL can be verified on existing mature tool according to the steps to reduce the size of test suite discussed in this paper. The method base on above technique can efficiently limit the number of test cases and reduce space- and time-consuming in theory and in practice.