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