CN102750223B - 一种基于面向对象程序切片谱的错误定位方法 - Google Patents

Abstract

本发明公布了一种基于面向对象程序切片谱的错误定位方法，首先我们根据源程序构造面向对象程序依赖图，然后结合测试历史中提取的失效测试信息提取错误相关切片，根据错误相关切片和测试历史信息中提取的测试覆盖信息构造面向对象程序切片谱矩阵，最后基于面向对象程序切片谱矩阵度量错误相关切片中每个元素的可疑度，并根据可疑度大小顺序定位到错误位置。本发明的基于面向对象程序切片谱的错误定位方法效率更高。

Description

一种基于面向对象程序切片谱的错误定位方法

技术领域

本发明提出了一种基于面向对象程序切片谱的错误定位方法，主要是利用面向对象程序切片谱来解决面向对象程序的错误定位问题，属于软件调试的技术领域。

背景技术

在软件开发和维护过程中，程序员需要不断的调试程序，而错误定位是调试活动中最困难、最耗时的任务之一。错误定位即定位引起软件失效的错误，传统的方法有两种：一是在程序中插入输出语句，根据输出结果去分析可能导致异常的错误；二是在程序中可能产生错误的地方设置断点，然后单步执行分析错误产生的位置。这两种方法主要通过手动完成，效率不高。近些年来，软件正变得越来越复杂多样，这给软件调试者带来了巨大的挑战。自动化，半自动化的软件错误定位技术因而也变成最热门的研究方向之一，主要技术有二分查找计算树模型法、Delta调试法、谓词交换法、构造辨别子图法、程序切片法和测试覆盖分析法等等。

程序切片技术通过分析数据依赖和控制依赖提取与错误相关的部分，删除与错误无关的部分，从而可缩小错误定位的搜索域。早期的程序切片技术主要有动态切片技术、静态切片技术、执行切片技术、相关切片技术和关键切片技术等。通常，通过这些技术所取得的切片相对保守，规模很大，单一的切片不太适合实际应用中的软件程序的错误定位。基于程序谱的错误定位技术通过对程序谱的分析，计算程序中各个元素可能产生错误的概率，然后根据各个元素的概率从大到小依次检查以找到错误所在位置。这种技术通常是基于程序击谱，不考虑语句覆盖的频度，而且缺乏了依赖分析，谱的规模一般很大。所以，需要一种新型的结合切片和谱的优点的技术来支持错误定位的实现。

另外，传统的切片一般通过系统依赖图提取，但在面向对象程序中，由于存在着诸多特征（如类、对象；继承性、多态性等），传统的方法很难提取面向对象程序的切片。需要一种新的依赖图构造方法来提取面向对象程序切片，以支持面向对象程序的错误定位。

发明内容

本发明的目的在于使用面向对象程序切片谱来支持面向对象程序的错误定位问题，该错误定位方法效率更高。

为实现上述目的，采用如下技术方案：一种基于面向对象程序切片谱的错误定位方法，包括如下步骤：

1).根据失效测试T_F和切片准则，并结合面向对象程序系统依赖图，使用图可达性遍历算法，提取错误相关切片集合Slice；

其中，T_F={T₁,…,T_s}表示测试运行结果错误的测试集合；

GetSlice(T_i)为根据测试执行T_i提取的切片，则错误相关切片集合：Slice=GetSlice(T₁)∪GetSlice(T₂)∪…∪GetSlice(T_s)；其中T_i是T_F中的一个元素；

2).结合测试覆盖信息T，构建错误相关切片集合Slice的面向对象程序切片谱矩阵M[e_i，T_j]，矩阵M[e_i，T_j]记录了测试T_j覆盖e_i的次数；

其中e_i是错误相关切片Slice中的一个元素；T_j表示测试覆盖信息集合T中的一个元素；错误相关切片Slice中元素个数为n；

T=T_F∪T_P，T_P={T_s+1，…,T_m}表示测试执行结果正确的测试集合；

面向对象程序切片谱的矩阵元素M[e_i，T_j]为：

