文章基本信息

标题：Test Case Generation of Web Service Composition based on CP-nets
本地全文：下载
作者：Wang, Yuying ; Yang, Ning
期刊名称：Journal of Software
印刷版ISSN：1796-217X
出版年度：2014
卷号：9
期号：3
页码：589-595
DOI：10.4304/jsw.9.3.589-595
语种：English
出版社：Academy Publisher
摘要：Web service composition is an error prone task. Basedon CP-nets (colored petri net)models, an approach of test case generation is proposed for webservice compositions coded in BPEL. In this approach the semanticof BPEL concurrence and some special features are well dealt. Firstly, BPELprocesses of a web service composition is translated into CP-nets models, then depth-firsttraversal works on the models immediately, and results in some sequence testpaths. Secondly, after these sequence test paths merged into program executable units (PEUfor short), the constraint set of these units is solved and filtered and formedinto test cases. Finally, anapplication of the approach is illustrated with anexample, which more efficiency shownwith 7 test units less than 9 test paths appeared in a reference for sameexample, 3 test cases far less than formal works.
关键词：web service composition;test case generation;CP-nets;state space explosion;BPEL.