PDF《软件错误自动定位关键科学问题及研究进展》

3 6

2 2

1 1 期 王克朝等:软件错误自动定位关键科学问题及研究进展 布程序的执行, 但是在开发人员看来却不相关. 此外 还有可能是多个缺陷共同作用引发失效, 并且多个缺 陷间也可能相互干扰, 例如, 缺陷 A 可能掩盖了缺 陷B, 导致即使执行了缺陷 B也不会产生失效. 这都 使理解 什么导致了失效 以及 为什么程序会失效 成为调试过程中最困难的任务, 所需花费的时间和 资源也比其他步骤要多得多, 因此, 这两个问题是软 件错误定位领域亟需解决的关键科学问题. 在解决上述问题的过程中, 以下两个关键因素 决定了错误定位方法的可用性: (

1 ) 有效性( e f f e c t i v e n e s s ) . 根据定位结 果, 开 发人员审 查代码、 真正查找到缺陷所需的工作量(expense).错误定位结果越准确, 人工审查工作量 越小, 则该方法越有效. (

2 ) 效率( e f f i c i e n c y) . 错误定位方法的计算复 杂度及时间开销. 理想情况下, 软件错误定位方法应该快速、 准确 地报告缺陷的位置, 并且为开发人员进一步理解和 修正........