服务组合BPEL测试序列生成研究

摘要：

为更好地对Web服务组合的控制流进行分析和验证,提出一种映射转换模型和测试序列生成算法.首先解析基于BPEL的Web服务组合流程描述文件,然后对流程描述文件进行图形化转换,形成业务流程编排控制流程图,再采用路径推导算法对控制流程图进行解析,获取基于BPEL的服务组合的所有测试执行路径,最后通过一个服务组合实例证明模型及算法的有效性.该方法解决了测试路径的自动生成和全覆盖问题,保证了测试的充分性,提高了路径生成效率.

关键词：Web服务、组合测试、映射转换、BPEL流程、组合路径

所属期刊栏目：44

分类号：TP311.5(计算技术、计算机技术)

资助基金：总装十二五预研513150502

在线出版日期：2017-04-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：203-207,225