一种面向巧合一致性问题的统计学软件缺陷定位方法

摘要

一种面向巧合一致性问题的统计学软件缺陷定位方法，它包括五个步骤：（1）对含有缺陷的程序插桩；（2）加载程序的测试用例，运行插桩后的程序；（3）收集程序运行成功和运行失败时桩函数的输出信息；（4）对收集到的谓词动态执行信息进行分析，包括计算谓词成功与失败执行谱分布的交叠程度、计算谓词执行谱分布的标准化类间距离、计算谓词可疑程度以及对谓词排序这四小步；（5）根据第四步中得到的谓词排序表，对谓词依序进行查找，直到找到缺陷相关谓词为止。该方法能有效避免巧合一致性的影响，定位效率高，而且方法简单，容易实现。