Locating Software Faults Based on Minimum Debugging Frontier Set

doi:10.1109/TSE.2016.2632122

	Locating Software Faults Based on Minimum Debugging Frontier Set
	Li, Feng 1; Li, Zhiyuan 2; Huo, Wei 3; Feng, Xiaobing 1
	2017-08-01
发表期刊	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
ISSN	0098-5589
卷号	43 期号:8 页码:760-776
摘要	In this article, we propose a novel state-based fault-localization approach. Given an observed failure that is reproducible under the same program input, this new approach uses two main techniques to reduce the state exploration cost. Firstly, the execution trace to be analyzed for the observed failure is successively narrowed by making the set of trace points in each step a cut of the dynamic dependence graph. Such a cut divides the remaining trace into two parts and, based on the sparse symbolic exploration outcome, one part is removed from further exploration. This process continues until reaching where the fault is determined to be. Second, the cut in each step is chosen such that the union of the program states from the members of the cut is of the minimum size among all candidate cuts. The set of statement instances in the chosen cut is called a minimum debugging frontier set (MDFS). To evaluate our approach, we apply it to 16 real bugs from real world programs and compare our fault reports with those generated by state-of-the-art approaches. Results show that the MDFS approach obtains high quality fault reports for these test cases with considerably higher efficiency than previous approaches.
关键词	Fault localization minimum debugging frontier set sparse symbolic exploration dynamic dependence graph
DOI	10.1109/TSE.2016.2632122
收录类别	SCI
语种	英语
资助项目	National Natural Science Foundation of China[61303053] ; National Natural Science Foundation of China[61402445] ; National Natural Science Foundation of China[61402303] ; National Natural Science Foundation of China[61521092] ; National High Technology Research and Development Program of China[2015AA011505] ; National Science Foundation of United States[1533822]
WOS研究方向	Computer Science ; Engineering
WOS类目	Computer Science, Software Engineering ; Engineering, Electrical & Electronic
WOS记录号	WOS:000407693000004
出版者	IEEE COMPUTER SOC
引用统计	被引频次：8[WOS] [WOS记录] [WOS相关记录]
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/6583
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	Li, Feng
作者单位	1.Chinese Acad Sci, State Key Lab Comp Architecture, Inst Comp Technol, Beijing 100190, Peoples R China 2.Purdue Univ, Dept Comp Sci, W Lafayette, IN 47907 USA 3.Chinese Acad Sci, Inst Informat Engn, Beijing 100049, Peoples R China
推荐引用方式 GB/T 7714	Li, Feng,Li, Zhiyuan,Huo, Wei,et al. Locating Software Faults Based on Minimum Debugging Frontier Set[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING,2017,43(8):760-776.
APA	Li, Feng,Li, Zhiyuan,Huo, Wei,&Feng, Xiaobing.(2017).Locating Software Faults Based on Minimum Debugging Frontier Set.IEEE TRANSACTIONS ON SOFTWARE ENGINEERING,43(8),760-776.
MLA	Li, Feng,et al."Locating Software Faults Based on Minimum Debugging Frontier Set".IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 43.8(2017):760-776.