【说明】
逻辑覆盖法是设计白盒测试用例的主要方法之一，通过对程序逻辑结构的遍历实现程序的覆盖。针对以下由C语言编写的程序，按要求回答问题。
【问题1】 请给出满足100%DC(判定覆盖)所需的逻辑条件。
【问题2】请画出上述程序的控制流图，并计算其控制流图的环路复杂度V(G)。
【问题3】请给出问题2中控制流图的线性无关路径。
【分析】
本题考查白盒测试技术的应用
【问题1】
本问题考查白盒测试用例设计方法：判定覆盖法。
判定覆盖指设计足够的测试用例，使得被测程序中每个判定表达式至少获得一次“真”值和“假”值，从而使程序的每一个分支至少都通过一次。本题中程序有6个判定，所以满足判定覆盖一共需要12个逻辑条件。
| 编号 | 条件 |
|---|---|
| 1 | ((filename[len-2]=='.')&&(filename[]len-1]=='c')) |
| 2 | ！((filename[len-2]=='.')&&(filename[]len-1]=='c')) |
| 3 | input==NULL |
| 4 | input！=NULL |
| 5 | output==NULL |
| 6 | output!=NULL |
| 7 | !feof(input) |
| 8 | feof(input) |
| 9 | fread(&buffer,sizeof(unsigned char),1,input) != 1 |
| 10 | fread(&buffer,sizeof(unsigned char),1,input) == 1 |
| 11 | !feof(input) |
| 12 | feof(input) |
【问题2】
本问题考查白盒测试用例设计方法：基本路径法。涉及的知识点包括：根据代码绘制控制流图、计算环路复杂度。
控制流图是描述程序控制的一种图示方式，它由节点和定向边构成。控制流图的节点代表一个基本块，定向边代表控制流的方向。其中要特别注意的是，如果判断中的条件表达式是复合条件，即条件表达式是由一个或多个逻辑运算符连接的逻辑表达式，则需要改变复合条件的判断为一系列之单个条件的嵌套的判断。本题程序中，if((filename[len-2]=='.')&&(filename[]len-1]=='c'))这条判断语句中的判定由两个条件组成，因此在画控制流图的时候需要拆开成两条判断语句。程序的环路复杂度等于控制流图中判定节点的个数加1，本题控制流图中判定节点个数为7，所以V(G)=8
【问题3】
本题考查白盒测试用例涉及方法：基本路径法。涉及的知识点包括：根据控制流图和环路复杂度给出线性无关路径。
线性无关路径是指包含一组以前没有处理的语句或条件的路径。从控制流图上来看，一条线性无关路径是至少包含一条在其他线性无关路径中从未有过的边的路径。程序的环路复杂度等于线性无关路径的条数，所以本题中应该有8条线性无关路径。
- 1-2-3-4-6-7-8-9-10-11-12-13-10...
- 1-2-5-6-7-8-9-10-11-12-13-10...
- 1-2-3-5-6-7-8-9-10-11-12-13-10...
- 1-2-3-4-6-8-9-10-11-12-13-10...
- 1-2-3-4-6-7-8-10-11-12-13-10...
- 1-2-3-4-6-7-8-9-10-15
- 1-2-3-4-6-7-8-9--10-11-14-10...
- 1-2-3-4-6-7-8-10-11-12-10...