【说明】逻辑覆盖法是设计白盒测试用例主要方法之一，它是通过对程序逻辑结构遍历实现程序覆盖。针对以下由C 语言编写程序，按要求回答问题。 main( ){int i,n; //1for(i=1;i＜7;i++){ //2n=0; if(i!=1) //3 n=n+1; //4 if(n==5){ //5printf("Hello!"); //6 }else{ printf("No!"); //7} }printf("GAME OVER!"); //8 } 问题1：(3分)请给出满足100%DC(判定覆盖)所需逻辑条件。问题2：(8分)请画出上述程序控制流图，并计算其控制流图环路复杂度V(G)。问题3：(4分)请给出【问题2】中控制流图线性无关路径。
正确答案及解析
正确答案
解析
问题1：答案：1、i ＜ 72、i >= 73、i != 14、i == 15、n == 56、n != 5
问题2：答案：（1） 控制流图如下图所示：
（2）、V(G)=3+1=4问题3：答案：(1) 1-2-8 (2) 1-2-3-5-6-2... (3) 1-2-3-4-5-6-2...(4) 1-2-3-5-7-2…
【解析】
问题1：解析：
本小题考查白盒测试中判定覆盖法。判定覆盖指设计足够测试用例，使得被测程序中每个判定表达式至少获得-次 “真”值和“假”值，从而使程序每一个分支至少都通过一次。本题中程序一共有3个判定，所以满足判定覆盖一共就需要6个逻辑条件，这些条件详见上述答案。问题2：解析：
本题考查白盒测试方法中基本路径法。涉及到知识点包括：根据代码绘制控制流图、计算环路复杂度。控制流图是描述程序控制流一种图示方法。其基本符号有圆圈和箭线：圆圈为控制流图中一个结点，表示一个或多个无分支语句；带箭头线段称为边或连接，表示控制流。基本结构如下所示：
其中要特别注意是，如果判断中条件表达式是复合条件，即条件表达式是由一个或多个逻辑运算符连接逻辑表达式，则需要改变复合条件判断为一系列之单个条件嵌套判断。环路复杂度用来衡量一个程序模块所包含判定结构复杂程度。环路复杂度等于右图中判定节点个数加1。图中判定节点个数为3，所以V(G)=3+1=4。控制流程图环路复杂性 V(G)一共有以下三种方法，但是最后一种最好用，不易出错。（1）控制流程图中区域个数。（2）边数-结点数+2。（3）判定数+1。问题3：解析：本小题考查白盒测试用例设计方法之基本路径法。涉及到根据控制流图和环路复杂度给出线性无关路径。线性无关路径：指包含一组以前没有处理语句或条件路径。从控制流图上来看，一条线性无关路径是至少包含一条在其他线性无关路径中从未有过边路径。程序环路复杂度等于线性无关路径条数，所以本题中有4条线性无关路径。这4条路径组成了问题2中控制流图一个基本路径集。只要设计出测试用例能确保这些基本路径执行，就可以使程序中每个可执行语句至少执行一次，每个条件取真和取假分支也能得到测试。需要注意是，基本路径集不是唯一，对于给定控制流图，可以得到不同基本路径集。