3).基于矩阵M[e_i，T_j]，度量Slice中每个元素e_i的可疑度suspiciousness(e_i)，根据suspiciousness(e_i)的大小顺序定位出错误位置；

其中suspiciousness(e_i)的计算方法为：

$\mathrm{suspiciousness}\left(e_i\right)=\frac{\mathrm{failed}\left(e_i\right)\%}{\mathrm{failed}\left(e_i\right)\%+\mathrm{passed}\left(e_i\right)\%}$

$\mathrm{failed}\left(e_i\right)\%=\frac{\underset{j=1}{\overset{m}{\mathrm{\Σ}}}(p_{T_j}\×C_{i,j})}{\underset{j=1}{\overset{m}{\mathrm{\Σ}}}{p}_{T_j}},$ $\mathrm{passed}\left(e_i\right)\%=\frac{\underset{j=1}{\overset{m}{\mathrm{\Σ}}}[(1-p_{T_j})\×C_{i,j}]}{\underset{j=1}{\overset{m}{\mathrm{\Σ}}}(1-p_{T_j})}$

其中， $C_{i,j}=\frac{M[e_i,T_j]}{\underset{k=1}{\overset{n}{\mathrm{\Σ}}}M[e_k,T_j]},$ $p_{T_j}=\left\{\begin{array}{cc}1& T_j\mathrm{is\; failed}\\ 0& T_j\mathrm{is\; passed}\end{array}\right.$

failed(e_i)％表示元素e_i的失效测试数占失效测试总数之比，passed(e_i)表示元素e_i的成功测试数占成功测试总数之比。

有益效果：本发明方法提出了一种基于面向对象程序切片谱的方法，通过利用切片技术在缩小错误搜索域方面的作用和程序谱在面向对象程序元素存储及处理方面的优势，来提高面向对象程序中的错误定位搜索效率问题。主要有以下一些优点：

（1）构造了面向对象程序依赖图，并根据失效测试提取了错误相关切片，删除程序中与错误无关的元素，减小了传统的程序谱的规模，提高了语句搜索的效率。传统的切片提取技术是基于系统依赖图的，由于面向对象程序本身的特性，传统的依赖图无法有效提取面向对象程序切片；另外，传统的基于谱的定位技术一般对整个程序的谱矩阵进行分析，这样错误定位的精度和效率就会受到限制；本发明首先提取了错误相关切片，这样可在一定程度上删除与错误无关的冗余部分。

（2）引入程序元素的执行频度，提出了一种新的可疑度度量方法。传统的技术在计算元素的可疑度时只考虑了其被测试执行时覆盖的信息，即只统计该元素被执行与否，不考虑该元素每次执行的次数，即频度；实际上，由于每个测试执行规模大小不一，每个元素被执行的次数也不一样，该元素对每次执行结果的贡献也是不一样的；例如，如果某次测试执行经过了1条语句，那么这条语句对执行结果的贡献度可以达到100%，而如果这次执行经过了2条语句，且一条语句执行了一次，另一条语句被执行了两次，那么我们认为这两条语句对测试结果的贡献度也是不一样的。本发明的方法为实际中的面向对象程序的错误定位提供了一个更精确的度量选择。

附图说明

图1是程序调试流程图。

图2是本发明的面向对象错误定位流程图。

图3是本发明所使用的面向对象程序系统依赖图的架构图。

图4是本发明错误相关切片生成器工具结构图。

图5.1、图5.2和图5.3是本发明的一个实施例图。

其中图5.1是实施例的测试覆盖信息，图5.2是实施例程序的面向对象程序依赖图，图5.3展示了实施例的面向对象程序切片谱，以及对错误相关切片中每个元素的可疑度度量值。

具体实施方式

一种基于面向对象程序切片谱的错误定位方法，包括如下步骤：

1).根据失效测试T_F和切片准则，并结合面向对象程序系统依赖图，使用图可达性遍历算法，提取错误相关切片集合Slice；

其中，T_F={T₁，…,T_s}表示测试运行结果错误的测试集合；

GetSlice(T_i)为根据测试执行T_i提取的切片，则错误相关切片集合：Slice=GetSlice(T₁)∪GetSlice(T₂)∪…∪GetSlice(T_s)；其中T_i是T_F中的一个元素；

