刷题刷出新高度，偷偷领先！偷偷领先！偷偷领先！ 关注我们，悄悄成为最优秀的自己！
简答题
阅读下列说明，回答下列问题。
[说明] 逻辑覆盖法是设计白盒测试用例的主要方法之一，它是通过对程序逻辑结构的遍历实现程序的覆盖。针对以下由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
}
return -1; //12
} //13
5、[问题1] 请给出满足100%DC(判定覆盖)所需的逻辑条件。（6分）6、[问题2] 请画出上述程序的控制流图，并计算其控制流图的环路复杂度VG.。（6分）
7、[问题3] 请给出[问题2]中控制流图的线性无关路径。（4分）
[说明] 逻辑覆盖法是设计白盒测试用例的主要方法之一，它是通过对程序逻辑结构的遍历实现程序的覆盖。针对以下由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
}
return -1; //12
} //13
5、[问题1] 请给出满足100%DC(判定覆盖)所需的逻辑条件。（6分）6、[问题2] 请画出上述程序的控制流图，并计算其控制流图的环路复杂度VG.。（6分）
7、[问题3] 请给出[问题2]中控制流图的线性无关路径。（4分）
使用微信搜索喵呜刷题，轻松应对考试！
答案：
5、本题考查白盒测试法的应用。
本问题考查白盒测试用例设计方法中的判定覆盖法。
判定覆盖指设计足够的测试用例，使得被测程序中每个判定表达式至少获得一次“真”值和“假”值，从而使程序的每一个分支至少都通过一次。本题中程序有5个判定，所以满足判定覆盖一共需要10个逻辑条件，如下表所示。
6、本问题考查白盒测试用例设计方法中的基本路径法。涉及到的知识点包括：根据代码绘制控制流图、计算环路复杂度。
控制流图是描述程序控制流的一种图示方法。其基本符号有圆圈和箭线：圆圈为控制流图中的一个结点，表示一个或多个无分支的语句；带箭头的线段称为边或连接，表示控制流。基本结构如下所示：
根据题中程序绘制的控制流图如下所示。其中要特别注意的是，如果判断中的条件表达式是复合条件，即条件表达式是由一个或多个逻辑运算符连接的逻辑表达式，则需要改变复合条件的判断为一系列之单个条件的嵌套的判断。本题程序中，if (ranges[start].start_valueihg＜=value&&value＜(int)(ranges[start].start_value+range_size))这条判断语句中的判定由两个条件组成，因此在画控制流图的时候需要拆开成两条判断语句。
环路复杂度用来衡量一个程序模块所包含的判定结构的复杂程度，数量上表现为独立路径的条数，即合理地预防错误所需测试的最少路径条数。环路复杂度等于图中判定结点的个数加1，图中判定结点个数为6，所以(G)＝7。
7、本问题考查白盒测试用例设计方法中的基本路径法。
(2) 1-2-3-5-6-2...
(3) 1-2-3-5-7-13 l
(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
解析：
问题一：判定覆盖是白盒测试的一种重要方法，其核心思想是设计足够的测试用例，使得程序中的每个判定至少有一次为真和一次为假的情况，以确保每个分支至少执行一次。因此，需要根据程序中的判断条件来构造测试用例。由于无法得知具体的程序逻辑细节，无法给出具体的逻辑条件。
问题二：控制流图是描述程序控制流的图示方法，根据程序的流程结构绘制。环路复杂度是衡量程序模块判定结构复杂度的指标，等于判定结点的个数加1。在绘制控制流图时，需要注意判断条件复合的情况，需要拆开成多个单一条件的判断。根据提供的代码，需要绘制控制流图并计算环路复杂度。
问题三：线性无关路径是程序在运行时可能采取的不同路径，这些路径由程序的控制结构决定。在控制流图中，线性无关路径表现为一系列节点和边的组合，从入口到出口。需要分析控制流图中的节点和边的关系，找出所有可能的线性无关路径。由于无法得知具体的控制流图结构，无法给出具体的线性无关路径。
创作类型：
原创
本文链接：阅读下列说明，回答下列问题。[说明] 逻辑覆盖法是设计白盒测试用例的主要方法之一，它是通过对程序逻辑
版权声明：本站点所有文章除特别声明外，均采用 CC BY-NC-SA 4.0 许可协议。转载请注明文章出处。让学习像火箭一样快速，微信扫码，获取考试解析、体验刷题服务，开启你的学习加速器！
分享考题 
