逻辑覆盖法是设计白盒测试用例的主要方法之一，它通过对程序逻辑结构的遍历实现程序的覆盖。针对以下由C语言编写的程序，按要求回答问题。 gz_open(constchar*mode) { char*p=(char*)mode;//1 charfmode[4]； char*m=fmode; charsmode='\0'； charlevel='\0\'; intstrategy=0; do{ if(*p=='r')//2 smode-'r';//3 if(*p＞='O'&&*p＜='9'){//4,5 level=*p-'0';//6 }elseif(*p=='f'){//7 strategy=1；//8 }else{//9 *m++=*p； } *p++；//10 }while(m!=fmode+sizeof(fmode));//11 }//12 3、请给出满足100%DC(判定覆盖)所需的逻辑条件。(6分) 4、请画出上述程序的控制流图，并计算其控制流图的环路复杂度VG.。(6分) 5、假设函数gz_open的参数mode是由26个小写字母'a'-'z'、数字'0'-'9'以及空格组成的字符串，请使用基本路径测试法构造1个测试用例，使之覆盖所有基本路径。(6分)
3、
4、控制流图
环路复杂度V(G)=6
5、构造一个6个字符构成的字符串(设为x，y，z，u，v，w 6个字符)，使得每个字符覆盖一条基本路径。其中，x='r'，y='f'，z∈['0'-'9']，u＜'0'，v＞'9'并且v!='f'，w任意，这6个字符可任意排列。例如，mode="rOf aa"。
【解析】
3、
本题考查白盒测试法的应用。
本问题考查白盒测试用例设计方法中的判定覆盖法。
判定覆盖指设计足够的测试用例，使得被测程序中每个判定表达式至少获得一次“真”值和“假”值，从而使程序的每一个分支至少都通过一次。本题中程序有4个判定，所以满足判定覆盖一共需要8个逻辑条件，如下表所示。
4、
本问题考查白盒测试用例设计方法中的基本路径法。涉及到的知识点包括：根据代码绘制控制流图、计算环路复杂度。
控制流图是描述程序控制流的一种图示方法。其基本符号有圆圈和箭线：圆圈为控制流图中的一个结点，表示一个或多个无分支的语句；带箭头的线段称为边或连接，表示控制流。基本结构如下所示：
根据题中程序绘制的控制流图如下所示。其中要特别注意的是，如果判断中的条件表达式是复合条件，即条件表达式是由一个或多个逻辑运算符连接的逻辑表达式，则需要改变复合条件的判断为一系列之单个条件的嵌套的判断。本题程序中，if(*p＞='0'&&*p＜='9')这条判断语句中的判定由两个条件组成，因此在画控制流图的时候需要拆开成两条判断语句。
环路复杂度用来衡量一个程序模块所包含的判定结构的复杂程度，数量上表现为独立路径的条数，即合理地预防错误所需测试的最少路径条数。环路复杂度等于图中判定结点的个数加1，图中判定结点个数为5，所以V(G)=6。
5、
本问题考查白盒测试用例设计方法中的基本路径法。涉及到的知识点包括：根据控制流图和环路复杂度设计测试用例。注意环路复杂度只是测试用例数的上限。
本题中程序的环路复杂度为6，因此测试用例上限为6，但本题程序比较特殊，只需要一个测试用例即可实现。例如，构造一个6个字符构成的字符串(设为x，y，z，u，v，w6个字符)，使得每个字符覆盖一条基本路径即可。其中，X='r'，y='f'，z∈['0'-'9']，u＜'0'，v＞'9'并且v!='f'，w任意，这6个字符可任意排列。
