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

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

admin2013-01-19  59
问题 阅读下列说明，回答问题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://www.kaotiyun.com/show/y7WZ777K
本试题收录于： 软件评测师下午应用技术考试题库软考中级分类
0

软件评测师下午应用技术考试

软考中级

相关试题推荐
随机试题
最新回复(0)