2).结合测试覆盖信息T，构建错误相关切片集合Slice的面向对象程序切片谱矩阵M[e_i，T_j]，矩阵M[e_i，T_j]记录了测试T_j覆盖e_i的次数；

其中e_i是错误相关切片Slice中的一个元素；T_j表示测试覆盖信息集合T中的一个元素；错误相关切片Slice中元素个数为n；

T=T_F∪T_P，T_P={T_s+1，…,T_m}表示测试执行结果正确的测试集合；

面向对象程序切片谱的矩阵元素M[e_i，T_j]为：

3).基于矩阵M[e_i，T_j]，度量Slice中每个元素e_i的可疑度suspiciousness(e_i)，根据suspiciousness(e_i)的大小顺序定位出错误位置；

其中suspiciousness(e_i)的计算方法为：

$\mathrm{suspiciousness}\left(e_i\right)=\frac{\mathrm{failed}\left(e_i\right)\%}{\mathrm{failed}\left(e_i\right)\%+\mathrm{passed}\left(e_i\right)\%}$

$\mathrm{failed}\left(e_i\right)\%=\frac{\underset{j=1}{\overset{m}{\mathrm{\Σ}}}(p_{T_j}\×C_{i,j})}{\underset{j=1}{\overset{m}{\mathrm{\Σ}}}{p}_{T_j}},$ $\mathrm{passed}\left(e_i\right)\%=\frac{\underset{j=1}{\overset{m}{\mathrm{\Σ}}}[(1-p_{T_j})\×C_{i,j}]}{\underset{j=1}{\overset{m}{\mathrm{\Σ}}}(1-p_{T_j})}$

