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