Volume 9 Number 3 (Mar. 2014)
Home > Archive > 2014 > Volume 9 Number 3 (Mar. 2014) >
JSW 2014 Vol.9(3): 589-595 ISSN: 1796-217X
doi: 10.4304/jsw.9.3.589-595

Test Case Generation of Web Service Composition based on CP-nets

Yuying Wang1, Ning Yang2
1Science School, Xi’an University of Architecture and Technology, Xi'an, Shaanxi, China
2The School of Automation, Northwestern Polytechnical University, Xi'an, Shaanxi, China

Abstract—Web service composition is an error prone task. Based on CP-nets (colored petri net) models, an approach of test case generation is proposed for web service compositions coded in BPEL. In this approach the semantic of BPEL concurrence and some special features are well dealt. Firstly, BPEL processes of a web service composition is translated into CP-nets models, then depth-first traversal works on the models immediately, and results in some sequence test paths. Secondly, after these sequence test paths merged into program executable units (PEU for short), the constraint set of these units is solved and filtered and formed into test cases. Finally, an application of the approach is illustrated with an example, which more efficiency shown with 7 test units less than 9 test paths appeared in a reference for same example, 3 test cases far less than formal works.

Index Terms—web service composition, test case generation, CP-nets, state space explosion, BPEL.


Cite: Yuying Wang, Ning Yang, "Test Case Generation of Web Service Composition based on CP-nets," Journal of Software vol. 9, no. 3, pp. 589-595, 2014.

General Information

ISSN: 1796-217X (Online)
Frequency:  Quarterly
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, CNKIGoogle Scholar, ProQuest, INSPEC(IET), ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsw@iap.org
  • Apr 26, 2021 News!

    Vol 14, No 4- Vol 14, No 12 has been indexed by IET-(Inspec)     [Click]

  • Nov 18, 2021 News!

    Papers published in JSW Vol 16, No 1- Vol 16, No 6 have been indexed by DBLP   [Click]

  • Dec 24, 2021 News!

     Vol 15, No 1- Vol 15, No 6 has been indexed by IET-(Inspec)   [Click]

  • Nov 18, 2021 News!

    [CFP] 2022 the annual meeting of JSW Editorial Board, ICCSM 2022, will be held in Rome, Italy, July 21-23, 2022   [Click]

  • Nov 25, 2022 News!

    Vol 17, No 6 has been published with online version     [Click]