...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of Computers >Test Case Generation of Web Service Composition based on CP-nets
【24h】

Test Case Generation of Web Service Composition based on CP-nets

机译：基于CP-net的Web服务组合的测试用例生成

获取原文
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

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.
机译：Web服务组合是容易出错的任务。基于CP-net（彩色Petri网）模型，提出了一种用BPEL编码的Web服务组合的测试用例生成方法。用这种方法可以很好地处理BPELconcurrence的语义和一些特殊功能。首先，将Web服务组合的BPEL流程转换为CP-nets模型，然后立即对模型进行深度优先遍历，并产生一些顺序测试路径;其次，在这些顺序测试路径合并为程序可执行单元（简称PEU）之后。最后，通过一个示例说明了该方法的应用，其中，在7个测试单元中，效率提高了9个测试路径，而在3个测试用例中，远远少于正式作品。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号