一种基于程序变异的软件错误定位技术

ISCAS OpenIR

	一种基于程序变异的软件错误定位技术
其他题名	A Software Fault Localization Technique Based on Program Mutations
	贺韬; 王欣明; 周晓聪; 李文军; 张震宇; 张成志
	2013
发表期刊	计算机学报
ISSN	0254-4164
卷号	36 期号:11 页码:2236-2244
摘要	发现软件不能正常运行后,如何定位错误代码在程序中的位置是软件开发一个众所周知的难点.最近许多软件自动调试技术通过分析成功和失败测试用例的覆盖信息辅助程序员定位错误代码,但这些技术的准确率会受到偶然性成功测试用例的影响.偶然性成功测试用例执行了错误代码,但却没有引发失败的测试结果.研究表明这种测试用例在实际测试中广泛存在,而它们的存在会显著降低错误定位的准确率.针对此问题,文中提出一种称为Muffler的技术.Muffler使用程序变异分析来修正错误代码定位结果,以提高定位的准确率.文中利用8个在错误代码定位研究领域广泛使用的基准程序验证了Muffler的有效性.实验结果表明,与传统错误代码定位技术相比,Muffler能减少程序员50.26％的错误定位代价.
收录类别	CSCD
其他摘要	Recent fault localization techniques leverage program coverage of both passed test runs and failed test runs to reduce the high cost of debugging. The effectiveness of such techniques can be adversely affected by coincidental correctness, which occurs in a passed test run when a fault has been executed but no failure is detected. Studies have shown that coincidental correctness is a common phenomenon and its occurrence can significantly reduce the effectiveness of fault localization. In this paper,a fault localization technique named Muffler is proposed, which uses mutation analysis to address this problem and improve fault localization. Muffler systematically mutates statements in a faulty program and estimates their likelihood of being faulty based on both coverage and how mutation affects the outcome of passed test cases. Experiments on eight benchmark programs widely used in fault localization are conducted to evaluate our method. Results indicate that Muffler can help programmers locate faults effectively with a reduction of 50.26% in code examination effort.
关键词	软件调试错误定位程序变异分析软件工程 Software Debugging Fault Localization Program Mutation Analysis Software Engineering
部门归属	中山大学信息科学与技术学院广州 510275;香港科技大学计算机科学及工程学系香港中山大学软件学院广州 510275 中山大学信息科学与技术学院广州 510275 中国科学院软件研究所北京 100190 香港科技大学计算机科学及工程学系香港
语种	中文
CSCD记录号	CSCD:4967492
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/16811
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	贺韬,王欣明,周晓聪,等. 一种基于程序变异的软件错误定位技术[J]. 计算机学报,2013,36(11):2236-2244.
APA	贺韬,王欣明,周晓聪,李文军,张震宇,&张成志.(2013).一种基于程序变异的软件错误定位技术.计算机学报,36(11),2236-2244.
MLA	贺韬,et al."一种基于程序变异的软件错误定位技术".计算机学报 36.11(2013):2236-2244.