白盒测试用例练习
白盒测试用例练习
1．为以下所示的程序段设计一组测试用例，要求分别满足语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖，并画出相应的程序流程图。
void DoWork (int x,int y,int z)
{
int k=0,j=0;
if ( (x>3)&&(z<10) )
{ k=x*y-1;
j=sqrt(k); //语句块1
}
if ( (x==4)||(y>5) )
{
j=x*y+10;
} //语句块2
j=j%3; //语句块3
}
由这个流程图可以看出，该程序模块有4条不同的路径：
P1:(a-c-e) P2:(a-c-d)
P3:(a-b-e) P4:(a-b-d)
将里面的判定条件和过程记录如下：
判定条件M＝{x>3 and z<10}
判定条件N={x=4 or y>5}
1、语句覆盖
2、判定覆盖
也可以让测试用例测试路径P2和P3。相应的两组输入数据如下：
3、条件覆盖
对于M：x>3取真时T1，取假时F1;
z<10取真时T2，取假时F2；
对于N：x=4取真时T3，取假时F3;
y>5取真时T4，取假时F4。
条件：x>3,z<10,x=4,y>5
条件：x<=3,z>=10,x!=4,y<=5
5、组合覆盖
条件组合
1)x>3,z<10 2)x>3,z>=10
3) x<=3,z<10 4)x<=3,z>=10
5)x=4,y>5 6)x=4,y<=5
6
题目二：三角形问题
在三角形计算中，要求输入三角型的三个边长：A、B 和C。当三边不可能构成三角形时提示错误，可构成三角形时计算三角形周长。若是等腰三角形打印“等腰三角形”，若是等边三角形，则提示“等边三角形”。画出程序流程图、控制流程图、计算圈复杂度V(g)，找出基本测试路径。
一、核心程序代码
/** 判断三角形的类*/
public class TriangleTestMethod {
/** 判断三角形的种类。参数a, b, c分别为三角形的三边，
* 返回的参数值为0，表示非三角形；
* 为1，表示普通三角形；
* 为2，表示等腰三角形；
* 为3，表示等边三角形。
*/
public static int comfirm(int a, int b, int c) {
if((a + b > c) && (b + c > a) && (a + c > b)) { // 判断为三角形
if((a == b) && (b ==c)) // 判断为等边三角形
return 3;
if((a == b) || (b == c) || (a == c)) // 判断为等腰三角形return 2;
else // 判断为普通三角形
return 1;
}
else { // 为非三角形
return 0;
}
}
}
二、程序流程图
三、测试用例
四、程序控制流图
基本路径覆盖测试用例
题目三：计算生日是星期几
已知公元1年1月1日是星期一。编写一个程序，只要输入年月日，就能回答那天是星期几。应用逻辑覆盖方法和基路径测试方法为上面的问题设计测试用例
一．程序代码
#include
int check(int year,int month,int day){
int pass=1;
int leap=0;
if( (year%4==0 && year%100!=0 )|| year%400==0 )
leap=1;
if(year<1 ||day<1) return 0;
switch(month)
{ case 1:case 3:case 5:case 7:case 8:case 10:case 12:if(day>31)return 0;break; case 4:case 6:case 9:case 11:if(day>30) return 0; break;
case 2: if(leap==1&&day>29) {return 0;}
if(leap==0&&day>28){return 0;}
break;
default:return 0;break;
}
return pass;
}
void fun(){
int year,month,day,sumday;
sumday=0;
printf("input year,month,day:\n");
scanf("%d%d%d",&year,&month,&day);
if(check(year,month,day)==0){printf("输入的日期无效");return;}
if(month==1||month==2)
{ month+=12;
year--;
}
sumday=(day+2*month+3*(month+1)/5+year+year/4-year/100+year/400)%7;
if(month==13||month==14)
{ month-=12; year++;}
switch(sumday)
{case 0:printf("%d-%d-%d is Monday\n",year,month,day);break;
case 1:printf("%d-%d-%d is Tuesday\n",year,month,day);break;
case 2:printf("%d-%d-%d is Wednesday\n",year,month,day);break;
case 3:printf("%d-%d-%d is Thurday\n",year,month,day);break;
case 4:printf("%d-%d-%d is Friday\n",year,month,day);break;
case 5:printf("%d-%d-%d is Saturday\n",year,month,day);break;
case 6:printf("%d-%d-%d is Sunday\n",year,month,day);break;
default:printf("date error");break;
}
}
main()
{ for(int i=0;i<14;i++)
fun();
}
二．画出程序的控制流图
1.程序流程图如下：
2.程序控制流图如下：
3.用基本路径的测试路径
4.测试用例
题目四：选择排序
下面是选择排序的程序，其中datalist是数据表，它有两个数据成员：一是元素类型为Element的数组V，另一个是数组大小n。算法中用到两个操作，一是取某数组元素V[i]的关键码操作getKey ( )，一是交换两数组元素内容的操作Swap( )：：
void SelectSort ( datalist & list ) {
/对表list.V[0]到list.V[n-1]进行排序, n是表当前长度。
for ( int i = 0; i < list.n-1; i++ ) {
int k = i; //在list.V[i].key到list.V[n-1].key中找具有最小关键码的对象
for ( int j = i+1; j < list.n; j++)
if ( list.V[j].getKey ( ) < list.V[k].getKey ( ) ) k = j;//当前具最小关键码的对象
if ( k != i ) Swap ( list.V[i], list.V[k] ); //交换
}
}
（1）试计算此程序段的McCabe复杂性；
（2）用基本路径覆盖法给出测试路径；
（3）为各测试路径设计测试用例。
解答如下：
首先画出程序的流程图
（1）McCabe复杂性为：
V(G)=判定节点数+1=4+1=5
（2）用基本路径覆盖法给出测试路径：
从以上程序图中确定无关的基本路径：Path1:0-1-2-12
Path2: 0-1-2-3-4-5-9-11
Path3: 0-1-2-3-4-5-9-10-11
Path4: 0-1-2-3-4-5-6-8
Path5: 0-1-2-3-4-5-6-7-8
（3）为各测试路径设计测试用例：
由于节点2和节点5判定条件是等价的，所以Path2和Path3不可直达。A={1},n=1
路径：0-1-2-12
A={1,2},n=2
路径：0-1-2-3-4-5-6-8-5-9-11-2-12
A={2,1},n=2
路径：0-1-2-3-4-5-6-7-8-5-9-10-11-2-12
A={1,3,2 },n=3
路径：0-1-2-3-4-5-6-8-5-9-11-2-3-4-5-6-7-8-5-9-10-11-2-12
软件测试-白盒测试用例练习题,DOC
白盒测试用例练习 一、为以下所示的程序段设计一组测试用例，要求分别满足语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖，并画出相应的程序流程图。 voidDoWork(intx,inty,intz) { intk=0,j=0; if((x>3)&&(z<10)) {k=x*y-1; j=sqrt(k);//语句块1 } if((x==4)||(y>5)) { j=x*y+10; }//语句块2 j=j%3;//语句块3 } a Y c N b e Y N d 由这个流程图可以看出，该程序模块有4条不同的路径： P1:(a-c-e)P2:(a-c-d) P3:(a-b-e)P4:(a-b-d) 将里面的判定条件和过程记录如下： 判定条件M ＝{x>3andz<10} 判定条件N={x=4ory>5} 1、 语句覆盖 测试用例输入 输出 判定M 的取值 判定N 的取值 覆盖路径 x=4,z=5,y=8 k=31,j=0 T T P1(a-c-e) 2、判定覆盖 x>3 and z<10 x=4 or y>5 j=j%3 j=x*y+10 k=x*y-1 j=sqrt(k ) k=0 j=0
p1和p4可以作为测试用例，其中p1作为取真的路径，p4作为取反的路径。 测试用例输入输出判定M的取 值 判定N的取值覆盖路径 x=4,z=5,y=8 k=31,j=0 T T P1(a-c-e) x=2,z=11,y= 5 k=0,j=0 F F P4(a-b-d) 也可以让测试用例测试路径P2和P3。相应的两组输入数据如下： 测试用例输入输出判定M的取 值 判定N的取 值 覆盖路径 x=5,z=5,y=4 k=19,j=sqrt(1 9)%3 T F P2(a-c-d) x=4,z=11,y= 6 k=0,j=1 F T P3(a-b-e) 3、条件覆盖 对于M：x>3取真时T1，取假时F1; z<10取真时T2，取假时F2； 对于N：x=4取真时T3，取假时F3; y>5取真时T4，取假时F4。 条件：x>3,z<10,x=4,y>5 条件：x<=3,z>=10,x!=4,y<=5 根据条件覆盖的基本思路，和这8个条件取值，组合测试用例如表所示: 测试用例输 入 输出取值条件具体取值条件覆盖路径 x=4,z=5,y=8 k=31,j= 0 T1，T2，T3， T4 x>3,z<10,x=4,y>5 P1(a-c-e) x=3,z=11,y= 5 k=0,j=0 F1，F2，F3， F4 x<=3,z>=10,x!=4, y<=5 P4(a-b-d) 4、判定/条件覆盖 测试用例输 入 输出取值条件具体取值条件覆盖路径 x=4,z=5,y=8 k=31,j= 0 T1，T2，T3， T4 x>3,z<10,x=4,y>5 P1(a-c-e) x=3,z=11,y= 5 k=0,j=0 F1，F2，F3， F4 x<=3,z>=10,x!=4, y<=5 P4(a-b-d) 5、组合覆盖 条件组合 1)x>3,z<102)x>3,z>=10 3)x<=3,z<104)x<=3,z>=10 5)x=4,y>56)x=4,y<=5 7)x!=4,y>58)x!=4,y<=5 测试用例输入输出覆盖条件取值覆盖条件组覆盖路径
白盒与黑盒测试的测试用例设计(20210110002601)
第 5 章白盒与黑盒测试的测试用例设计 5.1 覆盖率的概念 覆盖率是用来度量测试完整性的一个手段逻辑覆盖和功能覆盖 覆盖率=（至少被执行一次的item 数）/item 总数 5.2 白盒测试的测试用例设计 5.2.1 逻辑覆盖逻辑覆盖是以程序内部的逻辑结构为基础的测试用例设计技术，属白盒测试。为了衡量测试的覆盖程度，需要建立一些作为测试彻底度的定量衡量标准。目前常用的覆盖标准是：语句覆盖；判定覆盖；条件覆盖；判定/ 条件覆盖；条件组合覆盖;路径覆盖 一、语句覆盖语句覆盖就是设计若干个测试用例，运行所测的程序，使得每一可执行语句至少执行一次。 二、判定覆盖判定覆盖就是设计若干个测试用例，使程序中的每个判断至少出现一次“真值”和一次“假值”，即程序中的每个分支都至少执行一次。 三、条件覆盖条件覆盖是指利用若干个测试用例，使被测试的程序中，对应每个判断中每个条件的所有可能情况均至少执行一次。 四、判定/ 条件覆盖 判定/ 条件覆盖就是设计足够多的测试用例，使得程序中每个判断条件的所有可能的结果至少取到一次，又使每次判断的每个分支至少通过一次。 五、条件组合覆盖 解决上述问题的新标准是条件组合覆盖。条件组合覆盖就是设计足够多的测试用例，使得每个判断的所有可能的条件取值组合至少执行一次。 六、逻辑覆盖举例 [例1]试用逻辑覆盖测试法为采用冒泡排序（bubble sorting ）法进行数据排序的C 程序设
计测试用例。 本例是一个对k 个整数进行升序排序的C 程序，采用的算法是冒泡排序。基 本步骤是： （1）从数组中取出第2 个元素； （2）如果新取出的元素大于等于其前邻元素，则转向第（4）步； （3）如果新取出的元素小于其前邻元素，则与其前邻元素交换位置； （4）将新元素与新的前邻元素比较，若仍小于新的前邻元素，则重复第（3）步； （5）取下一个元素。如果数组中元素已取完则结束排序，否则转向第（2）步。 下面将给出本例的C程序。图2则是排序部分的流程图。 main（） { int a[11],i,j,k,temp; scanf（“%d”,k）; printf（“input numbers: n”）; for（i=1;i<=k;i++） scanf（“ %d”,&a[i]）;
白盒测试用例设计方法
1白盒测试用例设计方法 1.1白盒测试简介 白盒测试又称结构测试、逻辑驱动测试或基于程序的测试，一般多发生在单元测试阶段。白盒测试方法主要包括逻辑覆盖法，基本路径法，程序插装等。 这里重点介绍一下常用的基本路径法，对于逻辑覆盖简单介绍一下覆盖准则。 1.2基本路径法 在程序控制流图的基础上,通过分析控制构造的环路复杂性，导出独立路径集合，从而设计测试用例，设计出的测试用例要保证在测试中程序的每一个可执行语句至少执行一次。 在介绍基本路径测试方法（又称独立路径测试）之前，先介绍流图符号： 图1 如图1所示，每一个圆，称为流图的节点，代表一个或多个语句，流程图中的处理方框序列和菱形决策框可映射为一个节点，流图中的箭头，称为边或连接，代表控制流，类似于流程图中的箭头。一条边必须终止于一个节点，即使该节点并不代表任何语句，例如，图2中两个处理方框交汇处是一个节点，边和节点限定的范围称为区域。 图2
任何过程设计表示法都可被翻译成流图，下面显示了一段流程图以及相应的流图。 注意，程序设计中遇到复合条件时（逻辑or, and, nor 等），生成的流图变得更为复杂，如(c)流图所示。此时必须为语句IF a OR b 中的每一个a 和b 创建一个独立的节点。
(c)流图 独立路径是指程序中至少引进一个新的处理语句集合，采用流图的术语，即独立路径必须至少包含一条在定义路径之前不曾用到的边。例如图(b)中所示流图的一个独立路径集合为： 路径1：1-11 路径2：1-2-3-4-5-10-1-11 路径3：1-2-3-6-8-9-10-1-11 路径4：1-2-3-6-7-9-10-1-11 上面定义的路径1，2，3 和4 包含了(b)流图的一个基本集，如果能将测试设计为强迫运行这些路径，那么程序中的每一条语句将至少被执行一次，每一个条件执行时都将分别取true 和false（分支覆盖）。应该注意到基本集并不唯一，实际上，给定的过程设计可派生出任意数量的不同基本集。如何才能知道需要寻找多少条路径呢？可以通过如下三种方法之一来计算独立路径的上界： 1. V=E-N+2，E 是流图中边的数量，N 是流图节点数量。 2. V=P+1，P 是流图中判定节点的数量 3. V=R，R 是流图中区域的数量 例如，(b)流图可以采用上述任意一种算法来计算独立路径的数量 1. V=11 条边-9 个节点+2=4 2. V=3 个判定节点+1=4 3. 流图有4 个区域，所以V=4 由此为了覆盖所有程序语句，必须设计至少4 个测试用例使程序运行于这4 条路径。 在采用基本路径测试方法中，获取测试用例可参考以下方式：
软件测试-白盒测试用例练习题
软件测试-白盒测试用例练 习题 本页仅作为文档页封面，使用时可以删除 This document is for reference only-rar21year.March
白盒测试用例练习 一、为以下所示的程序段设计一组测试用例，要求分别满足语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖，并画出相应的程序流程图。 void DoWork (int x,int y,int z) { int k=0,j=0; if ( (x>3)&&(z<10) ) { k=x*y-1; j=sqrt(k); //语句块1 } if ( (x==4)||(y>5) ) { j=x*y+10; } //语句块2 j=j%3; //语句块3 }
由这个流程图可以看出，该程序模块有4条不同的路径： P1:(a-c-e) P2:(a-c-d) P3:(a-b-e) P4:(a-b-d) 将里面的判定条件和过程记录如下： 判定条件M＝{x>3 and z<10} 判定条件N={x=4 or y>5} 1、语句覆盖 2、判定覆盖 p1和p4可以作为测试用例，其中p1作为取真的路径，p4作为取反的路径。 也可以让测试用例测试路径P2和P3。相应的两组输入数据如下： 3、条件覆盖 对于M：x>3取真时T1，取假时F1; z<10取真时T2，取假时F2； 对于N：x=4取真时T3，取假时F3; y>5取真时T4，取假时F4。
条件：x>3,z<10,x=4,y>5 条件：x<=3,z>=10,x!=4,y<=5 根据条件覆盖的基本思路，和这8个条件取值，组合测试用例如表所示: 4、判定/条件覆盖 5、组合覆盖 条件组合 1)x>3,z<10 2)x>3,z>=10 3) x<=3,z<10 4)x<=3,z>=10 5)x=4,y>5 6)x=4,y<=5 7)x!=4,y>5 8)x!=4,y<=5
白盒测试方法
一、白盒测试概念 1、定义 白盒测试又称结构测试、透明盒测试、逻辑驱动测试、基于代码的测试。盒子指被测试的软件，白盒指盒子是可视的。白盒测试是一种测试用例设计方法，测试人员依据程序内部逻辑结构相关信息，设计或选择测试用例。白盒测试主要针对被测程序的源代码，主要用于软件验证，不考虑软件的功能实现，只验证内部动作是否按照设计说明书的规定进行。 2、目的 我们一方面注重软件功能需求的实现，另一方面还要注重程序逻辑细节，主要是因为软件自身的缺陷，具体如下： 1）逻辑错误和不正确假设与一条程序路径被运行的可能性成反比。日常处理往往被很好地了解，而“特殊情况”的处理则难于发现。 2）我们经常相信某逻辑路径不可能被执行，而事实上，它可能在正常的基础上被执行。程序的逻辑流有时是违反直觉的，只有路径测试才能发现这些错误。 3）代码中的笔误是随机且无法杜绝的。笔误出现在主流上和不明显的逻辑路径上的机率是一样的。很多被语法检查机制发现，但是其他的会在测试开始时才会被发现。 4）功能测试本身的局限性。如果程序实现了没有被描述的行为，功能测试是无法发现的，例如病毒，而白盒测试很容易发现它。 3、目标 采用白盒测试必须遵循以下几条原则，才能达到测试的目标： 1）保证一个模块中的所有独立路径至少被测试一次。 2）所有逻辑值均需测试真(true) 和假(false)两种情况。 3）检查程序的内部数据结构，保证其结构的有效性。 4）在上下边界及可操作范围内运行所有循环。 4、黑白灰区别 黑盒测试技术：也称功能测试或数据驱动测试，只关注规格说明中的功能，测试者在程序接口对软件界面和软件功能进行测试，它只检查实现了的功能是否按照“用户需求说明书”的规定正常使用，程序是否能适当地接收输入数据而产生正确的输出信息，并且保持外部信息（如数据库或文件）的完整性。主要用于软件确认测试，结合兼容、性能测试等方面，但黑盒测试不能保证已经实现的各个部分都被测试到。黑盒测试适用于各阶段测试。 白盒测试技术：只关注软件产品的测试，深入到代码一级的测试，它是知道产品内部结构，通过测试来检测产品内部动作是否按照“设计规格说明书”的规定正常进行，按照程
白盒测试用例练习题(1)
白盒测试用例练习 1．为以下所示的程序段设计一组测试用例，要求分别满足语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖，并画出相应的程序流程图。 void DoWork (int x,int y,int z) { int k=0,j=0; if ( (x>3)&&(z<10) ) { k=x*y-1; j=sqrt(k); //语句块1 } if ( (x==4)||(y>5) ) { j=x*y+10; } //语句块2 j=j%3; //语句块3 } a Y c N b e Y N d x>3 and z<10 x=4 or y>5 j=j%3 j=x*y+10 k=x*y-1 j=sqrt(k) k=0 j=0
由这个流程图可以看出，该程序模块有4条不同的路径： P1:(a-c-e) P2:(a-c-d) P3:(a-b-e) P4:(a-b-d) 将里面的判定条件和过程记录如下： 判定条件M＝{x>3 and z<10} 判定条件N={x=4 or y>5} 1、语句覆盖 测试用例输入输出判定M的取值判定N的取值覆盖路径x=4,z=5,y=8 k=31,j=0 T T P1(a-c-e) 2、判定覆盖 p1和p4可以作为测试用例，其中p1作为取真的路径，p4作为取反的路径。 测试用例输入输出判定M的取值判定N的取值覆盖路径x=4,z=5,y=8 k=31,j=0 T T P1(a-c-e) x=2,z=11,y=5 k=0,j=0 F F P4(a-b-d) 也可以让测试用例测试路径P2和P3。相应的两组输入数据如下： 测试用例输入输出判定M的取值判定N的取值覆盖路径x=5,z=5,y=4 k=19,j=sqrt(19)%3 T F P2(a-c-d) x=4,z=11,y=6 k=0,j=1 F T P3(a-b-e) 3、条件覆盖 对于M：x>3取真时T1，取假时F1; z<10取真时T2，取假时F2； 对于N：x=4取真时T3，取假时F3; y>5取真时T4，取假时F4。 条件：x>3,z<10,x=4,y>5 条件：x<=3,z>=10,x!=4,y<=5 根据条件覆盖的基本思路，和这8个条件取值，组合测试用例如表所示: 测试用例输入输出取值条件具体取值条件覆盖路径x=4,z=5,y=8 k=31, j=0 T1，T2，T3，T4 x>3,z<10,x=4,y>5 P1(a-c-e) x=3,z=11,y=5 k=0, j=0 F1，F2，F3，F4 x<=3,z>=10,x!=4,y<=5 P4(a-b-d) 4、判定/条件覆盖 测试用例输入输出取值条件具体取值条件覆盖路径x=4,z=5,y=8 k=31, j=0 T1，T2，T3，T4 x>3,z<10,x=4,y>5 P1(a-c-e) x=3,z=11,y=5 k=0, j=0 F1，F2，F3，F4 x<=3,z>=10,x!=4,y<=5 P4(a-b-d)
软件测试练习2
一、判断题（每题2分,正确的“√”，错误的“╳”） 1．软件测试的目的是尽可能多的找出软件的缺陷。(√) 2．Beta 测试是验收测试的一种。(√) 3．验收测试是由最终用户来实施的。(╳) 4．项目立项前测试人员不需要提交任何工件。(√) 5．单元测试能发现约80%的软件缺陷。(√) 6．代码评审是检查源代码是否达到模块设计的要求。(╳) 7．自底向上集成需要测试员编写驱动程序。(√) 8．负载测试是验证要检验的系统的能力最高能达到什么程度。(╳) 9．测试人员要坚持原则，缺陷未修复完坚决不予通过。(╳) 10．代码评审员一般由测试员担任。(╳) 11．我们可以人为的使得软件不存在配置问题。(╳) 12．集成测试计划在需求分析阶段末提交。(╳) 13 、好的测试员不懈追求完美。(√) 14、测试程序仅仅按预期方式运行就行了。(╳) 15、不存在质量很高但可靠性很差的产品。(╳) 16、软件测试员可以对产品说明书进行白盒测试。(╳) 17、静态白盒测试可以找出遗漏之处和问题。(√) 18、总是首先设计白盒测试用例。(╳) 19、可以发布具有配置缺陷的软件产品。(√) 20、所有软件必须进行某种程度的兼容性测试。(√) 21、所有软件都有一个用户界面，因此必须测试易用性。(╳) 22、测试组负责软件质量。(╳) 二、简答题 1、什么是软件测试？ 答：软件测试是为了发现错误而执行程序的过程。或者说，软件测试是根据软件开发各阶段的规格说明和程序的内部结构而精心设计一批测试用例（即输入数据及其预期的输出结果），并利用这些测试用例去运行程序，以发现程序错误的过程。 2、软件测试的目的？ 答：测试的目的是想以最少的人力、物力和时间找出软件中潜在的各种错误和缺陷，通过修正种错误和缺陷提高软件质量，回避软件发布后由于潜在的软件缺陷和错误造成的隐患带来的商业风险。 3、白盒测试有哪几种方法？ 答：白盒测试也称结构测试或逻辑驱动测试，它是知道产品内部工作过程，可通过测试来检测产品内部动作是否按照规格说明书的规定正常进行，按照程序内部的结构测试程序，检验程序中的每条通路是否都有能按预定要求正确工作，而不顾它的功能，白盒测试的主要方法有逻辑驱动、基路测试等，主要用于软件验证。“白盒”法全面了解程序内部逻辑结构、对所有逻辑路径进行测试。“白盒”法是穷举路径测试。
如何编写单元测试用例(白盒测试)
如何编写单元测试用例（白盒测试）。 一、单元测试的概念 单元通俗的说就是指一个实现简单功能的函数。单元测试就是只用一组特定的输入(测试用例)测试函数是否功能正常，并且返回了正确的输出。 测试的覆盖种类 1.语句覆盖：语句覆盖就是设计若干个测试用例，运行被测试程序，使得每一条可执行语句至少执行一次。 2.判定覆盖（也叫分支覆盖）：设计若干个测试用例，运行所测程序，使程序中每个判断的取真分支和取假分支至少执行一次。 3.条件覆盖：设计足够的测试用例，运行所测程序，使程序中每个判断的每个条件的每个可能取值至少执行一次。 4.判定——条件覆盖：设计足够的测试用例，运行所测程序，使程序中每个判断的每个条件的每个可能取值至少执行一次，并且每个可能的判断结果也至少执行一次。 5.条件组合测试：设计足够的测试用例，运行所测程序，使程序中每个判断的所有条件取值组合至少执行一次。 6.路径测试：设计足够的测试用例，运行所测程序，要覆盖程序中所有可能的路径。 用例的设计方案主要的有下面几种：条件测试，基本路径测试，循环测试。通过上面的方法可以实现测试用例对程序的逻辑覆盖，和路径覆盖。 二、开始测试前的准备
在开始测试时，要先声明一下，无论你设计多少测试用例，无论你的测试方案多么完美，都不可能完全100%的发现所有BUG，我们所需要做的是用最少的资源，做最多测试检查，寻找一个平衡点保证程序的正确性。穷举测试是不可能的。所以现在进行单元测试我选用的是现在一般用的比较多的基本路径测试法。 三、开始测试 基本路径测试法：设计出的测试用例要保证每一个基本独立路径至少要执行一次。 函数说明：当i_flag=0；返回 i_count+100 当i_flag=1；返回 i_count *10 否则返回 i_count *20 输入参数：int i_count ， int i_flag 输出参数： int i_return; 代码： 1int Test(int i_count, int i_flag) 2 {
软件测试练习题及答案
一、判断 （01）测试是为了验证软件已正确地实现了用户的要求。错 （02）白盒测试仅与程序的内部结构有关，完全可以不考虑程序的功能要求。对 （03）白盒测试不仅与程序的内部结构有关，还要考虑程序的功能要求。错 （04）程序员兼任测试员可以提高工作效率。错 （05）黑盒测试的测试用例是根据应用程序的功能需求设计的。对 （06）当软件代码开发结束时，软件测试过程才开始。错 （07）据有关数据统计，代码中60%以上的缺陷可以通过代码审查发现出来。对（08）无效等价类是无效的输入数据构成的集合，因此无需考虑无效的等价类划分。错（09）软件本地化就是将一个软件产品按特定国家或语言市场的需要翻译过来。错（10）在压力测试中通常采用的是黑盒测试方法。对 （11）软件测试员无法对产品说明书进行白盒测试。对 （12）功能测试工具主要适合于回归测试。对 （13）测试人员说：“没有可运行的程序，我无法进行测试工作”。错 （14）自底向上集成需要测试员编写驱动程序。对 （15）测试是可以穷尽的。错 （16）自动化测试相比手工测试而言，能发现更多的错误。错 （17）软件测试自动化可以提高测试效率，可以代替手工测试。错 （18）语句覆盖法的基本思想是设计若干测试用例，运行被测程序，使程序中的每个可执行语句至少被执行一次。对 （19）Beta测试是验收测试的一种。对 （20）软件开发全过程的测试工作都可以实现自动化。错 （21）软件只要经过严格严谨的内部测试之后，可以做到没有缺陷。错 （22）结构性测试是根据软件的规格说明来设计测试用例。错 （23）软件测试工具可以代替软件测试员。错 （24）通过软件测试，可以证明程序的正确性。错 （25）在单元测试中，驱动程序模拟被测模块工作过程中所调用的下层模块。错（26）软件缺陷可能会被修复，可能会被保留或者标识出来。对 （27）测试用例是由测试输入数据和对应的实际输出结果这两部分组成。错（28）单元测试通常由开发人员进行。对 （29）现在人们普遍认为软件测试不应该贯穿整个软件生命周期，而应在编程完毕之后再进行，这样可以降低成本。错 （30）文档的错误不是软件缺陷。错 （31）Junit只是单元测试工具，并不能进行现回归测试。错 （32）判定表法是一种白盒测试方法。错 （33）白盒测试不考虑程序内部结构。错 （34）在单元测试中，桩程序模拟被测模块工作过程中所调用的下层模块。对（35）在测试中发现缺陷多的地方，还有更多的缺陷将会被发现。对
白盒测试：路径测试及测试用例设计
20 14 —20 15 学年第 2 学期 软件测试技术课程 实验报告 学院：计算机科学技术 专业：软件工程 班级：软件12401 姓名：李晶宇 学号：041240134 任课教师：刘玉宝
实验日期：2015年 6 月16 日实验题目实验5、白盒测试：路径测试及测试用例设计 实验目的1、掌握独立路径，程序基本路径测试的概念。 2、掌握独立路径测试法。 实验内容 程序int binsearch(int array[],int key)实现折半查找的功能。数组array元素按升序排列，length为数组array的长度，key为要查找的值。 试用独立路径集测试法测试该程序，撰写实验报告。 关键代码如下（Java实现） public static int binsearch(int array[],int key) { int low = 0; int high = array.length - 1; int middle; while(low <= high) { middle = (low+high)/2; if(array.[middle] == key) { return middle; }else if(array.[middle] < key) { low = middle +1; }else { high = middle - 1; } } return -1; } 实验步骤： 1）画出程序的流图(控制流程图)。
程序入口（数组元素升序） low <= high (low+high)/2 array[middle] == key Y N array[middle] < key key=middle Y N low=middle+1 high=middle-1 程序出口 2）计算流图G 的圈复杂度V(G)。 封闭区域：○2→○3→○4→○6→○7→○2→○10 ○2→○3→○4→○6→○8→○9→○2→○10 还有一个区域是这两个区域以外的区域，共有三个区域，即独立路径数的上界 是3，V(G)=3。 3）确定只包含独立路径的基本路径集。 V(G)值正好等于该程序的独立路径的条数。 程序的独立路径是： Path1:○1→○2→○3→○4→○5→○10 Path2:○1→○2→○3→○4→○6→○7→○2→○10 Path3:○1→○2→○3→○4→○6→○8→○9→○2→○10 4）根据上面的独立路径，设计测试用例，得到测试用例表。 为了确保基本路径集中的每一条路径的执行，根据判断结点给出的条件，选择适当的数据以保证每一条路径可以被测试到，满足上面例子基本路径集的测试用例表如下： 2 10 1 4 6 5 7 8 9 3
软件测试白盒测试用例练习题
白盒测试用例练习 一、为以下所示的程序段设计一组测试用例，要求分别满足语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖，并画出相应的程序流程图。 void DoWork (int x,int y,int z) { int k=0,j=0; if ( (x>3)&&(z<10) ) { k=x*y-1; j=sqrt(k); //语句块1 } if ( (x==4)||(y>5) ) { j=x*y+10; } //语句块2 j=j%3; //语句块3 }
由这个流程图可以看出，该程序模块有4条不同的路径： P1:(a-c-e) P2:(a-c-d) P3:(a-b-e) P4:(a-b-d) 将里面的判定条件和过程记录如下： 判定条件M＝{x>3 and z<10} 判定条件N={x=4 or y>5} 1、语句覆盖 2、判定覆盖 p1和p4可以作为测试用例，其中p1作为取真的路径，p4作为取反的路径。 也可以让测试用例测试路径P2和P3。相应的两组输入数据如下：
3、条件覆盖 对于M：x>3取真时T1，取假时F1; z<10取真时T2，取假时F2； 对于N：x=4取真时T3，取假时F3; y>5取真时T4，取假时F4。 条件：x>3,z<10,x=4,y>5 条件：x<=3,z>=10,x!=4,y<=5 根据条件覆盖的基本思路，和这8个条件取值，组合测试用例如表所示: 4、判定/条件覆盖
5、组合覆盖 条件组合 1)x>3,z<10 2)x>3,z>=10 3) x<=3,z<10 4)x<=3,z>=10 5)x=4,y>5 6)x=4,y<=5 7)x!=4,y>5 8)x!=4,y<=5 6、路径覆盖
软件测试-白盒测试用例练习题
、 白盒测试用例练习 一、为以下所示的程序段设计一组测试用例，要求分别满足语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖，并画出相应的程序流程图。 void DoWork (int x,int y,int z) { int k=0,j=0; if ( (x>3)&&(z<10) ) { k=x*y-1; j=sqrt(k); //语句块1 ' } if ( (x==4)||(y>5) ) { j=x*y+10; } //语句块2 j=j%3; //语句块3 } ]
e @ 由这个流程图可以看出，该程序模块有4条不同的路径： P1:(a-c-e) P2:(a-c-d) ' P3:(a-b-e) P4:(a-b-d) 将里面的判定条件和过程记录如下： 判定条件M＝{x>3 and z<10} 判定条件N={x=4 or y>5} 1、语句覆盖 2、判定覆盖 - p1和p4可以作为测试用例，其中p1作为取真的路径，p4作为取反的路径。
] 也可以让测试用例测试路径P2和P3。相应的两组输入数据如下： （ 3、条件覆盖 对于M ：x>3取真时T1，取假时F1; z<10取真时T2，取假时F2； 对于 N ：x=4取真时T3，取假时F3; y>5取真时T4，取假时F4。 条件：x>3,z<10,x=4,y>5 条件：x<=3,z>=10,x!=4,y<=5 根据条件覆盖的基本思路，和这8个条件取值，组合测试用例如表所示:
4、判定/条件覆盖 5、组合覆盖 、 条件组合 1)x>3,z<10 2)x>3,z>=10 3) x<=3,z<10 4)x<=3,z>=10 5)x=4,y>5 6)x=4,y<=5 7)x!=4,y>5 8)x!=4,y<=5
白盒测试及用例设计
白盒测试 白盒测试(White-box Testing，又称逻辑驱动测试,结构测试) 是把测试对象看作一个打开的盒子。利用白盒测试法进行动态测试时，需要测试软件产品的内部结构和处理过程，不需测试软件产品的功能。白盒测试又称为结构测试和逻辑驱动测试。 白盒测试法的覆盖标准有逻辑覆盖、循环覆盖和基本路径测试。其中逻辑覆盖包括语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖。 六种覆盖标准：语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖发现错误的能力呈由弱至强的变化。语句覆盖每条语句至少执行一次。判定覆盖每个判定的每个分支至少执行一次。条件覆盖每个判定的每个条件应取到各种可能的值。判定/条件覆盖同时满足判定覆盖条件覆盖。条件组合覆盖每个判定中各条件的每一种组合至少出现一次。路径覆盖使程序中每一条可能的路径至少执行一次。 白盒测试也称结构测试或逻辑驱动测试，它是知道产品内部工作过程，可通过测试来检测产品内部动作是否按照规格说明书的规定正常进行，按照程序内部的结构测试程序，检验程序中的每条通路是否都有能按预定要求正确工作，而不顾它的功能，白盒测试的主要方法有逻辑驱动、基路测试等，主要用于软件验证。 "白盒"法全面了解程序内部逻辑结构、对所有逻辑路径进行测试。"白盒"法是穷举路径测试。在使用这一方案时，测试者必须检查程序的内部结构，从检查程序的逻辑着手，得出测试数据。贯穿程序的独立路径数是天文数字。但即使每条路径都测试了仍然可能有错误。第一，穷举路径测试决不能查出程序违反了设计规范，即程序本身是个错误的程序。第二，穷举路径测试不可能查出程序中因遗漏路径而出错。第三，穷举路径测试可能发现不了一些与数据相关的错误。
软件测试中如何编写单元测试用例(白盒测试)
软件测试中如何编写单元测试用例（白盒测试） 测试用例（T est Case）是为某个特殊目标而编制的一组测试输入、执行条件以及预期结果，以便测试某个程序路径或核实是否满足某个特定需求。 测试用例（T est Case）目前没有经典的定义。比较通常的说法是：指对一项特定的软件产品进行测试任务的描述，体现测试方案、方法、技术和策略。内容包括测试目标、测试环境、输入数据、测试步骤、预期结果、测试脚本等，并形成文档。 不同类别的软件，测试用例是不同的。不同于诸如系统、工具、控制、游戏软件，管理软件的用户需求更加不统一，变化更大、更快。笔者主要从事企业管理软件的测试。因此我们的做法是把测试数据和测试脚本从测试用例中划分出来。测试用例更趋于是针对软件产品的功能、业务规则和业务处理所设计的测试方案。对软件的每个特定功能或运行操作路径的测试构成了一个个测试用例。 随着中国软件业的日益壮大和逐步走向成熟，软件测试也在不断发展。从最初的由软件编程人员兼职测试到软件公司组建独立专职测试部门。测试工作也从简单测试演变为包括：编制测试计划、编写测试用例、准备测试数据、编写测试脚本、实施测试、测试评估等多项内容的正规测试。测试方式则由单纯手工测试发展为手工、自动兼之，并有向第三方专业测试公司发展的趋势。 要使最终用户对软件感到满意,最有力的举措就是对最终用户的期望加以明确阐述，以便对这些期望进行核实并确认其有效性。测试用例反映了要核实的需求。然而，核实这些需求可能通过不同的方式并由不同的测试员来实施。例如，执行软件以便验证它的功能和性能，这项操作可能由某个测试员采用自动测试技术来实现；计算机系统的关机步骤可通过手工测试和观察来完成；不过，市场占有率和销售数据（以及产品需求），只能通过评测产品和竞争销售数据来完成。 既然可能无法（或不必负责）核实所有的需求，那么是否能为测试挑选最适合或最关键的需求则关系到项目的成败。选中要核实的需求将是对成本、风险和对该需求进行核实的必要性这三者权衡考虑的结果。 确定测试用例之所以很重要，原因有以下几方面。 测试用例构成了设计和制定测试过程的基础。测试的“深度”与测试用例的数量成比例。由于每个测试用例反映不同的场景、条件或经由产品的事件流，因而，随着测试用例数量的增加，您对产品质量和测试流程也就越有信心。判断测试是否完全的一个主要评测方法是基于需求的覆盖，而这又是以确定、实施和/或执行的测试用例的数量为依据的。类似下面这样的说明：“95 % 的关键测试用例已得以执行和验证”，远比“我们已完成95 % 的测试”更有意义。测试工作量与测试用例的数量成比例。根据全面且细化的测试用例，可以更准确地估计测试周期各连续阶段的时间安排。测试设计和开发的类型以及所需的资源主要都受控于测试用例。测试用例通常根据它们所关联关系的测试类型或测试需求来分类，而且将随类型和需求进行相应地改变。最佳方案是为每个测试需求至少编制两个测试用例：·一个测试用例用于证明该需求已经满足，通常称作正面测试用例；·另一个测试用例反映某个无法接受、反常或意外的条件或数据，用于论证只有在所需条件下才能够满足该需求，这个测试用例称作负面测试用例。 前段时间公司进行有关测试的培训，集成测试，性能测试，压力测试说了很多。由于本人还处于Coder阶段，只是对单元测试有了些了解。写下来怕以后自己忘记了。都是些自己的看法，不一定准确，欢迎高手指教。 一、单元测试的概念 单元通俗的说就是指一个实现简单功能的函数。单元测试就是只用一组特定的输入(测试用
测试用例撰写练习题
1.计算器测试用例 2.自动取款机取款测试用例 此用例完成用户利用自动取款机取款的全部流程，分为以下流程：插卡，输入密码，选择金额，取款，取卡等操作。 事件流： 该用例在用户插卡之后启动 1. 系统提示用户插卡； 2. 提示客户输入密码信息； 3. 密码输入完毕后，客户选择“确认”，向系统提交信息； 4. 系统验证客户输入的密码信息，确认正确后，进入选择系统主界面； 5. 用户选择取款选项； 6. 系统进入取款金额界面并提示用户输入金额； 7. 系统验证可以取款并输出钱款； 8. 系统提示用户取卡，操作完成。 基本流： 用户取款。 备选流： 1.用户密码错误 2.取款金额不符合要求。 前置条件： 用户必须插入正确的银行卡才能开始执行用例。 后置条件： 如果系统确认用户信息正确，成功登陆，则系统启动主界面，等待用户发送消息，进行查询和取款等操作。 事件流系统用户 1 系统提示用户插卡插入银行卡 2 提示客户输入密码信息输入密码 3 如果密码错误，提示密码不正确，并返回到2 4 如果密码正确，转入主界面 5 提示用户选择选项选择取款选项 6 系统进入取款金额界面并提示用户输入金额输入取款金额 7 如果金额符合则输入钱款 8 如果金额小于余额则提示取款失败并返回7 9 如果金额不是整百则提示不符合规范，取款失败并返回7。 10 提示用户取款取出钱款 11 提示用户取卡取出银行卡 测试用例： 事件用户操作覆盖等价类系统反应 1 插入正确银行卡功能测试提示输入密码 2 密码正确功能测试进入主界面，提示用户选择 3 密码不正确功能测试提示密码错误重新输入 4 输入金额<余额功能检查提示用户金额不足，重新输入或取卡 5 输入金额为150 功能检查提示用户取款金额不符和规范，重新输入或退出
白盒测试和黑盒测试
白盒测试 白盒测试，又称结构测试、透明盒测试、逻辑驱动测试或基于代码的测试。白盒测试是一种测试用例设计方法，盒子指的是被测试的软件，白盒指的是盒子是可视的，你清楚盒子部的东西以及里面是如何运作的。"白盒"法全面了解程序部逻辑结构、对所有逻辑路径进行测试。"白盒"法是穷举路径测试。在使用这一方案时，测试者必须检查程序的部结构，从检查程序的逻辑着手，得出测试数据。贯穿程序的独立路径数是天文数字。 采用什么方法对软件进行测试呢？常用的软件测试方法有两大类：静态测试方法和动态测试方法。其中软件的静态测试不要求在计算机上实际执行所测程序，主要以一些人工的模拟技术对软件进行分析和测试；而软件的动态测试是通过输入一组预先按照一定的测试准则构造的实例数据来动态运行程序，而达到发现程序错误的过程。在动态分析技术中,最重要的技术是路径和分支测试。下面要介绍的六种覆盖测试方法属于动态分析方法。 中文名：白盒测试 外文名：white-box testing 别称：结构测试、透明盒测试 白盒测试测试方法 白盒测试的测试方法有代码检查法、静态结构分析法、静态质量度量法、逻辑覆盖法、基本路径测试法、域测试、符号测试、路径覆盖和程序变异。 白盒测试法的覆盖标准有逻辑覆盖、循环覆盖和基本路径测试。其中逻辑覆盖包括语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖。六种覆盖标准发现错误的能力呈由弱到强的变化： 1.语句覆盖每条语句至少执行一次。 2.判定覆盖每个判定的每个分支至少执行一次。 3.条件覆盖每个判定的每个条件应取到各种可能的值。 4.判定/条件覆盖同时满足判定覆盖条件覆盖。 5.条件组合覆盖每个判定中各条件的每一种组合至少出现一次。 6.路径覆盖使程序中每一条可能的路径至少执行一次。 白盒测试要求
软件工程白盒测试练习及解答
白盒测试练习 1、什么是白盒测试？ 白盒测试也称结构测试或逻辑驱动测试，它是按照程序内部的结构测试程序，通过测试来检测产品内部动作是否按照设计规格说明书的规定正常进行，检验程序中的每条通路是否都能按预定要求正确工作。这一方法是把测试对象看作一个打开的盒子，测试人员依据程序内部逻辑结构相关信息，设计或选择测试用例，对程序所有逻辑路径进行测试，通过在不同点检查程序的状态，确定实际的状态是否与预期的状态一致。 2、什么是测试用例？ 一组由前提条件、输入、执行条件、预期结果等组成，以完成对某个特定需求或者目标测试的数据，体现测试方案、方法、技术和策略的文档 3、写出以上程序的所有路径； L1(1->2->3) L2(1->4->5->3) L3(1->2->6->7) L4(1->4->5->6->7) 4、尝试用表格的形式描述满足以下情况的测试用例：
a)写出满足语句覆盖需要的测试用例； 解：语句覆盖就是程序中每一个语句至少能被执行一次 运行结果 b)写出满足判定覆盖（分支覆盖）需要的测试用例； 解：判定覆盖就是程序中每个判定至少有一次为真值，有一次为假值,使得程序中 每个分支至少执行一次 运行结果
c) 写出满足条件覆盖需要的测试用例； 解：条件覆盖是程序各判定中的每个条件获得各种可能的取值至少满足一次 运行结果 d) 写出满足判定/条件覆盖需要的测试用例； 解：判定/条件覆盖是程序中每个判定至少有一次为真值，有一次为假值,使得程序中每个分支至少执行一次，且使得各判定中的每个条件获得各种可能的取值至少满足一次。
运行结果 e) 写出满足条件组合覆盖需要的测试用例。 解：条件组合覆盖是判定中条件的各种组合都至少被执行一次 运行结果
常见的测试用例设计方法都有哪些
常见的测试用例设计方法都有哪些 常见的测试用例设计方法都有哪些？ 请分别以具体的例子来说明这些方 法在测试用例设计工作中的应用。 1. 等价类划分常见的软件测试面试题划分等价类: 等价类是指某个输入域的子集合.在该子集合中,各个输入数据对于揭露程序中的错误都是等效的.并 合理地假定:测试某等价类的代表值就等于对这一类其它值的测试.因此,可以把全部输入数据合理划分为若干等价类,在每一个等价类中取一个数据作为测试的输入条件,就可以用少量代表性的测试数据.取得较好的测试结果.等价类划分可有两种不同的情况:有效等价类和无效等价类. 2. 边界值分析法边界值分析方法是对等价类划 分方法的补充。测试工作经验告诉我,大量的错误是发生在输入或输出范围的边界上,而不是发生在输入
输出范围的内部.因此针对各种边界情况设计测试用例,可以查出更多的错误. 使用边界值分析方法设计测试用例,首先应确定边界情况.通常输入和输出等价类的边界,就是应着重测试的边界情况.应当选取正好等于,刚刚大于或刚刚小于边界的值作为测试数据,而不是选取等价类中的典型值或任意值作为测试数据. 3. 错误推测法基于经验和直觉推测程序中所有可能存在的各种错误, 从而有针对性的设计测试用例的方法. 错误推测方法的基本思想: 列举出程序中所有可能有的错误和容易发生错误的特殊情况根据他们选择测试用例. 例如, 在单元测试时曾列出的许多在模块中常见的错误. 以前产品测试中曾经发现的错误等, 这些就是经验的总结。还有, 输入数据和输出数据为0 的情况。输入表格为空格或输入表格只有一行. 这些都是容易发生错误的情况。可选择这些情况下的例子作为测试用例. 4. 因果图方法前面介绍的等价类划分方法和边界值分析方法,都是着重考虑输入条件,但未考虑输入条件之间的联系, 相互组合等. 考虑输入条件之间的相互组合,可能会产生一些新的情况. 但要检查
白盒测试练习及答案
1、在白盒测试用例设计中，有语句覆盖、分支覆盖、条件覆盖、路径覆盖等，其中（ A ）是最强的覆盖准则。为了对如下图所示的程序段进行覆盖测试，必须适当地选取测试用例组。若x, y是两个变量，可供选择的测试用例组共有Ⅰ、Ⅱ、Ⅲ、Ⅳ四组，如表中给出，则实现判定覆盖至少应采取的测试用例组是（ B ）或（ C ）；实现条件覆盖至少应采取的测试用例组是（ D ）；实现路径覆盖至少应采取的测试用例组是（ E ）或（ F ）。 供选择的答案 A： ① 语句覆盖② 条件覆盖③ 判定覆盖④ 路径覆盖 B～F: ① Ⅰ和Ⅱ组② Ⅱ和Ⅲ组③ Ⅲ和Ⅳ组④ Ⅰ和Ⅳ组 ⑤ Ⅰ、Ⅱ、Ⅲ组⑥ Ⅱ、Ⅲ、Ⅳ组⑦ Ⅰ、Ⅲ、Ⅳ组 ⑧ Ⅰ、Ⅱ、Ⅳ组 解答：A. ④ B. ⑤ C. ⑧ D. ④ E. ⑤ F. ⑧ 2. 阅读下面这段程序，使用逻辑覆盖法进行测试，请问哪一组关于（a,b,c）的输入值可以达到条件覆盖。（ B ） int func(int a,b,c) { int k=1; if ( (a>0) || (b<0) || (a+c>0) ) k=k+a; else k=k+b; if (c>0) k=k+c; return k; } A. (a,b,c) = (3,6,1)、(-4,-5,7) B. (a,b,c) = (2,5,8)、(-4,-9,-5) C. (a,b,c) = (6,8,-2)、(1,5,4) D. (a,b,c) = (4,9,-2)、(-4,8,3) 3. 阅读下面这段程序，使用逻辑覆盖法进行测试，请问哪一组关于（a,b,c）的输入值可以达到判定覆盖。（ D ）
int func(int a,b,c) { int k=1; if ( (a>0) &&(b<0) && (a+c>0) ) k=k+a; else k=k+b; if (c>0) k=k+c; return k; } A. (a,b,c) = (3,6,1)、(-4,-5,7) B. (a,b,c) = (2,5,8)、(-4,-9,-5) C. (a,b,c) = (6,8,-2)、(1,5,4) D. (a,b,c) = (4,-9,-2)、(-4,8,3) 4. 阅读下面这段程序，使用逻辑覆盖法进行测试，请问哪一组关于（a,b,c）的输入值可以达到判定条件覆盖。（ B ） int func(int a,b,c) { int k=1; if ( (a>0) || (b<0) || (a+c>0) ) k=k+a; else k=k+b; if (c>0) k=k+c; return k; } A. (a,b,c) = (3,6,1)、(-4,-5,7) B. (a,b,c) = (2,-5,8)、(-4,9,-5) C. (a,b,c) = (6,8,-2)、(1,5,4) D. (a,b,c) = (4,9,-2)、(-4,8,3) 5、下面是一段求最大值的程序，其中datalist是数据表，n是datalist的长度。 int GetMax(int n, int datalist[ ]) { int k=0; for ( int j=1; j