Proj CMI Paper Reading: Locating Faults with Program Slicing: An Empirical Analysis
Abstract
背景：
如果⼈类程序员必须搜索超出最佳候选位置的故障，则沿动态切⽚跟踪依赖关系的传统技术可能比统计故障定位更适合
本文：
Task：⽐较了统计故障定位与动态切⽚的有效性
实验：
数据集：46 个开源 C 程序中的 457 个错误（369 个单故障和88 个多故障）
效果：
- 动态切⽚对具有单个故障的程序更有效，但统计调试在多个故障上表现更好。
- 最好的结果是通过混合⽅法获得的：如果程序员⾸先从统计调试中最多检查前五个最可疑的位置，然后切换到动态切⽚，平均⽽⾔，他们将需要检查 15%（30行）的编码。这些发现适⽤于 18 个最有效的统计调试公式，
- 我们的结果与故障数量（即单个或多个故障）和错误类型（即⼈为或真实错误）⽆关