其中， $C_{i,j}=\frac{M[e_i,T_j]}{\underset{k=1}{\overset{n}{\mathrm{\Σ}}}M[e_k,T_j]},$ $p_{T_j}=\left\{\begin{array}{cc}1& T_j\mathrm{is\; failed}\\ 0& T_j\mathrm{is\; passed}\end{array}\right.$

failed(e_i)％表示元素e_i的失效测试数占失效测试总数之比，passed(e_i)表示元素e_i的成功测试数占成功测试总数之比。

所述步骤1）中，面向对象程序系统依赖图将类之间的数据依赖关系和控制依赖关系反映在类依赖子图上；将类之间的继承关系反应在类层次子图上；将面向对象程序中的虚函数调用关系反应在虚函数调用图上；其中，过程依赖图子图的节点表示语句或谓词表达式；边包括控制依赖边和数据依赖边，控制依赖边表示语句或表达式执行时的控制依赖关系，数据依赖边表示语句或表达式之间的数据流；类依赖子图确定一个类中的控制依赖关系和数据依赖关系，类中所有方法由过程依赖子图表示；类层次子图用来描述类之间的继承关系，类之间通过入口节点连接；控制依赖子图和数据依赖子图记录的所有的控制依赖和数据依赖实现；虚函数调用图解决了面向对象程序中特有的虚函数调用关系。

所述步骤1）中所述的提取错误相关切片集合Slice包括以下步骤：

（1.1）将面向对象程序源代码转换成抽象语法树，从而便于依赖图的构造；

（1.2）基于抽象语法树提取数据依赖信息、控制依赖信息、类继承信息建立面向对象依赖图；

（1.3）根据失效测试输出及覆盖信息，提取兴趣点、兴趣变量以建立切片准则；

（1.4）在步骤（1.2）与步骤（1.3）的基础上根据切片准则在面向对象依赖图上进行两步图可达性遍历算法提取切片。

（1.5）在步骤（1.4）的基础上提取所有与错误相关的切片。

所述步骤2）与步骤3）中面向对象程序切片谱矩阵构建及可疑度度量抽象模型如下：

其中，e₁，…e_n表示各层次错误相关切片中的元素；T₁，…T_m表示m个测试，包括s个失效的测试和m-s个成功的测试；f_i，j(1≤i≤n,1≤j≤m)表示测试T_j执行元素e_i的频度；最后一列表示相应元素包含错误的可疑度。

下面结合附图对发明的具体实施例进行详细说明。

如图1所示，一个程序调试过程通常包括发现错误、定位错误、纠错三个过程，错误定位过程是调试中最困难最复杂的工作，发现错误为后续的错误定位过程提供了测试历史信息，错误定位为后续的纠错指明了具体位置。

图2是本发明的面向对象错误定位流程图。首先我们根据源程序构造面向对象程序依赖图，然后结合测试历史中提取的失效测试信息提取错误相关切片，根据错误相关切片和测试历史信息中提取的测试覆盖信息构造面向对象程序切片谱矩阵，最后基于面向对象程序切片谱矩阵度量错误相关切片中每个元素的可疑度，并根据可疑度大小顺序定位到错误位置。在这个过程中，涉及到四个主要部分：面向对象程序依赖图、错误相关切片、面向对象程序切片谱矩阵、错误相关切片内各个元素的可疑度度量。

一、主要构件

1、面向对象程序系统依赖图

图3显示了本实施例的面向对象程序依赖图的主要组成。通常切片是根据切片准则在程序依赖图上进行图可达性算法取得，而传统的依赖图通常只包括数据依赖和控制依赖，由于面向对象本身的特性，无法在传统的依赖图上取得精确的面向对象程序切片。相对于传统的系统图，本发明的面向对象系统依赖图将类之间的数据依赖关系和控制依赖关系反应在类依赖子图上，将类之间的继承关系反应在类层次子图上，将面向对象程序中的虚函数调用关系我们反应在虚函数调用图上。其中，过程依赖图子图的节点表示语句或谓词表达式，边包括控制依赖边和数据依赖边，控制依赖边表示语句或表达式执行时的控制依赖关系，数据依赖边表示语句或表达式之间的数据流；类依赖子图确定一个类中的控制依赖关系和数据依赖关系，类中所有方法由过程依赖子图表示；类层次子图主要用来描述类之间的继承关系，类之间通过入口节点连接；控制依赖子图和数据依赖子图记录了所有语句间的控制依赖和数据依赖关系；虚函数调用图解决了有些面向对象程序中特有的虚函数调用关系。面向对象系统依赖图着重解决传统的依赖图无法精确提取面向对象程序切片的问题。

2、错误相关切片

错误相关切片是在面向对象程序依赖图基础上提取的。图4是具体实施例一个错误相关切片生成器工具结构图，主要包括如下几个部分：

（1）源程序：工具的输入。本发明对面向对象程序进行错误定位，所以错误相关切片生成器工具是一个包含BUG的面向对象程序工程文件或者程序源代码。

（2）失效测试：工具的输入。一个程序调试过程通常包括发现错误、定位错误、纠错三个过程。在程序错误定位之前，要对程序进行测试并发现错误，错误定位以前期的测试历史为输入。错误相关切片工具根据测试历史提取了失效测试信息。

（3）代码转换器：面向程序切片通过两步图可达性算法遍历面向对象依赖图取得，依赖图的构造一般需要借助源代码的中间表示形式实现，本发明将面向对象程序源代码转换成抽象语法树这种中间表示形式以便于依赖图的构造。

（4）面向对象依赖图生成器：抽象语法树提供了丰富的信息以提取变量的定义使用关系、程序的控制依赖信息、类继承信息等等，本发明基于抽象语法树建立了过程依赖子图、类依赖子图、类层次子图、控制依赖子图、数据依赖子图和虚函数调用子图，从而最终建立了系统的面向对象依赖图。

（5）切片准则提取器：切片准则由兴趣点、兴趣变量和输入组成。失效测试输出是错误定位技术中最有价值的参考信息，本发明从失效的测试输出中提取兴趣点、兴趣变量，然后根据失效测试的输入建立切片准则。

（6）切片生成器：根据切片准则在面向对象依赖图上进行两步图可达性遍历算法提取切片，切片提取了特定输入下的兴趣点处的兴趣变量相关的数据依赖和控制依赖部分，一般情况下，根据失效测试提取的切片代码包含了错误。

（6）错误相关切片：错误相关切片是根据失效测试提取的所有切片的并集。多个失效的测试可能由一个错误引起也可能由多个错误引起，本发明首先提取所有与错误相关的切片代码部分，然后再对错误相关代码进行度量，所以本发明采用并集切片模型以更全面对后续程序语句错误进行度量。

3、程序切片谱矩阵及可疑度度量

本发明进行错误定位主要分为两步，第一步构造出错误相关切片缩小搜索域，第二步，对错误相关切片中每个元素进行度量。对错误相关的度量，主要是基于面向对象程序切片谱矩阵，本发明的面向对象程序切片谱矩阵构建及可疑度度量抽象模型如下：

其中，e₁，...e_n表示各层次错误相关切片中的元素，T₁,…T_m表示m个测试，包括s个失效的测试和m-s个成功的测试，f_i,j(1≤i≤n,1≤j≤m)表示测试T_j执行元素e_i的频度，最后一列表示相应元素包含错误的可疑度（suspiciousness）。

二、方法流程

本实施例定位面向对象程序中错误的位置，已知面向对象程序SP及其测试历史集合T＝T_F∪T_P，其中T_F={T₁,…,T_s}表示失效测试集合，T_P={T_s+1，…,T_m}表示通过的测试集合。具体的面向对象程序切片谱步骤如下：

（1）构造SP的面向对象程序依赖图；

（2）根据失效的测试T₁,…,T_s提取切片准则，并结合面向对象程序依赖图提取切片GetSlice（T₁）,…,GetSlice（T_s)；

