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.

[PDF]

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: jsweditorialoffice@gmail.com
  • Mar 01, 2024 News!

    Vol 19, No 1 has been published with online version    [Click]

  • 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]

  • Jan 04, 2024 News!

    JSW will adopt Article-by-Article Work Flow

  • Nov 02, 2023 News!

    Vol 18, No 4 has been published with online version   [Click]