doi: 10.4304/jsw.9.3.589-595
Test Case Generation of Web Service Composition based on CP-nets
- 1 Science School, Xi’an University of Architecture and Technology, Xi'an, Shaanxi, China
- 2 The 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 oftest case generation is proposed for web service compositionscoded in BPEL. In this approach the semantic of BPELconcurrence and some special features are well dealt. Firstly,BPEL processes of a web service composition is translatedinto CP-nets models, then depth-first traversal works on themodels immediately, and results in some sequence test paths.Secondly, after these sequence test paths merged intoprogram executable units (PEU for short), the constraint setof these units is solved and filtered and formed into test cases.Finally, an application of the approach is illustrated with anexample, which more efficiency shown with 7 test units lessthan 9 test paths appeared in a reference for same example, 3test cases far less than formal works.
Keywords
- web service composition
- test case gener
How to Cite
Yuying Wang and Ning Yang, "Test Case Generation of Web Service Composition based on CP-nets," Journal of Software, vol. 9, no. 3, pp. 589-595, 2014. https://doi.org/ 10.4304/jsw.9.3.589-595
Copyright & License
Copyright © 2014 by the authors. This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited (CC BY 4.0).