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

单元覆盖测试中基于区间运算的路径选择方法

王思岚  王雅文  宫云战  
【摘要】:单元覆盖测试的目标是达到尽可能高的覆盖率。根据覆盖准则选取目标覆盖元素,并针对目标覆盖元素选择路径,是单元覆盖测试中的一个重要步骤。为了提高单元自动覆盖测试的覆盖率,本文提出了一种面向目标覆盖元素的可达路径选择方法。该方法首先选定一段从函数入口到目标覆盖元素的半条路径,然后判定该路径的不可达性并改造不可达路径,进而得到一条包含目标覆盖元素的可达路径。最后结合测试用例的生成,通过实例验证了该方法能有效地提高覆盖率。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 胡冬萍;;嵌入式软件的覆盖测试[J];科技广场;2008年10期
2 金维佳;施小敏;;基于嵌入式软件的覆盖测试问题研究[J];信息技术;2011年04期
3 朱红军;;一种嵌入式软件覆盖和分析测试方法[J];航空计算技术;2009年05期
4 毛红梅;;基于有穷自动机的路径覆盖测试方法[J];计算机系统应用;2009年11期
5 郭君红;李跃飞;白成刚;蔡开元;;飞行控制软件测试中插桩技术的优化方法[J];计算机工程;2010年04期
6 毛红梅;舒远仲;;基于控制流程图的路径覆盖测试的改进方法研究[J];计算机工程与应用;2008年30期
7 刘利枚;石彪;;嵌入式软件测试系统的研究与实现[J];国外电子测量技术;2009年01期
8 唐铱笛;张义德;刘利枚;;嵌入式软件测试系统的设计与实现[J];福建电脑;2009年07期
9 曹晓勇;刘希;;嵌入式软件覆盖测试的研究和应用[J];电子质量;2009年12期
10 蔡虹;沈雷;李永红;;基于覆盖测试的嵌入式软件自动裁剪[J];计算机工程;2010年01期
11 吴晓葵;;基于CodeTEST的嵌入式软件测试技术[J];电子设计工程;2010年09期
12 赵景波;鲍连承;;“净室”软件工程的发展[J];电气传动自动化;2007年04期
13 蔡高亮;;软件单元测试[J];信息技术与标准化;2008年Z1期
14 卢元坤;软件可靠性度量与逻辑覆盖测试的探讨[J];雷达与对抗;1995年02期
15 杨振兴;刘久富;孙琳;;基于宿主嵌入式软件白盒覆盖测试系统的设计[J];燕山大学学报;2010年01期
16 王伟;刘久富;娄坚波;李金奎;;基于多Agent的软件测试系统设计[J];计算机技术与发展;2011年04期
17 王思岚;王雅文;宫云战;;单元覆盖测试中基于区间运算的路径选择[J];清华大学学报(自然科学版);2011年S1期
18 陈丽蓉,熊光泽,罗蕾,赖倩;嵌入式软件的覆盖测试[J];单片机与嵌入式系统应用;2002年11期
19 唐科,汪文勇,向渝,罗光春;汇编程序覆盖测试中分支路径数的计算[J];电子科技大学学报;2005年02期
20 费训,罗蕾;利用GNU工具实现汇编程序覆盖测试[J];计算机应用;2004年12期
中国重要会议论文全文数据库 前10条
1 王思岚;王雅文;宫云战;;单元覆盖测试中基于区间运算的路径选择方法[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
2 刘莉;金大海;宫云战;;区间运算中提高循环处理精度的研究[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
3 毕经存;;汇编程序覆盖测试中不可达指令检测算法[A];2008’“先进集成技术”院士论坛暨第二届仪表、自动化与先进集成技术大会论文集[C];2008年
4 范海霞;徐涛;;嵌入式软件覆盖测试的优化技术的研究[A];中国电子学会第十七届信息论学术年会论文集[C];2010年
5 王雅文;宫云战;肖庆;杨朝红;;区间运算在软件缺陷检测中的应用[A];第五届中国测试学术会议论文集[C];2008年
6 江标;宫云战;杨朝红;;非法计算检测的通用模型[A];第五届中国测试学术会议论文集[C];2008年
7 赵英刚;刘仰光;何钦铭;;一种区间型支持向量回归算法及其在网络信息挖掘中的应用[A];第25届中国控制会议论文集(中册)[C];2006年
8 吴子敬;宫云战;郭毅军;;基于区间运算和组测试求解CSP以及在测试用例自动生成上的应用[A];第五届中国测试学术会议论文集[C];2008年
9 周傲;王雅文;宫云战;;基于区间缩减的自动化打桩技术研究[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
10 祁鹏;宫云战;金大海;;面向故障的C++程序全局静态分析框架[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
中国博士学位论文全文数据库 前6条
1 单美静;求解非线性实代数系统的混合算法研究[D];华东师范大学;2008年
2 张艳梅;基于依赖性分析的面向对象程序测试技术研究[D];中国矿业大学;2012年
3 肖庆;提高静态缺陷检测精度的关键技术研究[D];北京邮电大学;2012年
4 王雅文;基于缺陷模式的软件测试技术研究[D];北京邮电大学;2009年
5 赵云山;基于符号分析的静态缺陷检测技术研究[D];北京邮电大学;2012年
6 张立勇;软件源代码安全分析研究[D];西安电子科技大学;2011年
中国硕士学位论文全文数据库 前10条
1 孙华衿;C/C++单元自动化覆盖测试框架的研究与实现[D];北京邮电大学;2011年
2 余盛季;嵌入式软件系统测试平台研究[D];电子科技大学;2004年
3 杜晓东;面向嵌入式系统的测试工具研究[D];电子科技大学;2003年
4 李青翠;单元自动化测试系统中路径选择方法的研究与设计[D];北京邮电大学;2011年
5 吴康;面向多语言混合编程的嵌入式测试软件设计与实现[D];电子科技大学;2007年
6 黄勇;基于89c52的嵌入式系统软件测试平台的研究开发[D];电子科技大学;2007年
7 常江;移动多媒体广播(CMMB)覆盖测试系统的研究与实现[D];北京邮电大学;2009年
8 范海霞;嵌入式软件覆盖测试的插桩技术研究[D];南京航空航天大学;2010年
9 王思岚;单元测试中代码覆盖分析及路径选择技术的研究与应用[D];北京邮电大学;2012年
10 江标;非法计算检测的通用模型[D];北京邮电大学;2009年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978