公开(公告)号：CN102831065B

公开(公告)日：2015-02-04

申请号：CN201210340190.2

申请日：2012-09-13

Applicant: 北京航空航天大学

Inventor： 郑征 ,  郝鹏 ,  张震宇 ,  蔡开元

IPC: G06F11/36

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

公开(公告)号：CN102831065A

公开(公告)日：2012-12-19

申请号：CN201210340190.2

申请日：2012-09-13

Applicant: 北京航空航天大学

Inventor： 郑征 ,  郝鹏 ,  张震宇 ,  蔡开元

IPC: G06F11/36

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