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

基于测试充分性准则的非死锁并发缺陷定位方法

陈诚  郑征  王皓钦  乔禹  
【摘要】:并发程序的非确定性使得其调试工作异常困难。基于程序谱的软件缺陷定位方法虽然能够缓解该情况,但其定位结果依赖于调试信息。针对在此过程中难以获得调试信息及如何选择利用调试信息的问题,提出了一种基于测试充分性准则的缺陷定位方法,该方法包括3个部分:预测满足测试充分性准则的条件;制定相应的测试方案;将收集到的调试信息用于缺陷定位分析。依据此方法,用C#语言实现了缺陷定位工具——ConFinder。在含有实际并发缺陷的程序上进行实验,结果表明该方法可以有效找出引起程序失效的原因并且所得结果具有很好的稳定性。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 叶钢;李重文;余丹;马世龙;;基于非参数假设检验的程序缺陷定位方法[J];北京航空航天大学学报;2012年08期
2 叶钢;余丹;李重文;李先军;尹杰;吕江花;马世龙;;一种基于Kolmogorov-Smirnov检验的缺陷定位方法[J];计算机研究与发展;2013年04期
3 丁晖;陈林;钱巨;许蕾;徐宝文;;一种基于信息量的缺陷定位方法[J];软件学报;2013年07期
4 何杰;;手机软件APP在配网巡视中的应用[J];电子世界;2014年10期
5 郝鹏;郑征;张震宇;高乙超;宫成;薛云志;;基于谓词执行信息分析的自适应缺陷定位算法[J];计算机学报;2014年03期
6 李伟;郑征;郝鹏;高乙超;饶培峰;宫成;;基于谓词执行序列的软件缺陷定位算法[J];计算机学报;2013年12期
7 陈振强,徐宝文;一种并发程序依赖性分析方法[J];计算机研究与发展;2002年02期
8 张泉,陈涵生;并发程序的调试问题[J];计算机工程;1998年10期
9 张广泉;并发程序执行的一种粒度分析方法[J];计算机工程与应用;2000年05期
10 肖健宇;张德运;郑卫斌;;并发程序内部表示及静态切片算法的改进[J];西安交通大学学报;2005年12期
11 曾奕;;基于确定性重演的并发程序调试[J];计算机与数字工程;2005年12期
12 肖健宇;张德运;陈海诠;董皓;;一种改进的并发程序静态切片算法[J];计算机工程;2006年14期
13 戚晓芳;徐宝文;周晓宇;;一种基于程序可达图的并发程序依赖性分析方法[J];电子学报;2007年02期
14 刘震;缪力;;互斥并发程序的程序切片算法研究[J];计算机工程与科学;2007年01期
15 缪力;张大方;;过程间并发程序分析不可判定的一个新证明方法[J];计算技术与自动化;2007年02期
16 李小国;张迎周;张卫丰;周国强;;并发程序切片方法综述[J];南京邮电大学学报(自然科学版);2008年06期
17 罗清宙;;基于回放机制的并发程序中的错误重现方法[J];计算机工程与设计;2010年13期
18 徐晓晶;戚晓芳;;并发程序切片原型系统的设计与实现[J];计算机科学与探索;2012年03期
19 朱一清;;并发程序原子图挖掘技术[J];计算机工程;2012年18期
20 吴时霖,潘永华;带有时间Petri网:在并发程序分析中的应用[J];计算机工程;1987年01期
中国重要会议论文全文数据库 前3条
1 缪力;张大方;杨学东;;计算有互斥机制的并发程序的程序切片[A];第十届全国容错计算学术会议论文集[C];2003年
2 缪力;张大方;杨金民;;过程间并发程序分析不可判定的一个新证明方法[A];第四届中国测试学术会议论文集[C];2006年
3 周志远;张大方;缪力;赵丹;黄谷;;基于Java内存模型的并发程序模型检测[A];第五届中国测试学术会议论文集[C];2008年
中国博士学位论文全文数据库 前3条
1 李唯实;基于传播链的缺陷定位及修复技术研究[D];国防科学技术大学;2016年
2 常曦;基于预测分析的并发程序错误检测技术研究[D];上海交通大学;2015年
3 卢超;并发软件测试理论与技术研究[D];华中科技大学;2007年
中国硕士学位论文全文数据库 前10条
1 张晓红;基于频谱的软件缺陷定位方法的研究[D];南京邮电大学;2015年
2 施小燕;基于条件概率公式的缺陷定位问题研究[D];南京大学;2013年
3 童燕翔;基于Bug Report的降噪和缺陷定位研究[D];南京航空航天大学;2016年
4 张鹏;多缺陷和多线程缺陷定位技术研究[D];国防科学技术大学;2014年
5 唐启锋;基于模型结合的缺陷定位研究[D];南京大学;2012年
6 雷晏;基于迭代反馈的缺陷定位技术研究[D];国防科学技术大学;2010年
7 贡亮;软件频谱缺陷定位技术的研究[D];清华大学;2013年
8 李超;基于序列模式挖掘的并发程序缺陷检测技术研究[D];华中师范大学;2015年
9 周华杨;基于变体的并发程序测试技术研究[D];东南大学;2015年
10 吴俞伯;面向并发程序数据竞争故障的变异策略研究[D];北京化工大学;2016年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978