逻辑覆盖是以程序内部的逻辑结构为基础的设计测试用例的技术，其中判定/条件覆盖是比判定覆盖更严格的测试标准。
第1题：
第2题：
论述题3：针对以下C语言程序，请按要求回答问题
下面是一个简单的C语言程序：
(1)画出该函数的程序流程图。
(2)设计测试用例，分别使函数的各种逻辑覆盖率尽量达到100%。如果认为该函数的某种逻辑覆盖率无法达到100%，需要说明原因。
(3)设计特殊的测试用例，说明各种逻辑覆盖之间的关系。
问题2：
解答：
经过分析不难知上面这个程序包含：
1)五个语句：每行一个语句。
2)三个条件：a＞0；b0；c＞0
3)四个分支：有两个if语句每个if语句有两个分支。
4)六个条件组合：条件表达式(a＞0)‖b0)共有两个条件a＞0和b0故有四个条件组合；条件表达式(c＞0)只有一个条件c＞0故有两个条件组合。所以该程序共有六个条件组合。
5)四条路径：从程序的入口到出口的路径共有四条分别是：
Path1： 1—2—3—5—6—8
Path2： 1—2—3—5—7—8
Path3： 1—2—4—5—6—8
Path4： 1—2—4—5—7—8
这个程序有三个输入：a、b、c其输入数据组合是非常大的。下面对该程序分别应用不同的逻辑覆盖准则设计测试用例。
1．语句覆盖
根据语句覆盖准则只需要采用两个输入数据组合：(abc)=(111)、(-111)便可以把该程序的所有五个语句执行一遍。
2．分支覆盖(判定覆盖)
根据分支覆盖准则只需要采用两个输入数据组合：(abc)=(11-1)、(-111)便可以把该程序的所有四个分支走遍。但未考虑b0的情况故不满足条件覆盖。说明满足分支覆盖的测试用例未必满足条件覆盖。
3．条件覆盖
根据条件覆盖准则只需要采用两个输入数据组合：(abc)=(11-1)、(-1-11)便可以把该程序的三个条件的真假情况都覆盖到。由于表达式(a＞0)‖b0)的计算值都为真不会执行else语句即不满足分支覆盖和语句覆盖。说明满足条件覆盖的未必满足分支覆盖和语句覆盖。
4．条件组合覆盖
根据条件组合的覆盖准则只需要采用四个输入数据组合：(abc)=(1-11)、(111)、(-1 1-1)、(-1-1-1)便可以把该程序的六个条件组合情况覆盖到。但执行的路径数只有2个故不满足路径覆盖。说明满足条件组合的覆盖不一定满足路径覆盖。
5．路径覆盖
根据路径覆盖的准则由图17-7可见只需要采用四个输入数据组合：(abc)=(111)、(11 -1)、(-111)、(-11-1)便可以把该程序的所有四条路径都覆盖。路径覆盖是最强的覆盖准则。
问题2：
解答：
经过分析不难知，上面这个程序包含：
1)五个语句：每行一个语句。
2)三个条件：a＞0；b0；c＞0
3)四个分支：有两个if语句，每个if语句有两个分支。
4)六个条件组合：条件表达式(a＞0)‖b0)共有两个条件，a＞0和b0，故有四个条件组合；条件表达式(c＞0)只有一个条件c＞0，故有两个条件组合。所以该程序共有六个条件组合。
5)四条路径：从程序的入口到出口的路径共有四条，分别是：
Path1： 1—2—3—5—6—8
Path2： 1—2—3—5—7—8
Path3： 1—2—4—5—6—8
Path4： 1—2—4—5—7—8
这个程序有三个输入：a、b、c，其输入数据组合是非常大的。下面对该程序分别应用不同的逻辑覆盖准则，设计测试用例。
1．语句覆盖
根据语句覆盖准则，只需要采用两个输入数据组合：(a，b，c)=(1，1，1)、(-1，1，1)，便可以把该程序的所有五个语句执行一遍。
2．分支覆盖(判定覆盖)
根据分支覆盖准则，只需要采用两个输入数据组合：(a，b，c)=(1，1，-1)、(-1，1，1)，便可以把该程序的所有四个分支走遍。但未考虑b0的情况，故不满足条件覆盖。说明满足分支覆盖的测试用例未必满足条件覆盖。
3．条件覆盖
根据条件覆盖准则，只需要采用两个输入数据组合：(a，b，c)=(1，1，-1)、(-1，-1，1)，便可以把该程序的三个条件的真假情况都覆盖到。由于表达式(a＞0)‖b0)的计算值都为真，不会执行else语句，即不满足分支覆盖和语句覆盖。说明满足条件覆盖的未必满足分支覆盖和语句覆盖。
4．条件组合覆盖
根据条件组合的覆盖准则只需要采用四个输入数据组合：(a，b，c)=(1，-1，1)、(1，1，1)、(-1， 1，-1)、(-1，-1，-1)，便可以把该程序的六个条件组合情况覆盖到。但执行的路径数只有2个，故不满足路径覆盖。说明满足条件组合的覆盖不一定满足路径覆盖。
5．路径覆盖
根据路径覆盖的准则，由图17-7可见，只需要采用四个输入数据组合：(a，b，c)=(1，1，1)、(1，1， -1)、(-1，1，1)、(-1，1，-1)，便可以把该程序的所有四条路径都覆盖。路径覆盖是最强的覆盖准则。 解析：首先根据源程序画出程序流图比较容易，然后分析学过的所有的逻辑覆盖(如语句覆盖，分支覆盖，路径覆盖等)，分析针对每种逻辑覆盖的标准来设计测试用例，最后通过设计测试用例来体现各种逻辑覆盖之间的关系。
第3题：
白盒测试方法是将被测对象看成一个打开的盒子，测试人员了解程序的内部结构和处理过程，测试用例要根据程序的______来设计，测试时要尽可能多地覆盖程序中所出现的所有逻辑路径。
第4题：
在黑盒测试方法中，设计测试用例的主要根据是( )。
A.程序内部逻辑
B.程序外部功能
C.程序数据结构
D.程序流程图
第5题：
用黑盒技术设计测试用例的方法之一为( )。
A．因果图
B．逻辑覆盖
C．循环覆盖
D．基本路径测试
第6题：
此题为判断题(对，错)。
第7题：
在黑盒测试方法中，设计测试用例的主要根据是
A)程序外部功能
B)程序内部逻辑
C)程序数据结构
D)程序流程图
第8题：
使用白盒测试方法时，设计测试用例应根据()。
A.程序的内部逻辑
B.程序的复杂结构
C.程序的功能
D.使用说明书
第9题：
● 白盒测试也被称为结构测试。将软件看成透明的白盒，根据程序的内部结构和逻辑来设计测试用例，对程序的路径和过程进行测试，检查是否满足设计的需要。下列（ ）不是白盒测试设计技术。（ ）
A．条件覆盖 B．基本路径测试
C．语句覆盖 D．边界值分析
第10题：
白盒测试是根据程序的___来设计测试用例,黑盒测试是根据软件的规格说明来设计测试用例。
A.功能
B.性能
C.内部逻辑
D.内部数据