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: Monthly (2006-2019); Bimonthly (Since 2020)
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, Google Scholar, ProQuest, INSPEC, ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsw@iap.org
  • Dec 06, 2019 News!

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

  • Jun 22, 2020 News!

    Papers published in JSW Vol 14, No 1- Vol 15 No 4 have been indexed by DBLP     [Click]

  • Jun 22, 2020 News!

    The papers published in Vol 15, No 5 have all received dois from Crossref    [Click]

  • Aug 01, 2018 News!

    [CFP] 2020 the annual meeting of JSW Editorial Board, ICCSM 2020, will be held in Rome, Italy, July 17-19, 2020   [Click]

  • Jun 22, 2020 News!

    Vol 15, No 5 has been published with online version     [Click]