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

admin2013-01-19  27

问题 阅读下列说明,回答问题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
请给出满足100%DC(判定覆盖)所需的逻辑条件。

选项

答案[*]

解析 本题考查白盒测试方法中的判定覆盖法。
    判定覆盖指设计足够的测试用例,使得被测程序中每个判定表达式至少获得一次“真”值和“假”值,从而使程序的每一个分支至少都通过一次。
本题中程序一共有5个判定,所以满足判定覆盖一共就需要10个逻辑条件,这些条件详见参考答案。
转载请注明原文地址:https://kaotiyun.com/show/y7WZ777K
0

最新回复(0)