第1题：
论述题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)，便可以把该程序的所有四条路径都覆盖。路径覆盖是最强的覆盖准则。 解析：首先根据源程序画出程序流图比较容易，然后分析学过的所有的逻辑覆盖(如语句覆盖，分支覆盖，路径覆盖等)，分析针对每种逻辑覆盖的标准来设计测试用例，最后通过设计测试用例来体现各种逻辑覆盖之间的关系。
第2题：
论述题3：针对以下C语言程序，请按要求回答问题
下面是一个程序段(C语言)，试设计基本路径测试的测试用例，设计出的测试用例要保证每一个基本独立路径至少要执行一次。
函数说明：当i flag=0；返回i count+100
当i flag=l；返回i count*10
否则 返回 i count*20
输入参数：int i count int i flag
输出参数：int i retum
程序代码如下：
(1)画出该函数的控制流程图。
(2)采用基本路径测试法设计一组测试用例，保证每个基本独立路径都至少执行一次。
问题2：
解答：
第一步根据上述控制流图计算该程序的环路复杂性。
由图可以看出判定节点数为3边数为10节点总数为8故
V(G)=10-8+2=4
或V(G)=3+1=4
第二步根据环路复杂度为4可确定4条基本独立路径。
Path1：4—24
Path2：4—6—8—24
Path3：4—6—13—15—22—4—24
Path4：4—6—13—19—22—4—24
第三步设计测试用例
根据上面4条基本独立路径可以设计测试用例如下：
测试用例1
输入数据：i_flag=0或者是i_flag0的某个值。
预期输出结果：i temp=0。
测试用例2
输入数据：i_count=1i_flag=0。
预期输出结果：i temp=101。
测试用例3
输入数据：i_count=1i_flag=1。
预期输出结果：i temp=10。
测试用例4
输入数据：i count=1i_flag=2。
预期输出结果；i temp=20。
但这些测试用例是可以简化的由于路径path1是path4的真子集所以path1是可以不要的。故针对该程序最少的测试用例数为3即上述测试用例2测试用例3测试用例4。
问题2：
解答：
第一步，根据上述控制流图计算该程序的环路复杂性。
由图可以看出，判定节点数为3，边数为10，节点总数为8，故
V(G)=10-8+2=4
或V(G)=3+1=4
第二步，根据环路复杂度为4，可确定4条基本独立路径。
Path1：4—24
Path2：4—6—8—24
Path3：4—6—13—15—22—4—24
Path4：4—6—13—19—22—4—24
第三步，设计测试用例
根据上面4条基本独立路径，可以设计测试用例如下：
测试用例1
输入数据：i_flag=0，或者是i_flag0的某个值。
预期输出结果：i temp=0。
测试用例2
输入数据：i_count=1，i_flag=0。
预期输出结果：i temp=101。
测试用例3
输入数据：i_count=1，i_flag=1。
预期输出结果：i temp=10。
测试用例4
输入数据：i count=1，i_flag=2。
预期输出结果；i temp=20。
但这些测试用例是可以简化的，由于路径path1是path4的真子集，所以path1是可以不要的。故针对该程序最少的测试用例数为3，即上述测试用例2，测试用例3，测试用例4。 解析：首先根据程序的源代码，画出控制流图。然后通过控制流图可以计算出该程序的复杂度，找出所有的独立路径，根据基本路径测试法设计测试用例。
第3题：
试题二（共15分）
阅读下列说明，回答问题1至问题3，将解答填入答题纸的对应栏内。
【说明】
逻辑覆盖法是设计白盒测试用例的主要方法之一，它是通过对程序逻辑结构的遍历实现程序的覆盖。针对以下由C语言编写的程序，按要求回答问题。
struct _ProtobufCIntRange{
int start_value;
unsigned orig_index;
}；
typedef struct _ProtobufCIntRange ProtobufCIntRange;
int int_range_lookup (unsigned n_ranges, const ProtobufCIntRange *ranges, int value){
unsigned start,n； ∥1
start=0；
n=n_ranges;
while(n>1){ //2
unsigned mid= start+ n/2;
if(value< ranges[mid].start_value){ //3
n=mid-start; //4
}
else if(value>=ranges[mid].start value+
(int)(ranges[mid+1].orig_index-ranges[mid].orig_index){ //5
unsigned new_start= mid+1; //6
n=start+n-new_start,
start = new_start;
}
else //7
return (value - ranges[mid].start_value)+ ranges[mid],orig_index;
}
if(n>0){ //8
unsigned start_orig_index= ranges[start].orig_index;
unsigned range_size=ranges[start+1].orig_index - start_orig_index;
if (ranges[start].start_value<=value
&& value< (int)(ranges[start].start_value+ range_size》 //9, 10
return (value - ranges[start].start_value)+start_orig_index; //11
}
retum -1, //12
} //13
【问题1】（5分）
请给出满足100%DC（判定覆盖）所需的逻辑条件。
【问题2】 (7分)
请画出上述程序的控制流图，并计算其控制流图的环路复杂度V(G)。
【问题3】（3分）
请给出【问题2】中控制流图的线性无关路径。
第4题：
白盒测试主要进行______的覆盖测试。
A．程序设计结构
B．程序物理结构
C．程序逻辑结构
D．程序实现功能
第5题：
● 针对以下C语言程序段，假设sta[10]= -1，对于x的取值，需要__个测试用例能够满足分支覆盖的要求。 int MathMine( int x ) { int m = 0; int i; for( i = x-1; i <= x + 1; i++ ) { if ( i < 0 ) continue; if ( i >31 ) break; if ( sta[i] == -1 ) m++; } return m; }
A.3
B.4
C.5
D.6
第6题：
针对以下C语言程序段，假设sta[10]=-1，对于x的取值，需要______个测试用例能够满足分支覆盖的要求。
int MathMine(int x)
{
int m=0;
int i;
for(i=x-1; i＜=x+1; i++)
{
if (i＜0) continue;
if (i＞31) break;
if (sta[i]=-1) m++;
}
return m;
}
A．3
B．4
C．5
D．6
A．
B．
C．
D．
第7题：
阅读下列说明，回答问题1至问题3，将解答填入的对应栏内。
[说明]
逻辑覆盖是通过对程序逻辑结构的遍历实现程序的覆盖，是设计白盒测试用例的主要方法之。以下代码由C浯言书写，请按要求回答问题。
void cal (int n)
{
int g， s， b， q；
if( (n＞1000) && (n＜2000) )
{
g=n % 10；
s=n % 100 / 10；
b=n / 100 % 10；
q= n / 1000；
if( (q+g) =={ s + b ) )
{
printf("%-5d"，n)；
}
}
printf("\n")；
return；
}
请找出程序中所有的逻辑判断语句。
请分析并给出分别满足100%DC(判定覆盖)和100%CC(条件覆盖)时所需的逻辑条件。
假设n的取值范围是0＜n＜3000，请用逻辑覆盖法为n的取值设计测试用例，使用例集满足基本路径覆盖标准。
请帮忙给出每个问题的正确答案和分析，谢谢！
第8题：
此题为判断题(对，错)。
第9题：
阅读下列说明，回答问题1至问题3，将解答填入答题纸的对应栏内。
【说明】
逻辑覆盖法是设计白盒测试用例的主要方法之一，通过对程序逻辑结构的遍历实现
程序的覆盖。针对以下由C语言编写的程序，按要求回答问题。
【问题1] (6分)
请给出满足100%DC（判定覆盖）所需的逻辑条件。
【问题2] (10分)
请画出上述程序的控制流图，并计算其控制流图的环路复杂度V(G)。
【问题3]（4分）
请给出问题2中控制流图的线性无关路径。
第10题：
