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:  Bimonthly (Since 2020)
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, Google 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]

  • Jun 22, 2020 News!

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

  • Sep 13, 2021 News!

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

  • Jan 28, 2021 News!

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

  • Sep 13, 2021 News!

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