TY  - JOUR
T1  - CPN-based Test Case Generation Approach for Testing BPEL-based Web Services
Composition
AU - Hasan Mahmud, S.M. AU - Rashed Haider Noori, Sheak AU - Altab Hossin, Md AU - Jahan, Hosney 
JO  - Journal of Engineering and Applied Sciences
VL  - 14
IS  - 21
SP  - 7828
EP  - 7840
PY  - 2019
DA  - 2001/08/19
SN  - 1816-949x
DO  - jeasci.2019.7828.7840
UR  - https://makhillpublications.co/view-article.php?doi=jeasci.2019.7828.7840
KW  - test path generation
KW  -CPN
KW  -web service composition
KW  -BPEL
KW  -test data generation
KW  -test case
generation
AB  - 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.
ER  -