[发明专利]一种基于条件概率的程序错误定位方法

摘要

本发明公开了一种基于条件概率的程序错误定位方法，其通过经验性研究程序频谱和执行结果两者之间的内在关联，引入统计学的条件概率思想，构建了用以量化分析两者关系强弱评估的P模型。针对一些经典的SFL方法，依赖提出的P模型来量化分析具体的可疑度计算公式，从而探究其缺陷定位精度和效率差异的本质原因。为了验证本发明方法的有效性，实证研究以Siemens套件中的7个程序和Space程序为基准评测对象，测试结果表明与已有的13个经典缺陷定位方法相比，本发明方法具有更好的缺陷定位效果。

主权项

一种基于条件概率的程序错误定位方法，包括如下步骤：(1)统计软件程序中各条语句在每组测试用例下的语句覆盖情况，得到对应的语句覆盖矩阵；(2)统计每组测试用例在软件程序运行下的执行结果：正确或错误；(3)对于软件程序中的任一条语句s，构建由概率Pfe、Pef、Pte、Pet和Ptn所组成的条件概率模型；其中，Pfe表示在执行语句s的情况下软件程序运行结果为失败的概率，Pef表示在软件程序运行结果为失败的情况下执行语句s的概率，Pte表示在执行语句s的情况下软件程序运行结果为成功的概率，Pet表示在软件程序运行结果为成功的情况下执行语句s的概率，Ptn表示在不执行语句s的情况下软件程序运行结果为成功的概率；(4)根据所述的条件概率模型计算语句s的错误可疑度并依此遍历软件程序中的所有语句；进而根据所述的错误可疑度从高到低对软件程序中的语句进行排序并逐条进行错误排查。