期刊文献+

软件故障定位技术进展 被引量:23

Advances in Fault Localization Techniques
在线阅读 下载PDF
导出
摘要 故障定位是调试过程中一项耗时费力的工作。为了降低调试成本,并辅助开发人员定位和修复软件故障,软件故障定位技术通过审查源代码、分析测试过程的软件行为和测试结果来定位包含故障的代码片段。综述了近期故障定位领域相关成就,分类介绍了各种代表性的故障定位方法的基本原理和建模技术,讨论了这些故障定位技术的贡献以及它们之间的主要区别,给出了常用的故障定位效果基准测试集和度量方法,展望了故障定位技术的研究方向。 Fault localization is a kind of time consuming and labor intensive work during debugging. To reduce the cost of debugging and assist the developers to locate and repair program faults, fault localization techniques navigate the fault program fragments by examining the source code and analyzing software behavior and test results. This paper reviews the recent achievements in the field of fault localization. And then, for many representative methods of fault localization, it gives a detail analysis by categories of their basic principles and the modeling methods. It also discusses the contribution of each work and the major difference between them, and presents some commonly-used evaluation benchmarks and metrics. Finally, it concludes the future research consideration of fault localization techniques.
出处 《计算机科学与探索》 CSCD 2012年第6期481-494,共14页 Journal of Frontiers of Computer Science and Technology
基金 国家自然科学基金Nos.90818021 60970032 61100047 江苏省自然科学基金No.BK2008124 江苏省研究生培养创新工程项目No.CX10B_157Z~~
关键词 程序分析 软件调试 故障诊断 故障定位 定位度量 program analysis software debugging fault diagnosis fault localization localization metrics
  • 相关文献

参考文献5

二级参考文献145

  • 1徐宝文,聂长海,史亮,陈火旺.一种基于组合测试的软件故障调试方法[J].计算机学报,2006,29(1):132-138. 被引量:39
  • 2聂长海,徐宝文,史亮.一种新的二水平多因素系统两两组合覆盖测试数据生成算法[J].计算机学报,2006,29(6):841-848. 被引量:21
  • 3史亮,聂长海,徐宝文.基于解空间树的组合测试数据生成[J].计算机学报,2006,29(6):849-857. 被引量:31
  • 4王子元,聂长海,徐宝文,史亮.相邻因素组合测试用例集的最优生成方法[J].计算机学报,2007,30(2):200-211. 被引量:25
  • 5Cohen D. M. , Dalal S. R. , Kajla A. , Patton G. C.. The automatic efficient tests generator. In: Proceedings of the 5th International Symposium on Software Reliability Engineering,IEEE, Los Alamitos, California, 1994, 303-309.
  • 6Lei Y. , Tai K.C.. In_Parameter_Oder: A test generation strategy for pairwise testing. Department of Computer Science,North Carolina State University, Raleigh, North Carolina:Technical Report TR-2001-03, 2001.
  • 7Tai K. C. , Lei Y.. A test generation strategy for pairwise testing. IEEE Transactions on Software Engineering, 2002, 28(1):109-111.
  • 8Kobayashi N. , Tsuchiya T. , Kikuno T.. A new method for constructing pair-wise covering designs for software testing.Information Processing Letters, 2002, 81(2): 85-91.
  • 9Heller E.. Using design of experiment structures to generate test cases. In: Proceedings of the 12th International Conferenceon Testing Computer Software, New York, 1995, 33-41.
  • 10Mandl R,. Orthogonal Latin squares: An application of experimental design to compiler testing. Communications of the ACM, 1985, 28(10): 1054-1058.

共引文献237

同被引文献224

引证文献23

二级引证文献88

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部