阅读下列说明,回答问题1至问题3,将解答填入答题纸的对应栏内。 【说明】 逻辑覆盖法是设计白盒测试用例的主要方法之一,它是通过对程序逻辑结构的遍历实现程序的覆盖。针对以下由C语言编写的程序,按要求回答问题。 struct_ProtobufC

admin2013-01-19  35

问题 阅读下列说明,回答问题1至问题3,将解答填入答题纸的对应栏内。
【说明】
    逻辑覆盖法是设计白盒测试用例的主要方法之一,它是通过对程序逻辑结构的遍历实现程序的覆盖。针对以下由C语言编写的程序,按要求回答问题。
    struct_ProtobufCIntRange  {
      int start_value;
      unsigned orig_index;
    },
    typedef struct _ProtobufCIntRange ProtobufCIntRange;
    int int_range_lookup(unsigned n_ranges,const ProtobufCIntRange*range8,int value){
      unsigned start,n;    //1
      start=0;
      n=n_ranges;
      while(n>1){            //2
         unsigned mid=start+n/2;
         if(value            n=mid—start;                //4
        }
        else 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){                          //18
      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
请画出上述程序的控制流图,并计算其控制流图的环路复杂度V(G)。

选项

答案控制流图 [*] 环路复杂度V(G)=7

解析 本题考查白盒测试方法中的基本路径法。涉及到的知识点包括:根据代码绘制控制流图、计算环路复杂度。
   控制流图是描述程序控制流的一种图示方法。其基本符号有圆圈和箭线:圆圈为控制流图中的一个结点,表示一个或多个无分支的语句;带箭头的线段称为边或连接,表示控制流。基本结构如下所示:
   
    根据题中程序绘制的控制流图如下所示。其中要特别注意的是,如果判断中的条件表达式是复合条件,即条件表达式是由一个或多个逻辑运算符连接的逻辑表达式,则需要改变复合条件的判断为一系列之单个条件的嵌套的判断。本题程序中,if(ranges[start].start_value<=value&&value<(int)(ranges[start].start_value+range_size))这条判断语句中的判定由两个条件组成,因此在画控制流图的时候需要拆开成两条判断语句。控制流图详见参考答案。
    环路复杂度用来衡量一个程序模块所包含的判定结构的复杂程度,数量上表现为独立路径的条数,即合理地预防错误所需测试的最少路径条数。环路复杂度等于图中判定节点的个数加l,图中判定节点个数为6,所以V(G)=7。
转载请注明原文地址:https://kaotiyun.com/show/87WZ777K
0

最新回复(0)