[发明专利]以布尔表达式的求值序列为谓词单元的软件错误定位方法

权利要求书

1.一种以布尔表达式的求值序列为谓词单元的软件错误定位方法，其步骤包括：

1)提取待测软件程序中的各布尔表达式，得到其对应的布尔表达式的求值序列；

2)将上述布尔表达式的求值序列作为谓词，收集各谓词在程序执行中的信息；

3)根据上述各谓词的执行信息，计算各谓词的可疑度，根据可疑度确定与软件错误相关的谓词；

4)根据上述与软件错误相关的谓词的位置定位软件错误位置。

2.如权利要求1所述的方法，其特征在于，所述步骤1)为在含有缺陷的待测程序中自动寻找并提取布尔表达式，并插入桩函数；加载测试用例并执行待测程序，采集执行时各个布尔表达式的求值序列信息。

3.如权利要求1或2所述的方法，其特征在于，采用短路求值方法得到上述各布尔表达式的求值序列。

4.如权利要求1所述的方法，其特征在于，所述步骤3)使用CBI方法计算上述谓词的可疑度。

5.如权利要求1所述的方法，其特征在于，所述步骤3)使用或SOBER方法计算上述谓词的可疑度。

6.如权利要求1所述的方法，其特征在于，所述布尔表达式包括复合型布尔表达式和原子布尔表达式。

7.如权利要求1所述的方法，其特征在于，所述步骤3)按照高低对各谓词的可疑度进行排序，以确定与软件错误最相关的谓词。

8.如权利要求1所述的方法，其特征在于，所述执行信息包括执行结果和次数。