[发明专利]一种面向巧合一致性问题的统计学软件缺陷定位方法

权利要求书

1.一种面向巧合一致性问题的统计学软件缺陷定位方法，其特征在于：该方法具体步骤如下：

步骤一：对含有缺陷的程序进行插桩；插桩是为了获得特定程序节点在程序运行时的动态信息，这里对程序中的分支语句、返回语句以及数量对语句进行插桩，它通过插入布尔表达式即谓词来得以实现，桩函数要求在程序运行时输出谓词的动态执行信息，这里谓词的动态执行信息是指谓词的评估偏差；评估偏差的定义是：一次程序运行中谓词被判断为“真”的概率，用表达式来表示，其中，e_T(p_j,r_i)和e_F(p_j,r_i)分别表示程序第r_i次运行时谓词p_j被判断为“真”和判断为“假”的次数；需要注意的是，若谓词在某次程序运行中没有被执行，则此时的评估偏差值设为0.5；为便于后文说明，使用p₁，p₂，...，p_m表示程序中的m个插桩谓词；

步骤二：加载程序的全部测试用例，运行插有桩函数的程序；通过对比原始版本即不含有任何缺陷的程序输出和缺陷版本即植入单个缺陷后的程序输出，区分使程序运行成功和运行失败的测试用例；其中，使用u表示程序运行成功的次数，v表示程序运行失败的次数；

步骤三：收集每次程序运行时桩函数输出的谓词动态执行信息；在程序运行成功时，谓词p_j(j∈[1,m])共得到u个评估偏差，程序运行失败时，谓词p_j共得到v个评估偏差；

步骤四：对收集到的所有谓词动态执行信息进行统计学分析，该步骤又分为四小步：

(一)计算谓词p_j(j∈[1,m])成功与失败执行谱分布的交叠程度，用O_j表示；对于谓词p_j在程序运行成功和失败时评估偏差值所分别构成的执行谱集合，利用概率分布判据Oj=-ln[Σyj∈DjP(yj|ωF)×P(yj|ωN)]]]>来计算谓词p_j成功与失败执行谱分布的交叠程度；其中，D_j表示谓词p_j所有评估偏差值所构成的集合，y_j表示该集合中的一个取值，ω_N和ω_F分别代表程序运行成功和运行失败；

(二)计算谓词p_j执行谱分布的标准化类间距离，用A_j表示；对于谓词p_j在程序运行成功和失败时评估偏差值所分别构成的执行谱集合，首先，利用公式来计算谓词p_j成功与失败执行谱分布之间的距离，即类间距离；其中，表示程序运行成功时谓词p_j所有评估偏差值的均值；表示程序运行失败时谓词p_j所有评估偏差值的均值；然后，利用公式Dj=Σi=1v[(x(pj,ji)-mjF)2]v+Σi=1u[(x(pj,ni)-mjN)2]u2]]>来计算谓词p_j成功与失败执行谱分布内部分散的程度，即类内距离；最后，利用公式来求取谓词pj执行谱分布的标准化类间距离；需要注意的是，若D_j=0，而B_j≠0，则设置A_j=+∞；若D_j＝B_j=0，则设置A_i=0；

(三)计算谓词p_j的缺陷关联度；借助上面两步中分别得到的结果，利用公式来计算谓词p_j的缺陷关联度；

(四)对程序中的每个插桩谓词执行上述的（一）至（三）步，直至得到全部谓词的缺陷关联度；并按照缺陷关联度的从高到低，对所有谓词排序；需要注意的是，如果遇到谓词可疑度相同的情况，则按照谓词编号的由小到大排序；此外，对于上一步中可能出现的O_j=A_j=0的特殊情况，在排序操作中需要将该谓词排在所有谓词的后面，因为该谓词的成功与失败执行谱完全相同，表现为最不可疑；

步骤五：根据得到的谓词排序表，对谓词依序进行查找，直到找到缺陷相关谓词为止。