收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

BPEL的测试用例生成研究

曾云峰  周航  黄志球  
【摘要】:BPEL是能表达复杂的并发行为的一个语言,被用于描述Web服务的组合。提出一个算法来生成BPEL过程的单元测试用例。首先通过给定的转换规则把用BPEL描述的过程转换成BPEL流图(FGBPEL),然后提出CTP算法来生成测试用例。对提出的方法做适当的扩展,也可以运用到其它的业务过程处理语言中。

知网文化
【相似文献】
中国期刊全文数据库 前10条
1 李伟华,周兴社;实时并发软件的测试软件开发[J];西北工业大学学报;1995年03期
2 李伟华,康继昌;实时软件测试用例构造的充要策略研究[J];航空计算技术;1996年02期
3 奚红宇,徐红,高仲仪;Ada软件测试用例生成工具[J];软件学报;1997年04期
4 李伟华,康继昌;实时软件测试用例构造方法研究[J];微电子学与计算机;1997年05期
5 李伟华,王备战,李书书;实时软件测试用例构造方法研究[J];西北工业大学学报;1998年02期
6 陈雪松,陆民燕,阮镰;面向RT软件测试数据自动生成的输入变量分析[J];北京航空航天大学学报;2000年06期
7 陈雪松,陆民燕,阮镰;基于面向对象技术的实时软件可靠性测试数据生成方法研究[J];测控技术;2000年09期
8 郭健强;蔡希尧;;基于方法序列规范的测试用例生成[J];计算机科学;2000年01期
9 李留英;王戟;齐治昌;张猛;;PNFSM测试用例生成的研究[J];计算机科学;2000年09期
10 ;《计算机科学》2000年第27卷总目录[J];计算机科学;2000年12期
中国重要会议论文全文数据库 前5条
1 高建华;陈茹;;基于多层次功能模型的代价分析回归测试技术研究[A];第三届中国测试学术会议论文集[C];2004年
2 陈振华;王峰;;操作剖面与软件可靠性[A];2006年全国理论计算机科学学术年会论文集[C];2006年
3 黄萍;戴志华;;指控系统软件测评技术研究[A];中国造船工程学会电子技术学术委员会2006学术年会论文集(上册)[C];2006年
4 贲可荣;米磊;;一种基于UML活动图的软件可靠性测试用例生成方法[A];中国造船工程学会电子技术学术委员会2006学术年会论文集(下册)[C];2006年
5 朱睿;吴洁明;;XML技术在白盒测试中的应用[A];2007通信理论与技术新发展——第十二届全国青年通信学术会议论文集(上册)[C];2007年
中国博士学位论文全文数据库 前1条
1 刘玲;基于面向对象形式规格说明的测试用例生成技术[D];上海大学;2004年
中国硕士学位论文全文数据库 前10条
1 左咏露;面向对象软件测试及其方法研究[D];西安理工大学;2003年
2 季丽丽;基于UML状态图的测试用例自动生成研究[D];南京航空航天大学;2004年
3 乔木;基于状态图与Z的测试用例生成研究[D];重庆大学;2004年
4 吴啸鹏;[D];浙江大学;2005年
5 赵明;类状态测试用例自动生成方法与实现[D];西安理工大学;2004年
6 马伟;面向对象软件簇级测试用例自动生成方法与实现[D];西安理工大学;2005年
7 朱丹枫;一种用于测试编译优化的程序控制结构生成算法[D];中国科学院研究生院(软件研究所);2005年
8 乐鑫喜;基于退火遗传算法的测试用例自动生成[D];武汉理工大学;2005年
9 吕格峰;基于功能对象的测试用例生成模型研究与实现[D];湖南大学;2005年
10 胡玉鹏;基于混合试策略的面向对象程序测试用例生成研究[D];湖南大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978