【评测真题-2012】下午题-试题二---（白盒测试）

阅读下列说明，回答问题1至问题3，将解答填入答题纸的对应栏内。

    【说明】

    逻辑覆盖法是设计白盒测试用例的主要方法之一，它是通过对程序逻辑结构的遍历实现程序的覆盖。针对以下由C语言编写的程序，按要求回答问题。

Struct _ProtobufCIntRange{

   Int start_value;

   Unsigned orig_index;

};

typedef struct_ProtobufCIntRange ProtobufCIntRange;

int int_range_lookup(unsigned n_ranges,const ProtobufCIntRange*ranges,int value){

  unsigned start,n;                                                         //1

  start=0;

  n=n_ranges;

  while (n>l) {                                                           //2

      unsigned mid=start+n/2;

    if(value=ranges[mid].start_value+

                  (int)(ranges[mid+1].orig_index-ranges[mid].orig_index)){   //5

        unsigned new_start=mid+1;                              //6

        n=start+n-new_start;

        start=new_start;

    }

    else                                   //7

      return(value-ranges[mid].start_value)+ranges[mid].orig_index;

    }

    if(n>0){                      //8

       unsigned start_orig_index=ranges[start].orig_index;

       unsigned range_size=ranges[start+1].orig_index-start_orig_index;

       if (ranges[start].start_value<=value

        &&value<(int)(ranges[start].start_value+range_size))         //9,10

        Return(value-ranges[start].start_value)+start_orig_index;      //11

    }

    Return -1;                                               //12

    }                                                       //13

    【问题1】（5分）

        请给出满足100%DC(判定覆盖)所需的逻辑条件。

    【问题2】（7分）

        请画出上述程序的控制流图，并计算其控制流图的环路复杂度V(G)。

    【问题3】（3分）

        请给出【问题2】中控制流图的线性无关路径。

 

---

分析

本题考查白盒测试技术，属于比较传统的题目，考查点也与往年类似。

【问题1】

本题考查白盒测试方法中的判定覆盖法。

判定覆盖法指设计足够的测试用例，使得被测程序中每个判定表达式至少获得一次“真”值和“假”值，从而使程序的每一个分支至少都通过一次。

本题中程序一共5个判定，所以满足判定覆盖一共就需要10个逻辑条件。具体如下：

编号	条件
1	n>1
2	n<=1
3	value
4	value>=ranges[mid].start_value
5	（value>=ranges[mid].start_value）&& (value>=ranges[mid].start_value+ (int)(ranges[mid+1].orig_index-ranges[mid].orig_index))
6	（value>=ranges[mid].start_value）&& (value
7	n>0
8	n<=0
9	ranges[start].start_value<=value &&value<(int)(ranges[start].start_value+range_size)
10	ranges[start].start_value>value    || value>=(int)(ranges[start].start_value+range_size)

【问题2】

本题考查白盒测试方法中的基本路径法。涉及的知识点包括：根据代码绘制控制流图、计算环路复杂度。

控制流图是描述程序控制的一种图示方法。其基本符号有圆圈和箭线：圆圈为控制流图中的一个结点，表示一个或多个无分支的语句；带箭头的线段称为边或连接，表示控制流。基本结构如下所示：

根据题中程序绘制的控制流图如下所示。其中要特别注意的是，如果判断中的表达式是复合条件，即条件表达式是由一个或多个逻辑运算符连接的逻辑表达式，则需要改变复合条件的判断为一系列之单个条件的嵌套的判断。本题程序中，if（ranges[start].start_value<=value &&value<(int)(ranges[start].start_value+range_size)）这条判断语句中的判定由两个条件组成，因此在画控制流图的时候需要拆开成两条判断语句。

环路复杂度用来衡量一个程序模块所包含的判定结构的复杂程度，数量上表现为独立路径的条数，即合理地预防错误所需测试的最少路径条数。环路复杂度等于图中判定节点的个数加1，图中判定节点个数为6，所以V（G）=7。

【问题3】

本题考查白盒测试方法中的基本路径法。涉及的知识点包括根据控制流图和环路复杂度确定线性无关路径。

线性无关路径是指包括一组以前没有处理的语句或条件的一条路径，从控制流图来看，一条线性无关路径是至少包含有一条在其他线性无关路径中从未有过的边的路径。

对问题2中的控制流图，其线性无关路径的集合为：

1	1-2-3-4-2...
2	1-2-3-5-6-2...
3	1-2-3-5-7-13
4	1-2-8-9-10-11-13
5	1-2-8-9-10-12-13
6	1-2-8-9-12-13
7	1-2-8-12-13

这7条路径组成问题2中控制流图的一个基本路径集。只要设计出的测试用例能确保这些基本路径的执行，就可以使程序中的每个可执行语句至少执行一次，每个条件的取真和取假分支也能得到测试。需要注意的是，基本路径集不是唯一的，对于给定的控制流图，可以得到不同的基本路径集。