论文部分内容阅读
为更好地对服务组合展开测试,提出一种基于BPEL的Web服务组合测试路径的生成方法.首先对BPEL流程进行建模,以一种可扩展的控制流程图作为描述BPEL过程的形式模型.在此基础上,采用扩展后的数据流分析方法对所得控制流图进行分析,产生满足既定测试标准的测试路径.最后通过一个服务组合实例来说明模型及算法的有效性.解决了服务组合测试路径的自动生成并保证了测试的充分性.