（3）计算错误相关切片Slice=GetSlice(T₁)∪GetSlice(T₂)∪…∪GetSlice(T_s)；

（4）结合测试覆盖信息，构建错误相关切片Slice的面向对象程序切片谱矩阵M；

（5）计算错误相关切片中每个元素的可疑度suspiciousness(e_i)，并根据可疑度大小确定错误位置。

实施例：

为了方便描述，我们假定一个面向对象程序SP的测试覆盖信息如图5.1所示，面向对象系统依赖图如图5.2所示，错误包含在E5中。其中图5.1内容描述的是测试T_j经过程序元素e_i的次数，最后一行是测试的输出结果失效与否。根据失效测试，结合依赖图，我们采用图遍历算法取得切片

GetSlice(T3)={E1，E5},GetSlice(T4)={E1，E3，E5}，错误相关切片Slice＝GetSlice(T3)∪GetSlice (T4)={E1，E3，E5}。结合测试覆盖信息，面向对象程序切片谱矩阵如图5.3所示，其中5.3最后一列是根据可疑度度量值：

suspiciousness(E1)=((1/2+1/3)/2)/((1/2+1/3)/2+(1/1+1/2+1/2)/3)=0.38

suspiciousness(E3)=((0/2+1/3)/2)/((0/2+1/3)/2+(0/1+0/2+1/2)/3)=0.50

suspiciousness(E5)=((0/2+1/3)/2)/((0/2+1/3)/2+(0/1+0/2+1/2)/3)=0.71

根据度量值结果大小顺序依次搜索错误位置，本实例中第一次搜索程序元素E5，确定为错误位置，从而完成了一个错误定位过程。

Claims (2)

1.一种基于面向对象程序切片谱的错误定位方法，其特征在于，包括如下步骤：

步骤1)根据失效测试T_F和切片准则，并结合面向对象程序系统依赖图，使用图可达性遍历算法，提取错误相关切片集合Slice；其中，T_F＝{T₁,…,T_s}表示测试运行结果错误的测试集合；

GetSlice(T_S)为根据测试执行T_S提取的切片，则错误相关切片集合：Slice＝GetSlice(T₁)∪GetSlice(T₂)∪…∪GetSlice(T_s)；其中T_S是T_F中的一个元素；

步骤2)结合测试覆盖信息集合T，构建错误相关切片集合Slice的面向对象程序切片谱矩阵M，矩阵元素M[e_i，T_j]记录了测试T_j覆盖e_i的次数；

