BPEL的测试用例生成研究

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

下载App查看全文

下载全文更多同类文献

PDF全文下载

CAJ全文下载

(如何获取全文？欢迎：购买知网充值卡、在线充值、在线咨询)

CAJViewer阅读器支持CAJ、PDF文件格式，AdobeReader仅支持PDF格式

	【相似文献】
	【相似文献】

中国期刊全文数据库

前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	常见问题在线咨询阅读器下载	充值中心知网卡新手指南