收藏本站
收藏 | 投稿 | 论文排版

状态图中基于事件约束的测试路径覆盖策略

杨献军  曾一  乔木  
【摘要】：　提出了一个在状态图中基于事件约束的测试路径覆盖策略,介绍了具有超态的状态图模型,定义了事件约束机制(S-CSPE),在此约束机制上给出了测试路径覆盖策略。最后给出了该策略与CSPE约束覆盖策略和Rapps-Weyuker路径覆盖标准的比较结果。

知网文化
【相似文献】
中国期刊全文数据库 前10条
1 侯广德;戎信云;张景书;;PASCAL语言动态测试工具PASTEST[J];应用科技;1991年03期
2 朱三元,宿为民;近期软件测试方法分析[J];计算机应用与软件;1992年05期
3 卢元坤;软件可靠性度量与逻辑覆盖测试的探讨[J];雷达与对抗;1995年02期
4 孙书韬,何新华,宫云战,王维锋;基于自由边控制流图的路径覆盖分析实现方法[J];装甲兵工程学院学报;1996年03期
5 王志言,刘椿年;一种路径覆盖的自动生成算法──剪枝法[J];计算机研究与发展;1998年02期
6 Derek Jones,赵曜;软件测试技术的发展[J];中文信息;1998年Z1期
7 白赣洪,张朝良,火清宁,朱鸿,郑国梁;一个支持软件需求测试任务分析方法的工具[J];计算机工程与应用;2000年03期
8 李天宇,孙洪彬,张素莉;定程序复杂度和路径覆盖的方法[J];长春工程学院学报(自然科学版);2001年04期
9 伦立军,丁雪梅,李英梅;路径覆盖自动生成技术研究[J];计算机工程与应用;2003年16期
10 伦立军,赵辰光,丁雪梅,李英梅;路径覆盖构造方法[J];计算机工程;2003年08期
中国重要会议论文全文数据库 前9条
1 陈静;;井间走时层析成像技术应用于岩体质量分析[A];1992年中国地球物理学会第八届学术年会论文集[C];1992年
2 姚华建;徐果明;;中国西北部地区及其邻域瑞利面波相速度频散分布[A];中国地球物理学会年刊2002——中国地球物理学会第十八届年会论文集[C];2002年
3 李文锋;徐拾义;;软件内建自测试中的测试数据生成方法[A];第十届全国容错计算学术会议论文集[C];2003年
4 万琳;张威;马雪雁;陈曼青;;基于路径的测试用例自动生成技术[A];第十届全国容错计算学术会议论文集[C];2003年
5 卢庆龄;张威;;代码覆盖分析技术研究[A];第十届全国容错计算学术会议论文集[C];2003年
6 杨艳芳;徐拾义;;基于BIST软件测试思想的单元测试框架的研究[A];第三届中国测试学术会议论文集[C];2004年
7 宣瑞卿;朱介寿;;中国及邻区勒夫面波层析成像[A];中国地球物理第二十一届年会论文集[C];2005年
8 孙勇成;江金龙;周献中;;基于遗传算法的仿真系统测试[A];2005中国控制与决策学术年会论文集（下）[C];2005年
9 冯梅;安美建;;中国大陆地壳和上地幔三维S_V波速结构[A];中国地球物理学会第22届年会论文集[C];2006年
中国博士学位论文全文数据库 前3条
1 李暾;VLSI RTL级模拟矢量自动生成技术研究[D];国防科学技术大学;2003年
2 史亮;测试数据自动生成技术研究[D];东南大学;2006年
3 马广英;OD矩阵反推策略及其在交通仿真系统中的应用[D];浙江大学;2006年
中国硕士学位论文全文数据库 前9条
1 王晓旭;软件测试的自动分析工具[D];中国科学院软件研究所;2001年
2 孙惠杰;软件测试研究及其应用[D];哈尔滨工程大学;2003年
3 程俊;浮点FFT的VHDL实现及HDL功能测试方法的研究[D];湖南大学;2004年
4 王雪莲;程序切片技术研究及其在软件测试数据生成中的应用[D];北京化工大学;2005年
5 李力峰;基于UML动态视图的测试模型及应用[D];苏州大学;2006年
6 林惠娟;基于遗传算法的测试用例自动生成技术研究[D];四川大学;2006年
7 张艳;对AOP程序进行单元测试的研究[D];上海交通大学;2007年
8 黄春晖;基于UML的集成测试方法研究[D];浙江大学;2007年
9 顾鹏;基于遗传算法的测试用例产生系统关键技术研究[D];华中科技大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978
订卡电话 400-819-9993
在线咨询 http://help.cnki.net
京ICP证040441号
京公网安备11010802020475号
违法和不良信息举报电话：400-062-8866
举报邮箱：jubao@cnki.net
©2022中国知网（CNKI）