Authors : Hosney Jahan, S.M. Hasan Mahmud, Md Altab Hossin and Sheak Rashed Haider Noori
Abstract: Business Process Execution Language (BPEL) is an up-and-coming language which depicts the composition of web services in the structure of business processes. However, the interaction among the participating services can make the BPEL code significantly complicated. Therefore, it is necessary to find the interaction inconsistencies among the BPEL processes. Testing provides a solution to improve the quality of the BPEL code. The formal method that can handle all the requirements for testing BPEL-based web service composition is Colored Petri Net (CPN) which provides a strong mathematical background for the modeling, verification and testing of the BPEL structures. This study presents an approach to generate test cases for testing BPEL-based web services composition using CPN in an effective and feasible manner. Our approach combines a reachability graph and a control flow graph to generate feasible test cases by reducing the associated time cost. A prototype tool has been implemented based on our proposed approach and its validity is empirically evaluated with two case studies. The effectiveness of the prospective approach is measured in terms of its fault detection capability. Furthermore, the results of the proposed approach are compared with state-of-the-art approaches which demonstrates that the approach is both effective and feasible than existing approaches.
Hosney Jahan, S.M. Hasan Mahmud, Md Altab Hossin and Sheak Rashed Haider Noori, 2019. CPN-based Test Case Generation Approach for Testing BPEL-based Web Services Composition. Journal of Engineering and Applied Sciences, 14: 7828-7840.