第1题：
试题一（共20分）
阅读下列说明，回答问题1至问题3,将解答填入答题纸的对应栏内。
【说明】
逻辑覆盖法是设计白盒测试用例的主要方法之一，通过对程序逻辑结构的遍历实现程序的覆盖。针对以下由C语言编写的程序，按要求回答问题。
int XOR（char * filename, unsigned long key）{
FILE* input = NULL，*output = NULL; //1
char *outfilename = NULL;
int len = strlen（filename）;
unsigned charbuffer;
if（ （filename[len-2] == ‘.’） && （filename[len-l]== ‘c’））{ //2,3
outfilename = new char[len+l]; //4
strcpy（outfilename,filename）; outfilename[len-2] = ‘\0’；
}
else{ //5
outfilename = new char[len+5];
strcpy（outfilename , filename）;
strncat（outfilename,”.c”,2）;
}
input = fopen（filename，”rb”）;
if（ input = NULL）{ //6
cout<<"Error opening file " << filename<<endl ; //7
delete [] outfilename;
outfilename = NULL;
return 1;
}
output = fopen（outfilename,”&39;wbf”）;
if（ utput =NULL） { //8
cout<<"Error creating output file ”<< outfilename <<endl; //9
delete []outfilename;
outfilename =NULL;
return 1;
}
while（! feof（input） ）{ //10
if（ fread（&buffer,sizeof（unsigned char）, 1,input） != 1 ）{ //11
if（ ! feof（input））{ //12
delete [] outfilename; //13
outfllename = NULL;
fclose（input）;
fclose（output）;
return 1;
}
}
else{ //14
buffer A= key;
fwrite（&buffer,sizeof（unsigned char）, 1,output）;
}
}
fclose（input）;
fclose（output）;
delete []outfllename;
return 0;
}
【问题1】（6分）
请给出满足100%DC （判定覆盖）所需的逻辑条件。
【问题2】（10分）
请画出上述程序的控制流图，并计算其控制流图的环路复杂度V（G）。
【问题3】（4分）
请给出问题2中控制流图的线性无关路径。
试题分析
【问题1】
判定覆盖：设计足够的测试用例，使得程序中的每个判定至少都获得一次“真值”或“假值”，或者说使得程序中的每一个取“真“分支和取”假“分支至少都经历一次
逻辑条件为：
（filename[len-2] == ‘.’） && （filename[len-l] == ‘c’）真，假
input = NULL真，假
output = NULL真，假
! feof（input）真，假
fread（&buffer,sizeof（unsigned char）, 1,input） != 1真，假
! feof（input）真，假
【问题2】
控制流图是描述程序控制流的一种图示方法。其基本符号有圆圈和箭线：圆圈为控制流图中的一个结点，表示一个或多个无分支的语句；带箭头的线段称为边或连接，表示控制流。基本结构如下所示：
控制流程图的环路复杂性 V(G)等于：
（1）控制流程图中的区域个数。
（2）边数-结点数+2。
（3）判定数+1。
V（G）=8
【问题3】
线性无关路径是指包括一组以前没有处理的语句或条件的一条路径。从控制流图来看，一条线性无关路径是至少包含有一条在其他线性无关路径中从未有过的边的路径：
1，2，3，4，6，7，8，9，10
1，2，3，5，6，7，8，9，10
1，2，5，6，7，8，9，10
1，2，5，6，8，9，10
1，2，5，6，8，10
1，2，5，6，8，10，11，14
1，2，5，6，8，10，11，12
1，2，5，6，8，10，11，13
试题答案
【问题1】
（filename[len-2] == ‘.’） && （filename[len-l] == ‘c’）真，假
input = NULL真，假
output = NULL真，假
! feof（input）真，假
fread（&buffer,sizeof（unsigned char）, 1,input） != 1真，假
! feof（input）真，假
【问题2】
V（G）=8
【问题3】
1，2，3，4，6，7，8，9，10
1，2，3，5，6，7，8，9，10
1，2，5，6，7，8，9，10
1，2，5，6，8，9，10
1，2，5，6，8，10
1，2，5，6，8，10，11，14
1，2，5，6，8，10，11，12
1，2，5，6，8，10，11，13
或者其它符合要求的等价的路径组合
第2题：
阅读下面的说明，回答问题1～问题4，将解答填入答题纸对应的解答栏内。
[说明]
阅读以下说明，回答问题1～问题4，将解答填入答题纸对应的解答栏内。
windows Server 2003是一个多任务多用户的操作系统，能够以集中或分布的方式实现各种应用服务器角色，是目前应用比较广的操作系统之一。
Windows内置许多应用服务功能，将下表中(1)～(5)处空缺的服务器名称填写在答题纸对应的解答栏内。
(1)
第3题：
试题一（15 分）
阅读下列说明，回答问题1 至问题3，将解答填入答题纸的对应栏内。
[说明]
基本路径法设计出的测试用例能够保证在测试中程序的每一条可执行语句至少执
行一次。以下代码由C++语言书写，请按要求回答问题。
void ReadPara( CString temp )
{
if ( temp == ">=" )
m_oper.SetCurSel( 0 );
else
{
if ( temp == ">" )
m_oper.SetCurSel( 1 );
else
{
if ( temp == "==" )
m_oper.SetCurSel( 2 );
else
{
if ( temp == "<=" )
m_oper.SetCurSel( 3 );
else
{
if ( temp == "<" )
m_oper.SetCurSel( 4 );
else
m_oper.SetCurSel( 5 );
}
}
}
}
return;
}
[问题1]（6 分）
请画出以上代码的控制流图。
[问题2]（3 分）
请计算上述控制流图的环路复杂度 V(G)。
[问题3]（6 分）
请使用基本路径测试法为变量 temp 设计测试用例，使之满足基本路径覆盖要求。
第4题：
阅读下列说明，回答问题1至问题3，将解答填入答题纸的对应栏内。
【说明】
逻辑覆盖法是设计白盒测试用例的主要方法之一，通过对程序逻辑结构的遍历实现
程序的覆盖。针对以下由C语言编写的程序，按要求回答问题。
【问题1] (6分)
请给出满足100%DC（判定覆盖）所需的逻辑条件。
【问题2] (10分)
请画出上述程序的控制流图，并计算其控制流图的环路复杂度V(G)。
【问题3]（4分）
请给出问题2中控制流图的线性无关路径。
第5题：
阅读以下说明，回答问题1～2，将解答填入对应的解答栏内。
[说明] 某程序的功能是输入三个正整数作为边长，判断三条边构成的三角形是否等边、等腰或是一般三角形。
通过该程序的算法用等价类设计测试用例，检查逻辑覆盖标准。
(2)为合理设计等价类测试用例对于表中对应的四个合理等价类用三个测试用例覆盖见下表：
(3)为每—个不合理等价类设计一个侧试用例见下表：
(2)为合理设计等价类测试用例，对于表中对应的四个合理等价类，用三个测试用例覆盖，见下表：
(3)为每—个不合理等价类设计一个侧试用例，见下表：
第6题：
论述题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)，便可以把该程序的所有四条路径都覆盖。路径覆盖是最强的覆盖准则。 解析：首先根据源程序画出程序流图比较容易，然后分析学过的所有的逻辑覆盖(如语句覆盖，分支覆盖，路径覆盖等)，分析针对每种逻辑覆盖的标准来设计测试用例，最后通过设计测试用例来体现各种逻辑覆盖之间的关系。
第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题：
试题二（共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】中控制流图的线性无关路径。
第9题：
阅读以下关于软件测试的说明，回答司题l至问题3，将解答填入答题纸的对应
栏内。
【说明】
使用在汽车、飞机中的嵌入式软件， 日于直接影响人的生命及财产安全，测试要求
更为严格。语句覆盖、判定覆盖、条件覆盖和MC/DC覆盖是通常对这类软件的要求。
以下是一段C语言代码，请仔细阅读并回答相关问题：
【问题1】（6分）
请根据测试要求，简要说明语句覆盖、判定覆盖、条件覆盖和MC/DC覆盖的含义。
将答案填写在答题纸的对应栏中。
【问题2】（5分）
画出以上代码的流程图，将答案填写在答题纸的对应栏中。
【问题3】（4分）
请根据【说明】中的C语言代码，计算满足MC/DC覆盖要求的用例数量及条件取
值范围，将答案填写在答题纸的对应栏中．
第10题：
阅读下列C程序，回答问题1至问题3，将解答填入答题纸的对应栏内。
【C程序】
【问题1】（6分）
请针对上述C程序给出满足100%DC（判定覆盖）所需的逻辑条件。
【问题2】（9分）
请画出上述程序的控制流图，并计算其环路复杂度V(G)。
【问题3】(5分)
请给出问题2中控制流图的线性无关路径。