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

发布时间：2018-10-25 13:01

【摘要】：为更好地对Web服务组合的控制流进行分析和验证,提出一种映射转换模型和测试序列生成算法。首先解析基于BPEL的Web服务组合流程描述文件,然后对流程描述文件进行图形化转换,形成业务流程编排控制流程图,再采用路径推导算法对控制流程图进行解析,获取基于BPEL的服务组合的所有测试执行路径,最后通过一个服务组合实例证明模型及算法的有效性。该方法解决了测试路径的自动生成和全覆盖问题,保证了测试的充分性,提高了路径生成效率。
[Abstract]:In order to better analyze and verify the control flow of Web service composition, a mapping transformation model and test sequence generation algorithm are proposed. Firstly, the Web service composition process description file based on BPEL is analyzed, then the process description file is graphically transformed to form the business process choreography control flowchart, and then the path derivation algorithm is used to analyze the control flow chart. All the test execution paths of service composition based on BPEL are obtained. Finally, a service composition example is given to prove the validity of the model and algorithm. This method solves the problem of automatic generation and full coverage of test path, ensures the adequacy of test, and improves the efficiency of path generation.
【作者单位】： 江苏自动化研究所;
【基金】：总装十二五预研(513150502)资助
【分类号】：TP393.09

【参考文献】

相关期刊论文 前3条

1 余波;;应用Petri网改进BPEL程序的正确性[J];计算机应用研究;2011年09期

2 骆翔宇;谭征;苏开乐;吴立军;;一种基于认知模型检测的Web服务组合验证方法[J];计算机学报;2011年06期

3 孙琳;刘久富;杨振兴;;基于Petri网的软件测试用例生成方法[J];计算机测量与控制;2010年09期

相关硕士学位论文 前1条

1 牟小玲;基于扩展着色Petri网的服务组合测试研究[D];西南大学;2012年

【共引文献】

相关期刊论文 前10条

1 张亚;;服务组合BPEL测试序列生成研究[J];计算机科学;2017年01期

2 张莉;杨淑贞;杨浩;;RGPS服务层元模型正确性验证[J];软件导刊;2016年12期

3 扣彦敏;王俊峰;薛霄;;集群协同制造服务组合策略的比较研究[J];计算机工程;2016年12期

4 李靖;崔仲远;;基于服务分组和调用轨迹的Web服务组合验证方案[J];现代电子技术;2016年05期

5 王榕;张敏;冯登国;李昊;;数据库形式化安全策略模型建模及分析方法[J];通信学报;2015年09期

6 上超望;刘清堂;王艳凤;;组合Web服务业务流程访问控制技术研究综述[J];计算机科学;2015年07期

7 沈华;何炎祥;张明武;;基于Petri网的Web服务组合验证方法[J];计算机科学;2015年04期

8 许兴旺;骆翔宇;;基于MAS模型检测与抽象的Web服务验证[J];计算机工程;2015年03期

9 马昌威;马洪江;;基于接口自动机的混合Web服务组合方法[J];计算机应用;2014年06期

10 杨静雅;孙林夫;王淑营;;面向汽车产业链协同平台的配件库存信息动态集成技术[J];计算机应用研究;2014年04期

相关硕士学位论文 前3条

1 苏萌;基于有色Petri网的语义Web服务组合的验证与测试方法[D];内蒙古农业大学;2014年

2 单继城;军事信息服务混合工作流模型研究[D];国防科学技术大学;2013年

3 刘哲;基于扩展有色Petri网的组合Web服务的在线测试[D];中南大学;2013年

【二级参考文献】

相关期刊论文 前7条

1 李景霞;程久军;;Web服务组合的层次颜色Petri网描述模型[J];计算机工程;2009年24期

2 王俊杰;张波;王红园;权巍;;基于运行剖面的测试用例自动生成方法[J];计算机测量与控制;2008年11期

3 马亮;张刚;;测试用例自动生成方法的现状及研究[J];现代电子技术;2008年06期

4 金虎;李志蜀;张磊;李宝林;李勇军;;基于面向路径的遗传算法的测试用例自动生成[J];计算机工程;2007年03期

5 张毅坤,施凤鸣,姚全珠,刘军,付长龙;基于UML状态图的类测试用例自动生成方法[J];计算机工程;2003年21期

6 曾成碧,陈光;可达树分析法及其在测试中的应用[J];电子科技大学学报;1999年05期

7 蒋昌俊,吴哲辉;Petri网的标注可达树[J];软件学报;1993年06期

相关硕士学位论文 前4条

1 吴道华;基于着色Petri网的测试用例生成及其在列控系统中的应用[D];北京交通大学;2010年

2 冯细光;基于OCL的Web服务测试方法研究[D];湖南科技大学;2010年

3 郭艳;基于BPEL的Web服务组合建模工具的研究与实现[D];西北大学;2009年

4 张羽丰;面向服务的Web服务测试框架研究与实现[D];国防科学技术大学;2008年

【相似文献】

相关期刊论文 前10条

1 孙洁丽;龚立群;;Web服务组合标准规范的研究[J];现代图书情报技术;2007年05期

2 万里平;蔡美玲;高春鸣;;基于服务联盟的Web服务组合模型及方法[J];计算机工程与应用;2007年31期

3 郭峰;张萌;;Web服务组合的可靠性分析[J];系统仿真学报;2008年S2期

4 程永上;王志坚;;Web服务组合在水利领域中的应用[J];计算机工程与应用;2008年07期

5 陈世展;冯志勇;;服务网络:Web服务组合的新基点[J];计算机应用研究;2008年05期

6 刘志红;;Web服务组合的相关研究[J];农业科技与装备;2009年01期

7 熊伟;;Web服务组合综述[J];信息化纵横;2009年05期

8 曾伟;胡W，

本文编号：2293763