监理工程师继续教育
逻辑覆盖是通过对程序逻辑结构的遍历实现程序的覆盖，以下描述正确的是（）A、语句覆盖的覆盖程度最弱B、采用条件判定组合覆盖的方法可以发现程序中全部的逻辑运算错误C、条件覆盖包含判定覆盖D、条件覆盖又称为分支覆盖
题目
逻辑覆盖是通过对程序逻辑结构的遍历实现程序的覆盖，以下描述正确的是（）
- A、语句覆盖的覆盖程度最弱
- B、采用条件判定组合覆盖的方法可以发现程序中全部的逻辑运算错误
- C、条件覆盖包含判定覆盖
- D、条件覆盖又称为分支覆盖
相似问题和答案
第1题：
第2题：
阅读下列说明，回答问题1至问题3，将解答填入的对应栏内。
[说明]
逻辑覆盖是通过对程序逻辑结构的遍历实现程序的覆盖，是设计白盒测试用例的主要方法之。以下代码由C浯言书写，请按要求回答问题。
void cal (int n)
{
int g， s， b， q；
if( (n＞1000) && (n＜2000) )
{
g=n % 10；
s=n % 100 / 10；
b=n / 100 % 10；
q= n / 1000；
if( (q+g) =={ s + b ) )
{
printf("%-5d"，n)；
}
}
printf("\n")；
return；
}
请找出程序中所有的逻辑判断语句。
请分析并给出分别满足100%DC(判定覆盖)和100%CC(条件覆盖)时所需的逻辑条件。
假设n的取值范围是0＜n＜3000，请用逻辑覆盖法为n的取值设计测试用例，使用例集满足基本路径覆盖标准。
请帮忙给出每个问题的正确答案和分析，谢谢！
逻辑判断语句： 1．n＞1000 2．n2000 3．(q + g)＝(s + b)
问题 2 答案解析：按照DC和CC的定义分析逻辑条件。
按照DC和CC的定义分析逻辑条件。
问题 3 答案解析：可按以下步骤完成： 1．画控制流图。 2．计算V(G)=3。 3．找出线性独立路径。 4．按路径执行过程中的逻辑条件设计相应数据。
可按以下步骤完成： 1．画控制流图。 2．计算V(G)=3。 3．找出线性独立路径。 4．按路径执行过程中的逻辑条件设计相应数据。
第3题：
● 以下关于软件测试的说法正确的包括（30） 。
①代码走查是静态测试方法，白盒测试是动态测试方法
②黑盒测试的对象是程序逻辑结构，白盒测试的对象是程序接口
③无论黑盒测试，还是白盒测试，都无法用穷举法设计全部用例
④对发现错误较多的程序段，应进行更深入的测试。因为发现错误数多的程序段，其质量较差，同时在修改错误过程中又容易引入新的错误
⑤测试覆盖标准从发现错误的强弱能力依次是路径覆盖、 条件组合覆盖、 判定覆盖条件覆盖、语句覆盖
（30）
A．①③④
B．①②③
C．③④⑤
D．②③④
第4题：
getit( int m)
{
int i, k;
k=sqrt(m);
for ( i=2; i＜=k; i++)
if (m % i=0) break;
if ( i＞=k+1 )
printf( "%d is a selected number\n", m);
else
printf( "%d is not a selected number\n", m );
}
7、请找出程序中所有的逻辑判断子语句。（5分）
8、请将满足100%DC(判定覆盖)所需的逻辑条件填入下表。（8分）
9、请画出上述程序的控制流图，并计算其控制流图的环路复杂度VG.。假设函数getit的参数m取值范围是150＜m＜160，请使用基本路径测试法设计测试用例，将参数m的取值填入下表，使之满足基本路径覆盖要求。（4分）
本题考查对编程语言的理解，着重考查判断语句。
程序中的逻辑判断子语句如下：
i＜=k
m%i==0
i＞=k+1
8、
本题考查白盒测试用例设计方法：判定覆盖法。判定覆盖法又称为逻辑覆盖，是通过对程序逻辑结构的遍历实现程序的覆盖。
9、
本题考查白盒测试用例设计方法：基本路径法。涉及的知识点包括：根据代码绘制程序流图、计算环路复杂度以及设计测试用例。注意测试用例的数目本应和环路复杂度是一致的，但存在特殊情况。
控制流图：
环路复杂度：
V(G)=4
基本路径覆盖用例：
第5题：
阅读下列说明，回答问题1至问题3，将解答填入答题纸的对应栏内。
【说明】
逻辑覆盖法是设计白盒测试用例的主要方法之一，通过对程序逻辑结构的遍历实现
程序的覆盖。针对以下由C语言编写的程序，按要求回答问题。
【问题1] (6分)
请给出满足100%DC（判定覆盖）所需的逻辑条件。
【问题2] (10分)
请画出上述程序的控制流图，并计算其控制流图的环路复杂度V(G)。
【问题3]（4分）
请给出问题2中控制流图的线性无关路径。
本题考查白盒测试技术的应用。
【问题1】
本问题考查白盒测试用例设计方法：判定覆盖法。
判定覆盖指设计足够的测试用例，使得被测程序中每个判定表达式至少获得一次
“真”值和“假”值，从而使程序的每一个分支至少都通过一次。本题中程序有6个判定，
所以满足判定覆盖一共需要12个逻辑条件。
【问题2】
本问题考查白盒测试用例设计方法：基本路径法。涉及的知识点包括：根据代码绘
制控制流图、计算环路复杂度。
控制流图是描述程序控制流的一种图示方式，它由节点和定向边构成。控制流图的
节点代表一个基本块，定向边代表控制流的方向。其中要特别注意的是，如果判断中的
条件表达式是复合条件，即条件表达式是由一个或多个逻辑运算符连接的逻辑表达式，
则需要改变复合条件的判断为一系列之单个条件的嵌套的判断。本题程序中，
if（(filename[len-2]==’．’)&&(filename[len．1]=’c’)）这条判断语句中的判定由两个条件
组成，因此在画控制流图的时候需要拆开成两条判断语句。程序的环路复杂度等于控制
流图中判定节点的个数加1，本题控制流图I中判定节点个数为7，所以V(G)=8。
【问题3】
本问题考查白盒测试用例设计方法：基本路径法。涉及的知识点包括：根据控制流
图和环路复杂度给出线性无关路径。
线性无关路径是指包含一组以前没有处理的语句或条件的路径。从控制流图上来
看，一条线性无关路径是至少包含一条在其他线性无关路径中从未有过的边的路径。程
序的环路复杂度等于线性无关路径的条数，所以本题中应该有8条线性无关路径。
参考答案
【问题2]
环路复杂度V(G)=8。
线性无关路径：
1.1-2-3-4-6-7-8-9-10-11-12-13-10......
2.1-2-5-6-7-8-9-10-11-12-13-10.....
3.1-2-3-5-6-7-8-9-10-11-12-13-10...
4.1-2-3-4-6-8-9-10-11-12-13-10...
5.1-2-3-4-6-7-8-10-11-12-13-10....
6.1-2-3-4-6-7-8-9-10-15
7.1-2-3-4-6-7-8-9-10-11-14-10.....
8.1-2-3-4-6-7-8-9-10-11-12-10....
第6题：
此题为判断题(对，错)。
第7题：
●以下关于白盒测试的叙述中，不正确的是（63）。
A．白盒测试仅与程序的内部结构有关，完全可以不考虑程序的功能要求
B．逻辑覆盖法是_种常用的白盒测试方法
C．程序中存在很多判定和条件，不可能实现100%的条件覆盖
D．测试基于代码，无法确定设计正确与否
第8题：
此题为判断题(对，错)。
第9题：
白盒测试主要进行______的覆盖测试。
A．程序设计结构
B．程序物理结构
C．程序逻辑结构
D．程序实现功能
第10题：
问题1：(6分) 请针对上述C程序，给出满足100%DC（判定覆盖）所需的逻辑条件。
问题2：(7分)请画出上述程序的控制流图，并计算其控制流图的环路复杂度V(G)。
问题3：(3分)请给出【问题2】中控制流图的线性无关路径。
问题2：答案：（1）控制流图如下图所示：
（2）V(G)=10+1=11
问题3：答案：(1)1-2-19 (2) 1-2-3-19 (3) 1-2-3-4-12-13-17-19(4) 1-2-3-4-12-13-14-17-19 (5) 1-2-3-4-12-13-14-15-17-19(6) 1-2-3-4-12-13-14-15-16-17-19 (7) 1-2-3-4-12-13-14-15-16-18-19(8) 1-2-3-4-5-11-19 (9)1-2-3-4-5-6-10-19(10) 1-2-3-4-5-6-7-9-19 (11) 1-2-3-4-5-6-7-8-19
【解析】
问题1本小题考查白盒测试中的判定覆盖法。判定覆盖指设计足够的测试用例，使得被测程序中每个判定表达式至少获得-次 “真”值和“假”值，从而使程序的每一个分支至少都通过一次。本题中程序一共有6个判定，所以满足判定覆盖一共就需要12个逻辑条件，这些条件详见上述答案。问题2：本题考查白盒测试方法中的基本路径法。涉及到的知识点包括：根据代码绘制控制流图、计算环路复杂度。控制流图是描述程序控制流的一种图示方法。其基本符号有圆圈和箭线：圆圈为控制流图中的一个结点，表示一个或多个无分支的语句；带箭头的线段称为边或连接，表示控制流。基本结构如下所示：
其中要特别注意的是，如果判断中的条件表达式是复合条件，即条件表达式是由一个或多个逻辑运算符连接的逻辑表达式，则需要改变复合条件的判断为一系列之单个条件的嵌套的判断。环路复杂度用来衡量一个程序模块所包含的判定结构的复杂程度。环路复杂度等于右图中的判定的节点个数加1。图中判定节点个数为10，所以V(G)=10+1=11。控制流程图的环路复杂性 V(G)一共有以下三种方法，但是最后一种最好用，不易出错。（1）控制流程图中的区域个数。（2）边数-结点数+2。（3）判定数+1。
问题3：本小题考查白盒测试用例设计方法之基本路径法。涉及到根据控制流图和环路复杂度给出线性无关路径。线性无关路径：指包含一组以前没有处理的语句或条件的路径。从控制流图上来看，一条线性无关路径是至少包含一条在其他线性无关路径中从未有过的边的路径。程序的环路复杂度等于线性无关路径的条数，所以本题中有11条线性无关路径。这11条路径组成了问题2中控制流图的一个基本路径集。只要设计出的测试用例能确保这些基本路径的执行，就可以使程序中的每个可执行语句至少执行一次，每个条件的取真和取假分支也能得到测试。需要注意的是，基本路径集不是唯一的，对于给定的控制流图，可以得到不同的基本路径集。