逻辑覆盖法是设计白盒测试用例的主要方法之一，它是通过对程序逻辑结构的遍历实现程序的覆盖。针对以下由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>1）{ //2
unsigned mid= start+ n/2;
if（value＜ ranges[mid].start_value）{ //3
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）{ //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
}
retun -1， //12
} //13
【问题1】
请给出满足100%DC（判定覆盖）所需的逻辑条件。
【问题2】
请画出上述程序的控制流图，并计算其控制流图的环路复杂度V（G）。
【问题3】
请给出【问题2】中控制流图的线性无关路径。
正确答案及解析
正确答案
解析
【问题1】
【问题2】
控制流图
环路复杂度V(G)=7
【问题3】
线性无关路径：
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
包含此试题的试卷
你可能感兴趣的试题
-
- A.V(S2)和P(S4)
- B.P(S2)和V(S4)
- C.P(S2)和P(S4)
- D.V(S2)和V(S4)
- 查看答案
-
- A.V（S1）P（S2）和V（S3）
- B.P（S1）V（S2）和V（S3）
- C.V（S1）V（S2）和V（S3）
- D.P（S1）P（S2）和V（S3）
- 查看答案
-
- A.P（S4）和V（S4）V（S5）
- B.V（S5）和P（S4）P（S5）
- C.V（S3）和V（S4）V（S5）
- D.P（S3）和P（S4）V（P5）
- 查看答案
-
- A.P(S3)和V(S4)V(S5)
- B.V(S3)和P(S4)P(S5)
- C.P(S3)和P(S4)P(S5)
- D.V(S3)和V(S4)V(S5)
- 查看答案
-
- A.P（S2）和P（S4）
- B.P（S2）和V（S4）
- C.V（S2）和P（S4）
- D.V（S2）和V（S4）
- 查看答案