China)vnsc5858威尼斯城官网 3’(School 4’(Institute of Soitware

当前位置:威尼斯vns1860an > vnsc5858威尼斯城官网 > China)vnsc5858威尼斯城官网 3’(School 4’(Institute of Soitware
作者: 威尼斯vns1860an|来源: http://www.hengshundk.com|栏目:vnsc5858威尼斯城官网

文章关键词:威尼斯vns1860an,程序变异

  一种基于程序变异的软件错误定位技术_电子/电路_工程科技_专业资料。发现软件不能正常运行后,如何定位错误代码在程序中的位置是软件开发一个众所周知的难点.最近许多软件自动调试技术通过分析成功和失败测试用例的覆盖信息辅助程序员定位错误代码,但这些技术的准确率会受到偶然性成功测试用例的影响.偶然性成功测试用例执行了错误代码,但却没有引发失败的测

  第36卷第11期 2013年11月 计 算 机 学 报 v01.36 No.11 CHINESE JOURNAL OF COMPUTERS Nov.2013 一种基于程序变异的软件错误定位技术 贺 韬¨’2’ 王欣明” 周晓聪¨ 李文军” 广州 510275) 100190) 张震宇4’ 510275) 张成志2’ 1’(中山大学信息科学与技术学院 2’(香港科技大学计算机科学及工程学系 ”(中山大学软件学院广州 4’(中国科学院软件研究所北京 香港) 摘要发现软件不能正常运行后,如何定位错误代码在程序中的位置是软件开发一个众所周知的难点.最近许 多软件自动调试技术通过分析成功和失败测试用例的覆盖信息辅助程序员定位错误代码,但这些技术的准确率会 受到偶然性成功测试用例的影响.偶然性成功测试用例执行了错误代码,但却没有引发失败的测试结果.研究表明 这种测试用例在实际测试中广泛存在,而它们的存在会显著降低错误定位的准确率.针对此问题,文中提出一种称 为Muffler的技术.Muffler使用程序变异分析来修正错误代码定位结果,以提高定位的准确率.文中利用8个在错 误代码定位研究领域广泛使用的基准程序验证了Muffler的有效性.实验结果表明,与传统错误代码定位技术相 比,Muffler能减少程序员50.26%的错误定位代价. 关键词 软件调试;错误定位;程序变异分析;软件工程 DOI号10.3724/SP.J.1016.2013.02236 中图法分类号TP312 A Software Fault Localization Technique Based HE Ta01’,∞ on Program Mutations LI WANG Xin—Min93’ ZHANG Zhen—Yu¨ ZHOU Xiao—Con91’ CHEUNG Shing—Chi2’ Wen—Jun3’ 510275) ”(School ”(Department of Information Science and Technology,Sun Yat—Sen University,Guangzhou of Computer Science and Engineering,Hong Kong University of Science and Technology,Hong Kong,China) 3’(School 4’(Institute of Soitware,Sun Yat—Sen University,Guangzhou of Soit7Mare,Chinese Academy of Sciences,vnsc5858威尼斯城官网Beijing 510275) 100190) Abstract Recent fault localization techniques leverage program coverage of both passed test runs to test runs and failed reduce the high cost of debugging.The effectiveness of such techniques occurs can be adversely affected by coineidental correctness,which been executed but no in a passed test run when a fault has iS a failure iS detected.Studies have shown that coincidental occurrence correctness com— mon phenomenon and its can significantly reduce the effectiveness of fault localization.In uses this paper,a fault localization technique named Muffler is proposed,vnsc5858威尼斯城官网which mutation analysis to a address this problem and improve fault localization.Muffler systematically mutates statements in faulty program and estimates their likelihood of being faulty based tion affects the outcome of passed in fault localization are on both coverage and how muta— test to cases.Experiments evaluate a our on eight benchmark programs widely used conducted method.Results indicate that Muffler can help programmers 10cate faults effectively with reduction of 5 0.2 6%in code examination effort. software debugging;fault localization;program mutation analysis;software engineering 收稿日期:2012—12—03;最终修改稿收到日期:2013—08—20.本课题得到国家自然科学基金(6103027)、vnsc5858威尼斯城官网中山大学中央高校基本科研业务费 专项资金(10LGZD05,1LGPY39)、香港研究资助局项目(61210)和国家科技重大

网友评论

我的2016年度评论盘点
还没有评论,快来抢沙发吧!