中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
  2. 计算技术研究所
  3. 中国科学院计算技术研究所
  4. 中国科学院计算技术研究所期刊论文
  5. 英文
Locating Software Faults Based on Minimum Debugging Frontier Set

文献类型：期刊论文

作者Li, Feng2; Li, Zhiyuan1; Huo, Wei3; Feng, Xiaobing2
刊名IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
出版日期2017-08-01
卷号43期号:8页码:760-776
关键词Fault localization minimum debugging frontier set sparse symbolic exploration dynamic dependence graph
ISSN号0098-5589
DOI10.1109/TSE.2016.2632122
英文摘要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.
资助项目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记录号WOS:000407693000004
出版者IEEE COMPUTER SOC
源URL[http://119.78.100.204/handle/2XEOYT63/6582]  
专题中国科学院计算技术研究所期刊论文_英文
通讯作者Li, Feng
作者单位1.Purdue Univ, Dept Comp Sci, W Lafayette, IN 47907 USA
2.Chinese Acad Sci, State Key Lab Comp Architecture, Inst Comp Technol, Beijing 100190, Peoples R China
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.

入库方式： OAI收割

来源：计算技术研究所

浏览0
下载0
收藏0
其他版本

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。