 |
|
|
|
 |
 |
 |
|
 |
|
 |
|
|
陈翔,鞠小林,文万志,顾庆.基于程序频谱的动态缺陷定位方法研究.软件学报,2015,26(2):390-412 |
基于程序频谱的动态缺陷定位方法研究 |
Review of Dynamic Fault Localization Approaches Based on Program Spectrum |
投稿时间:2014-02-12 修订日期:2014-04-15 |
DOI:10.13328/j.cnki.jos.004708 |
中文关键词: 软件调试 缺陷定位 程序频谱 测试用例 测试用例预言 |
英文关键词:software debugging fault localization program spectrum test case test case oracle |
基金项目:国家自然科学基金(61202006, 61373012); 江苏省高校自然科学研究项目(12KJB520014); 江苏省研究生培养创新工程(CXZZ120935); 南通市应用研究计划(BK2014055, BK2014056); 南京大学计算机软件新技术国家重点实验室开放课题(KFKT2012B29); 大学生创新训练计划(201310304087X, 2014075) |
|
摘要点击次数: 7405 |
全文下载次数: 6145 |
中文摘要: |
基于程序频谱的动态缺陷定位是软件自动化调试研究中的一个热点问题,通过搜集测试用例的程序频谱和执行结果,基于特定模型以定位缺陷语句在被测程序内的可能位置.对近些年来国内外学者在该研究领域取得的成果进行系统总结:首先,给出预备知识和基本假设;随后,提出缺陷定位研究框架并识别出框架内一系列可影响缺陷定位效果的内在影响因素,包括程序频谱构造方式、测试套件构成和维护、内在缺陷数量、测试用例预言设置、用户反馈和缺陷修复开销等;接着,对实证研究中采用的评测指标和评测程序进行总结和分析;然后,对缺陷定位方法在一些特定测试领域中的应用进行总结;最后,对该领域未来值得关注的研究方向进行了展望. |
英文摘要: |
Program spectrum based dynamic fault localization is an active research topic in the domain of software automatic debugging. It aims to localize pontential faults in a faulty program based on a specific model which is constructed on execution behaviors and results of test cases. This survey offers a systematic overview of existing research achievements of the domestic and foreign researchers in recent years. First, some preliminary knowledge and basic assumptions are presented. Next, a research framework is proposed and important influencing factors which can affect the effectiveness of fault localization are identified. These factors include program spectrum construction, test suite maintenance and composition, number of faults, test case oracle, user feedback, and fault removal cost. In addition, the evaluation metrics and subject objects used in previous empirical studies are analyzed. Furthermore, classical applications of fault localization in some specific application domains are summarized. Finally a perspective of the future work in this research area is discussed. |
HTML 下载PDF全文 查看/发表评论 下载PDF阅读器 |
|
|
|
|
|
|
 |
|
|
|
|
 |
|
 |
|
 |
|