基于UML状态图测试的充分性准则

【摘要】：本文描述了基于UML状态图生成测试用例的充分性准则。在测试时,循环被执行一次是很不充分的,本文提出了使循环分别执行0次、1次、2次,即ZOT循环覆盖准则,在此基础上本文还提出了全ZOT路径覆盖准则,并给出了这些覆盖准则的应用,讨论了这些覆盖准则之间的包含关系。

下载App查看全文

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

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

中国期刊全文数据库

前20条

1	李晓庆;崔健;蔡立志;;基于UML状态图的软件测试研究[J];计算机工程;2011年18期
2	;[J];;年期
3	;[J];;年期
4	;[J];;年期
5	;[J];;年期
6	;[J];;年期
7	;[J];;年期
8	;[J];;年期
9	;[J];;年期
10	;[J];;年期
11	;[J];;年期
12	;[J];;年期
13	;[J];;年期
14	;[J];;年期
15	;[J];;年期
16	;[J];;年期
17	;[J];;年期
18	;[J];;年期
19	;[J];;年期
20	;[J];;年期

中国重要会议论文全文数据库

前7条

1	林羚;卢江;赵瑞莲;;基于UML状态图的MM路径形式化表示及生成[A];第四届中国测试学术会议论文集[C];2006年
2	战茅;李冬红;宗建建;;构件可测试性的评估[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
3	周傲;王雅文;宫云战;;基于区间缩减的自动化打桩技术研究[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
4	李震;刘斌;殷永峰;李晓勋;;基于改进Petri网的可信软件模型验证和测试研究[A];第六届中国测试学术会议论文集[C];2010年
5	王倩;尤枫;赵瑞莲;;一种二叉树结构型测试数据自动生成方法[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
6	王晓峰;赵瑞莲;;面向对象软件和EFSM规范测试覆盖准则比较[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
7	任雁;田婕;孙辉;周永;;混成系统测试研究综述[A];2011年通信与信息技术新进展——第八届中国通信学会学术年会论文集[C];2011年

中国博士学位论文全文数据库

前10条

1	刘玲;基于面向对象形式规格说明的测试用例生成技术[D];上海大学;2004年
2	钱忠胜;基于模型的Web应用测试用例生成方法[D];上海大学;2008年
3	卢超;并发软件测试理论与技术研究[D];华中科技大学;2007年
4	谢晓东;基于模型比较的软件测试用例生成方法研究[D];华中科技大学;2007年
5	曾红卫;Web应用的验证与测试方法研究[D];上海大学;2008年
6	占学德;基于UML statecharts测试方法的研究[D];上海大学;2005年
7	李良明;基于动态行为模型的构件及组装测试的研究[D];南京航空航天大学;2010年
8	马良荔;基于元数据的构件集成测试技术研究[D];华中科技大学;2006年
9	刘攀;基于FSM的测试用例生成和测试优化[D];上海大学;2011年
10	姚香娟;复杂软件测试数据进化生成理论及应用[D];中国矿业大学;2011年

中国硕士学位论文全文数据库

前10条

1	袁翠;基于UML状态图的测试生成研究[D];华中师范大学;2009年
2	杜秀娟;基于UML状态图的软件测试用例生成方法研究[D];长安大学;2008年
3	尚建强;计算机测试方法的研究与应用[D];西安电子科技大学;2008年
4	段方;基于扩充的UML状态图的类测试方法研究[D];大连理工大学;2005年
5	张保国;基于UML Statechart图的软件测试用例自动生成技术研究[D];湖南大学;2004年
6	王震;软件测试用例自动生成系统研究开发[D];西安理工大学;2005年
7	陈必泉;基于UML状态图的嵌入式实时软件测试用例生成方法研究[D];暨南大学;2005年
8	季丽丽;基于UML状态图的测试用例自动生成研究[D];南京航空航天大学;2004年
9	黄志华;基于规格说明的测试用例生成方法及其在实时嵌入式软件测试中的应用[D];新疆大学;2005年
10	徐艳丽;基于Petri网的软件测试模型的构造及其建模工具的研究[D];西安理工大学;2006年

	快捷付款方式		订购知网充值卡	订购热线	帮助中心
	微信支付支付宝银行卡	知网卡在线购卡更多>>	免费送卡上门银行汇款购卡邮局汇款购卡	400-819-9993 010-62982499 010-62783978	常见问题在线咨询阅读器下载	充值中心知网卡新手指南