基于BPEL的Web服务组合测试路径生成  

Test Path Generation of BPEL-based Web Service Composition

作　　者：徐克圣[1] 王兰 XU Kesheng;WANG Lan(Software Institute,Dalian Jiaotong University,Dalian 116028,China)

机构地区：[1]大连交通大学软件学院,辽宁大连116028

出　　处：《大连交通大学学报》2020年第2期94-99,共6页Journal of Dalian Jiaotong University

摘　　要：为更好地对服务组合展开测试,提出一种基于BPEL的Web服务组合测试路径的生成方法.首先对BPEL流程进行建模,以一种可扩展的控制流程图作为描述BPEL过程的形式模型.在此基础上,采用扩展后的数据流分析方法对所得控制流图进行分析,产生满足既定测试标准的测试路径.最后通过一个服务组合实例来说明模型及算法的有效性.解决了服务组合测试路径的自动生成并保证了测试的充分性.In order to test service composition better,a method of generating test paths for BPEL-based Web service composition is proposed.A model of the BPEL process is established,and an extensible control flow graph is used as the formal model to describe the BPEL process.Then,the extended data flow analysis method is used to analyze the extensible control flow graph to obtained the test paths that meet the established test criteria.An example of service composition is employed to illustrate the effectiveness of the model and algorithm.This method solves the automatic generation of test paths for service composition and ensures the adequacy of the test.

关 键 词：Web服务组合测试 测试路径 建模 数据流分析 BPEL 

分 类 号：TP393.09[自动化与计算机技术—计算机应用技术]