其中e_i是错误相关切片集合Slice中的一个元素；T_j表示测试覆盖信息集合T中的一个元素；错误相关切片集合Slice中元素个数为n；

T＝T_F∪T_P，T_P＝{T_s+1,…,T_m}表示测试执行结果正确的测试集合；

面向对象程序切片谱的矩阵元素M[e_i，T_j]为：

其中，1≤i≤n,1≤j≤m；

步骤3)基于矩阵元素M[e_i，T_j]，度量在错误相关切片集合Slice中每个元素e_i的可疑度suspiciousness(e_i)，根据suspiciousness(e_i)的大小顺序定位出错误位置；

其中suspiciousness(e_i)的计算方法为：

$\mathrm{suspiciousness}\left(e_i\right)=\frac{\mathrm{failed}\left(e_i\right)\%}{\mathrm{failed}\left(e_i\right)\%+\mathrm{passed}\left(e_i\right)\%}$

$\mathrm{failed}\left(e_i\right)\%=\frac{\underset{j=1}{\overset{m}{\mathrm{\Σ}}}(p_{T_j}\×C_{i,j})}{\underset{j=1}{\overset{m}{\mathrm{\Σ}}}{p}_{T_j}},\mathrm{passed}\left(e_i\right)\%=\frac{\underset{j=1}{\overset{m}{\mathrm{\Σ}}}[(1-p_{T_j})\×C_{i,j}]}{\underset{j=1}{\overset{m}{\mathrm{\Σ}}}(1-p_{T_j})}$

其中， $C_{i,j}=\frac{M[e_i,T_j]}{\underset{t=1}{\overset{n}{\mathrm{\Σ}}}M[e_t,T_j]}$ $p_{T_j}=\left\{\begin{array}{cccc}1& T_j& \mathrm{is}& \mathrm{failed}\\ 0& T_j& \mathrm{is}& \mathrm{passed}\end{array}\right.$

failed(e_i)％表示元素e_i的失效测试数占失效测试总数之比，passed(e_i)％表示元素e_i的成功测试数占成功测试总数之比；

所述步骤1)中，

面向对象程序系统依赖图将类之间的数据依赖关系和控制依赖关系反映在类依赖子图上；

将类之间的继承关系反应在类层次子图上；

将面向对象程序中的虚函数调用关系反应在虚函数调用图上；

其中，

过程依赖图子图的节点表示语句或谓词表达式；边包括控制依赖边和数据依赖边，控制依赖边表示语句或谓词表达式执行时的控制依赖关系，数据依赖边表示语句或谓词表达式之间的数据流；

类依赖子图确定一个类中的控制依赖关系和数据依赖关系，类中所有方法由过程依赖子图表示；

类层次子图用来描述类之间的继承关系，类之间通过入口节点连接；

控制依赖子图和数据依赖子图记录的所有的控制依赖和数据依赖实现；

虚函数调用图解决了面向对象程序中特有的虚函数调用关系；

步骤1)中所述的提取错误相关切片集合Slice包括以下步骤：

(1.1)将面向对象程序源代码转换成抽象语法树，从而便于依赖图的构造；

(1.2)基于抽象语法树提取数据依赖信息、控制依赖信息、类继承信息建立面向对象依赖图；

(1.3)根据失效测试输出及覆盖信息，提取兴趣点、兴趣变量以建立切片准则；

(1.4)在步骤(1.2)与步骤(1.3)的基础上根据切片准则在面向对象依赖图上进行两步图可达性遍历算法提取切片；

(1.5)在步骤(1.4)的基础上提取所有与错误相关的切片。

2.根据权利要求1所述的基于面向对象程序切片谱的错误定位方法，其特征在于，步骤2)与步骤3)中面向对象程序切片谱矩阵构建及可疑度度量抽象模型如下：

其中，e₁,…e_n表示各层次错误相关切片中的元素；T₁,…T_m表示m个测试，包括s个失效的测试和m-s个成功的测试；f_i,j表示测试T_j执行元素e_i的频度，其中，1≤i≤n,1≤j≤m；最后一列表示相应元素包含错误的可疑度。