白盒测试案例
软件测试用例测试
测试用例由测试输入数据以及与之对应的输出结果组成.
测试用例设计的好坏直接决定了测试的效果和结果.
以说在软件测试活动中最关键的步骤就是设计有效的测试用例.
测试用例可以针对黑盒测试设计用例,也可以针对白盒测试设计用例,我们今天只讲针对白盒测试的用例设语句覆
:语句覆盖就是设计若干个测试用例,运行被测试程序,使得每一条可执行语句至少执行一次; 判定覆盖(也称为分支覆盖):设计若干个测试用例,运行所测程序,使程序中每个判断的取真分支和取假分支至少执行一次;
条件覆盖:设计足够多的测试用例,运行所测程序,使程序中每个判断的每个条件的每个可能取值至少执行一次;
判定-条件覆盖:设计足够多的测试用例,运行所测程序,使程序中每个判断的每个条件的所有可能取值至少执行一次,并且每个可能的判断结果也至少执行一次,换句话说,即是要求各个判断的所有可能的条件取值组合至少执行一次;
条件组合测试:设计足够多的测试用例,运行所测程序,使程序中每个判断的所有可能的条件取值组合至少执行一次;
路径测试:设计足够多的测试用例,运行所测程序,要覆盖程序中所有可能的路径.
下面以例子进行分析讲解:
void DoWork(int x,int y,int z)
{
int k=0,j=0;
if((x>3)&&(z5))
{
j=x*y+10; //语句块2
}
j=j%3; //语句块3
}
画出上面函数的流程图如下:
语句覆盖:
为了说明简略,分别对各个判断的取真,取假分支编号为b,c,d,e.
为了测试语句覆盖率只要设计一个测试用例就可以把三个执行语句块中的语句覆盖了.
测试用例输入为:{ x=4,y=5,z=5}
程序执行的路径是:abd
该测试用例虽然覆盖了可执行语句,但并不能检查判断逻辑是否有问题,例如在第一个判断中把&&错误的写成了||,则上面的测试用例仍可以覆盖所有的执行语句.可以说语句覆盖率是最弱的逻辑覆盖准则.
分支覆盖
对于上面的程序,如果设计两个测试用例则可以满足条件覆盖的要求.
测试用例的输入为:
{ x=4,y=5,z=5}
{ x=2,y=5,z=5}
上面的两个测试用例虽然能够满足条件覆盖的要求,但是也不能对判断条件进行检查,例如把第二个条件y>5错误的写成y3 取真值为T1,取假值为-T1
条件z5 取真值为T4,取假值为-T4
则可以设计测试用例如下
cd
T1,-T2,T3,-T4
acd
x=4,y=5,z=15
ce
-T1,T2,-T3,-T4
ace
x=2,y=5,z=5
bd
T1,T2,T3,T4
abd
x=4,y=6,z=5
覆盖分支
条件取值
通过路径
测试用例
上面的测试用例不但覆盖了所有分支的真假两个分支,而且覆盖了判断中的所有条件的可能值.
但是如果设计了下面的测试用例,则虽然满足了条件覆盖,但只覆盖了第一个条件的取假分支和第二个条件的取真分支,不满足分支覆盖的要求.
cd
T1,-T2,T3,-T4
acd
x=4,y=5,z=5
cd
-T1,T2,-T3,T4
acd
x=2,y=6,z=5
覆盖分支
条件取值
通过路径
测试用例
分支条件覆盖:
分支条件覆盖就是设计足够的测试用例,使得判断中每个条件的所有可能取值至少执行一次,同时每个判断的所有可能判断结果至少执行,即要求各个判断的所有可能的条件取值组合至少执行一次.
根据定义只需设计以下两个测试用例便可以覆盖8个条件值以及4个判断分支.
ce
-T1,-T2,-T3,-T4
ace
x=2,y=5,z=11
bd
T1,T2,T3,T4
abd
x=4,y=6,z=5
覆盖分支
条件取值
通过路径
测试用例
分支条件覆盖从表面来看,它测试了所有条件的取值,但是实际上某些条件掩盖了另一些条件.例如对于条件表达式(x>3)&&(z3)为假则一般的编译器不在判断是否z5)来说,若x==4测试结果为真,就认为表达式的结果为真,这时不再检查(y>5)条件了.因此,采用分支条件覆盖,逻辑表达式中的错误不一定能够查出来了. 条件组合覆盖:
条件组合覆盖就是设计足够的测试用例,运行被测试对象,使得每一个判断的所有可能的条件取值组合至少执行一次.
现在对例子中的各个判断的条件取值组合加以标记如下:
x>3,z3,z>=10 记做T1 -T2, 第一个判断的取假分支
x<=3,z<0 记做-T1 T2, 第一个判断的取假分支
x=10 记做-T1 -T2,第一个判断的取假分支
x=4,y>5 记做T3 T4, 第二个判断的取真分支
x=4,y5 记做-T3 T4, 第二个判断的取真分支
x!=4,y 0)
5 {
6 if(0= =iType)
7 x=y+2;
8 else
9 if(1= =iType)
10 x=y+10;
11 else
12 x=y+20;
13 }
14 }
第一步:画出控制流图
c/c++语句中的控制语句表示含义如下:
图中的每一个圆称为流图的结点,代表一条或多条语句.流图中的箭头称为边或连接,代表控制流.
为了说明流图的用法,我们采用过程设计表示法,此处,流程图用来描述程序控制结构.可将流程图映射到一个相应的流图(假设流程图的菱形决定框中不包含复合条件).在流图中,每一个圆,称为流图的结点,代表一个或多个语句.一个处理方框序列和一个菱形决测框可被映射为一个结点,流图中的箭头,称为边或连接,代表控制流,类似于流程图中的箭头.一条边必须终止于一个结点,即使该结点并不代表任何语句(例如:参见if-else-then结构的符号).由边和结点限定的范围称为区域.计算区域时应包括图外部的范围.
任何过程设计都要被翻译成控制流图.
画出其程序流程图和对应的控制流图如下:
程序设计中遇到复合条件时,生成的流图变得更为复杂.当条件语句中用到一个或多个布尔运算符(逻辑OR,AND,NAND,NOR)时,就出现了复合条件.下图为语句IF a OR b中的每一个a和b创建了一个独立的结点,包含条件的结点被称为判定结点,从每一个判定结点发出两条或多条边.例如:
1 if a or b
2 x
3 else
4 y
对应的逻辑为:
第二步:计算圈复杂度
圈复杂度是一种为程序逻辑复杂性提供定量测度的软件度量,将该度量用于计算程序的基本的独立路径数目,为确保所有语句至少执行一次的测试数量的上界.独立路径必须包含一条在定义之前不曾用到的边.
有以下三种方法计算圈复杂度:
流图中区域的数量对应于环型的复杂性;
给定流图G的圈复杂度-V(G),定义为V(G)=E-N+2,E是流图中边的数量,N是流图中结点的数量;
给定流图G的圈复杂度-V(G),定义为V(G)=P+1,P是流图G中判定结点的数量.
对应上面图中的圈复杂度,计算如下:
流图中有四个区域;
V(G)=11条边-9结点+2=4;
V(G)=3个判定结点+1=4.
第三步:导出测试用例
根据上面的计算方法,可得出四个独立的路径:
路径1:4-14
路径2:4-6-7-14
路径3:4-6-8-10-13-4-14
路径4:4-6-8-11-13-4-14
根据上面的独立路径,去设计输入数据,使程序分别执行到上面四条路径.
第四步:准备测试用例
为了确保基本路径集中的每一条路径的执行,根据判断结点给出的条件,选择适当的数据以保证某一条路径可以被测试到,满足上面例子基本路径集的测试用例是:
路径1:4-14
输入数据:iRecordNum=0,或者取iRecordNum<0的某一个值
预期结果:x=0
路径2:4-6-7-14
输入数据:iRecordNum=1,iType=0
预期结果:x=2
路径3:4-6-8-10-13-4-14
输入数据:iRecordNum=1,iType=1
预期结果:x=10
路径4:4-6-8-11-13-4-14
输入数据:iRecordNum=1,iType=2
预期结果:x=20
工具方法:图形矩阵
导出控制流图和决定基本测试路径的过程均需要机械化,为了开发辅助基本路径测试的软件工具,称为图形矩阵(graph matrix)的数据结构很有用.
利用图形矩阵可以实现自动地确定一个基本路径集.一个图形矩阵是一个方阵,其行/列数控制流图中的结点数,每行和每列依次对应到一个被标识的结点,矩阵元素对应到结点间的连接(即边).在图中,控制流图的每一个结点都用数字加以标识,每一条边都用字母加以标识.如果在控制流图中第i个结点到第j个结点有一个名为x的边相连接,则在对应的图形矩阵中第i行/第j列有一个非空的元素x.
对每个矩阵项加入连接权值(link weight),图矩阵就可以用于在测试中评估程序的控制结构,连接权值为控制流提供了另外的信息.最简单情况下,连接权值是1(存在连接)或0(不存在连接),但是,连接权值可以赋予更有趣的属性:
执行连接(边)的概率.
穿越连接的处理时间.
穿越连接时所需的内存.
穿越连接时所需的资源.
根据上面的方法对例子画出图形矩阵如下:
连接权为"1"表示存在一个连接,在图中如果一行有两个或更多的元素"1",则这行所代表的结点一定是一个判定结点,通过连接矩阵中有两个以上(包括两个)元素为"1"的个数,就可以得到确定该图圈复杂度的另一种算法.
小结:
从上面的概念和例子可以看出要进行上面的白盒测试是需要投入巨大的测试资源,包括人力,物力和时间等.但是为什么还要进行白盒测试呢原因如下:
逻辑错误和不正确假设与一条程序路径被运行的可能性成反比.当我们设计和实现主流之外的功能,条件或控制时,错误往往开始出现在我们的工作中.日常处理往往被很好地了解(和很好地细查),而"特殊情况"的处理则难于发现.
我们经常相信某逻辑路径不可能被执行,而事实上,它可能在正常的基础上被执行.程序的逻辑流有时是违反直觉的,这意味着我们关于控制流和数据流的一些无意识的假设可能导致设计错误,只有路径测试才能发现这些错误.
印刷上的错误是随机的.当一个程序被翻译为程序设计语言源代码时,有可能产生某些打印错误,很多将被语法检查机制发现,但是,其他的会在测试开始时才会被发现.打印错误出现在主流上和不明显的逻辑路径上的可能性是一样的.
上述任何一条原因都是该进行白盒测试的论据,黑盒测试,不管它多么全面,都可能忽略前面提到的某些类型的错误.正如Beizer所说:"错误潜伏在角落里,聚集在边界上".白盒测试更可能发现它们.
前面所述的基本路径测试技术是控制结构测试技术之一.尽管基本路径测试简单高效,但是,其本身并不充分.下面讨论控制结构测试的其他变种,这些测试覆盖并提高了白盒测试的质量.
包括:
条件测试
数据流测试
循环测试.
1,条件测试
条件测试是检查程序模块中所包含逻辑条件的测试用例设计方法.一个简单条件是一个布尔变量或一个可能带有NOT("!")操作符的关系表达式.关系表达式的形式如:
E1E2
其中E1和E2是算术表达式,而是下列之一:"",或"≥".复杂条件由简单条件,布尔操作符和括弧组成.我们假定可用于复杂条件的布尔算子包括OR"|",AND"&"和NOT"!",不含关系表达式的条件称为布尔表达式.所以条件的成分类型包括布尔操作符,布尔变量,布尔括弧(括住简单或复杂条件),关系操作符或算术表达式. 如果条件不正确,则至少有一个条件成分不正确,这样,条件的错误类型如下:
布尔操作符错误(遗漏布尔操作符,布尔操作符多余或布尔操作符不正确);
布尔变量错误;
布尔括弧错误;
关系操作符错误;
算术表达式错误.
条件测试方法注重于测试程序中的条件.条件测试策略主要有两个优点:
首先,测度条件测试的覆盖率是简单的;
其次,程序的条件测试覆盖率为产生另外的程序测试提供了指导.
条件测试的目的
条件测试是测试程序条件错误和程序的其他错误.如果程序的测试集能够有效地检测程序中的条件错误,则该测试集可能也会有效地检测程序中的其他错误.此外,如果测试策略对检测条件错误有效,则它也可能有效地检测程序错误.
条件测试策略
分支测试可能是最简单的条件测试策略,对于复合条件C,C的真分支和假分支以及C中的每个简单条件都需要至少执行一次.
域测试(Domain testing)要求从有理表达式中导出三个或四个测试,有理表达式的形式如:
E1E2
需要三个测试分别用于计算E1的值是大于,等于或小于E2的值.如果错误,而E1和E2正确,则这三个测试能够发现关系算子的错误.为了发现E1和E2的错误,计算E1小于或大于E2的测试应使两个值间的差别尽可能小.
有n个变量的布尔表达式需要2n个可能的测试(n>0).这种策略可以发现布尔操作符,变量和括弧的错误,但是只有在n很小时实用.
也可以派生出敏感布尔表达式错误的测试.对于有n个布尔变量(n>0)的单布尔表达式(每个布尔变量只出现一次),可以很容易地产生测试数小于2n的测试集,该测试集能够发现多个布尔操作符错误和其他错误. 建议在上述技术之上建立条件测试策略,称为BRO
(branch and relational)测试集.测试保证能发现布尔变量和关系操作符只出现一次而且没有公共变量的条件中的分支和条件操作符错误.
BRO策略利用条件C的条件约束.有n个简单条件的条件C的条件约束定义为(D1,D2,…,Dn),其中Di(0 对于布尔变量B,B输出的约束说明B必须是真(T)或假(F).类似地,对于关系表达式,符号用于指定表达式输出的约束. 作为简单的例子,考虑条件 C1:B1&B2 其中B1和B2是布尔变量.C1的条件约束式如(D1,D2),其中D1和D2是"T"或"F",值(T,F)是C1的条件约束,由使B1为真,B2为假的测试所覆盖.BRO测试策略要求约束集{(T,T),(F,T),(T,F)}由C1的执行所覆盖,如果C1由于布尔算子的错误而不正确,至少有一个约束强制C1失败. 作为第二个例子,考虑 C2:B1&(E3=E4) 其中B1是布尔表达式,而E3和E4是算术表达式.C2的条件约束形式如(D1,D2),其中D1是"T"或"F",D2是.除了C2的第二个简单条件是关系表达式以外,C2和C1相同,所以可以修改C1的约束集{(T,T),(F,T),(T,F)},得到C2的约束集,注意(E3=E4)的"T"意味着"=",而(E3=E4)的"F"意味着">"或"<".分别用(T,=)和(F,=)替换(T,T)和(F,T),并用(T,<\)和(T,>)替换(T,F),就得到C2的约束集{(T,=),(F,=),(T,)}.上述条件约束集的覆盖率将保证检测C2的布尔和关系算子的错误. 作为第三个例子,考虑 C3:(E1>E2)&(E3=E4) 其中E1,E2,E3和E4是算术表达式.C3的条件约束形式如(D1,D2),其中D1和D2是.除了C3的第一个简单条件是关系表达式以外,C3和C2相同,所以可以修改C2的约束集得到C3的约束集,结果为{(>,=),(=,=),(,>),(>,<)} 上述条件约束集能够保证检测C3的关系操作符的错误. 2, 数据流测试 数据流测试方法按照程序中的变量定义和使用的位置来选择程序的测试路径. 为了说明数据流测试方法,假设程序的每条语句都赋予了独特的语句号,而且每个函数都不改变其参数和全局变量.对于语句号为S的语句, DEF(S)={X|语句S包含X的定义} USE(S)={X|语句S包含X的使用} 如果语句S是if或循环语句,它的DEF集为空,而USE集取决于S的条件.如果存在从S到S′的路径,并且该路径不含X的其他定义,则称变量X在语句S处的定义在语句S′仍有效. 变量X的定义―使用链(或称DU链)形式如[X,S,S′],其中S和S′是语句号,X在DEF(S)和USE(S′)中,而且语句S定义的X在语句S′有效. 一种简单的数据流测试策略是要求覆盖每个DU链至少一次.我们将这种策略称为DU测试策略.已经证明DU测试并不能保证覆盖程序的所有分支,但是,DU测试不覆盖某个分支仅仅在于如下之类的情况:if-then-else中的then没有定义变量,而且不存在else部分.这种情况下,if语句的else分支并不需要由DU测试覆盖. 数据流测试策略可用于为包含嵌套if和循环语句的程序选择测试路径,为此,考虑使用DU测试为如下的PDL选择测试路径: proc x B1; do while C1 if C2 then if C4 then B4; else B5; endif; else if C3 then B2; else B3; endif; endif; enddo; B6; end proc; 为了用DU测试选择控制流图的测试路径,需要知道PDL条件或块中的变量定义和使用.假设变量X定义在块B1,B2,B3,B4和B5的最后一条语句之中,并在块B2,B3,B4,B5和B6的第一条语句中使用.DU测试策略要求执行从每个B(0 注意如果要用分支测试策略为上述的PDL选择测试路径,并不需要另外的信息.为了选择BRO测试的路径,只需知道每个条件和块的结构.(选择程序的路径之后,需要决定该路径是否实用于该程序,即是否存在执行该路径的至少一个输入). 由于变量的定义和使用,程序中的语句都彼此相关,所以数据流测试方法能够有效地发现错误,但是,数据流测试的覆盖率测度和路径选择比条件测试更为困难. 3,循环测试 循环测试是一种白盒测试技术,注重于循环构造的有效性. 有四种循环:简单循环,串接循环,嵌套循环和不规则循环. 简单循环 嵌套循环 串接循环 不规则循环 简单循环: 下列测试集用于简单循环,其中n是允许通过循环的最大次数. 整个跳过循环; 只有一次通过循环; 两次通过循环; m次通过循环,其中m n-1,n,n+1次通过循环. 嵌套循环: 如果将简单循环的测试方法用于嵌套循环,可能的测试数就会随嵌套层数成几何级增加,这会导致不实际的测试数目,下面是一种减少测试数的方法: 从最内层循环开始,将其它循环设置为最小值; 对最内层循环使用简单循环,而使外层循环的跌代参数(即循环计数)最小,并为范围外或排除的值增加其它测试; 由内向外构造下以个循环的测试,但其它的外层循环为最小值,并使其它的嵌套循环为"典型"值; 继续直到测试所有的循环. 串接循环: 如果串接循环的循环都彼此独立,可是使用嵌套的策略测试.但是如果两个循环串接起来,而第一个循环是第二个循环的初始值,则这两个循环并不是独立的.如果循环不独立,则推荐使用的嵌套循环的方法进行测试. 不规则循环: 不能测试,尽量重新设计给结构化的程序结构后再进行测试. 面向对象的白盒测试 对OO软件的类测试相当于传统软件的单元测试.和传统软件的单元测试不同,他往往关注模块的算法细节和模块接口间流动的数据,OO软件的类测试是由封装在类中的操作和类的状态行为所驱动的.OO软件测试的特点: 因为属性和操作是被封装的,对类之外操作的测试通常是徒劳的.封装使对对象的状态快照难于获得. 继承也给测试带来了难度,即使是彻底复用的,对每个新的使用语境也需要重新测试. 多重继承更增加了需要测试的语境的数量,使测试进一步复杂化.如果从超类导出的测试用例被用于相同的问题域,有可能对超类导出的测试用例集可以用于子类的测试,然而,如果子类被用于完全不同的语境,则超类的测试用例将没有多大用途,必须设计新的测试用例集. 类测试一般有两种主要的方式: 功能性测试和结构性测试,即对应于传统结构化软件的黑盒测试和白盒测试. 功能性测试以类的规格说明为基础,它主要检查类是否符合其规格说明的要求.例如,对于Stack类,即检查它的操作是否满足LIFO规则;结构性测试则从程序出发,它需要考虑其中的代码是否正确,同样是Stack类,就要检查其中代码是否动作正确且至少执行过一次. 结构性测试方法(白盒测试) 结构性测试对类中的方法进行测试,它把类作为一个单元来进行测试.测试分为两层: 第一层考虑类中各独立方法的代码; 第二层考虑方法之间的相互作用. 每个方法的测试要求能针对其所有的输入情况,但这样还不够,只有对这些方法之间的接口也做同样测试,才能认为测试是完整的.对于一个类的测试要保证类在其状态的代表集上能够正确工作,构造函数的参数选择以及消息序列的选择都要满足这一准则.因此,在这两个不同的测试层次上应分别做到: 方法的单独测试:结构性测试的第一层是考虑各独立的方法,这可以与过程的测试采用同样的方法,两者之间最大的差别在于方法改变了它所在实例的状态,这就要取得隐藏的状态信息来估算测试的结果,传给其它对象的消息被忽略,而以桩来代替,并根据所传的消息返回相应的值,测试数据要求能完全覆盖类中代码,可以用传统的测试技术来获取. 方法的综合测试:第二层要考虑一个方法调用本对象类中的其它方法和从一个类向其它类发送信息的情况.单独测试一个方法时,只考虑其本身执行的情况.而没有考虑动作的顺序问题,测试用例中加入了激发这些调用的信息,以检查它们是否正确运行了.对于同一类中方法之间的调用,一般只需要极少甚至不用附加数据,因为方法都是对类进行存取,故这一类测试的准则是要求遍历类的所有主要状态. 白盒测试工具: 内存资源泄漏检查:Numega中的bouncechecker,Rational的Purify等; 代码覆盖率检查:Numega中的truecoverage,Rational的Purecoverage,Telelogic公司的logiscope,Macabe公司的Macabe等; 开源覆盖率测试软件gCov等. 总结: "白盒"法全面了解程序内部逻辑结构,对所有逻辑路径进行测试."白盒"法是穷举路径测试.在使用这一方案时,测试者必须检查程序的内部结构,从检查程序的逻辑着手,得出测试数据.贯穿程序的独立路径数是天文数字.但即使每条路径都测试了仍然可能有错误. 第一,穷举路径测试决不能查出程序违反了设计规范,即程序本身是个错误的程序; 第二,穷举路径测试不可能查出程序中因遗漏路径而出错. 第三,穷举路径测试可能发现不了一些与数据相关的错误. 第 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]）; 以下不属于软件编码规范评测内容的是（）。 A. 源程序文档化 B.数据说明方法 C. 语句结构 D. 算法逻辑 一个程序的控制流图中有 5 个节点、 9 条边，在测试用例数最少的情况下，确保程序中每个可执行语句至少执行一次所需测试用例数的上限是（）。 A. 2 B. 4 C.6 D.8 对于逻辑表达式(((a>0)&&(b>0))||c<5)，需要（）个测试用例才能完成条件组合覆盖。 A. 2 B. 4 C.8 D.16 对于逻辑表达式(((a>0)&&(b>0))||c<5)，需要（）个测试用例才能完成条件组合覆盖。 A. 2 B. 4 C.8 D.16 对于逻辑表达式( (b1&b2)||in)，需要（）个测试用例才能完成条件组合覆盖。 A.2 B.4 C.8 D.16 以下关于白盒测试的叙述中，不正确的是（）。 A.满足判定覆盖一定满足语句覆盖 B.满足条件覆盖一定满足判定覆盖 C.满足判定条件覆盖一定满足条件覆盖 D.满足条件组合覆盖一定满足判定条件覆盖 对于逻辑表达式((a||(b&c))||(c&&d))，需要（）个测试用例才能完成条件组合覆盖。 A.4 B.8 C.16 D.32 以下属于静态测试方法的是（）。 A.代码审查 B.判定覆盖 C.路径覆盖 D.语句覆盖 以下几种白盒覆盖测试中，覆盖准则最强的是( ) 。 A.语句覆盖 B.判定覆盖 C.条件覆盖 D.条件组合覆盖 对于逻辑表达式((a||b)||(c&&d))，需要( ) 个测试用例才能完成条件组合覆盖。 A.2 B.4 C.8 D.16 以下属于动态测试方法的是 ( ) 。 A.代码审查 B.静态结构测试 C.路径覆盖 D.技术评审 白盒测试不能发现（）。 A.代码路径中的错误 B.死循环 C.逻辑错误 D.功能错误 对于逻辑表达式（（a&&b）||c），需要（）个测试用例才能完成条件组合覆盖。 A.2 B.4 C.8 D.16 以下属于静态测试方法的是（）。 A.分支覆盖率分析 B.复杂度分析 C.系统压力测试 D.路径覆盖分析 对于逻辑表达式（a&&（b|c）），需要（）个测试用例才能完成条件组合覆盖 A.2 B.4 C.6 D.8 逻辑覆盖标准包括（）。 ①判定覆盖②语句覆盖③条件判定覆盖④修正条件判定覆盖 A.①③ B.①②③ C.①②④ D.①②③④ 以下关于白盒测试的叙述中，不正确的是（）。 A.白盒测试仅与程序的内部结构有关，完全可以不考虑程序的功能要求 B.逻辑覆盖法是一种常用的白盒测试方法 C.程序中存在很多判定和条件，不可能实现100%的条件覆盖 D.测试基于代码，无法确定设计正确与否 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 条路径。 在采用基本路径测试方法中，获取测试用例可参考以下方式： ［试题分类］:［04］白盒测试方法/［0400］［综合］白盒测试方法 1.下面不属于白盒测试能保证的是。 A. 模块中所有独立途径至少测试一次 B. 测试所以逻辑决策真和假两个方面 C. 在所有循环的边界内部和边界上执行循环体 D. 不正确或漏掉的功能 答案:D 分数:1 题型：单选题 难度:1 A. 输入与输岀 B. 设计与实现 C. 条件与结果 D. 主程序与子程序 答案:A 分数:1 题型:单选题 难度:1 A. 程序的内部逻辑 B. 程序的复杂程度 C. 使用说明书 D. 程序的功能 答案:A 分数:1 题型:单选题 难度:1 A. 引用分析 B. 算法分析 C. 可靠性分析 D. 效率分析 答案:A 4.软件测试中常用的静态分析方法是（ ）和接口分析。 2.因果图方法是根据（ ）之间的因果关系来设计测试用例的。 3.使用白盒测试方法时，确定测试数据应根据（ ）和指定的覆盖标准。 分数:1 题型：单选题 难度:1 A. 引用分析 B. 算法分析 C. 可靠性分析 D. 接口分析 答案:D 分数:1 题型:单选题 难度:1 A. 路径测试 B. 等价类 C. 因果图 D. 归纳测试 答案:A 分数:1 题型:单选题 难度:1 7.在软件工程中，白箱测试法可用于测试程序的内部结构。此方法将程序看作是（ A. 路径的集合 B. 循环的集合 C. 目标的集合 D. 地址的集合 答案:A 分数:1 题型:单选题 难度:1 8.软件测试白箱测试是对软件的结构进行测试，下述: m.分值测试 （ ）是其应包括的内容。 A. I 5.软件测试中常用的静态分析方法是引用分析和（ ）。 6.白盒方法中常用的方法是（ ）方法。 I .边缘值分析 n.语句测试 IV .路经测试 白盒测试实例之一——需求说明 三角形的问题在很多软件测试的书籍中都出现过，问题虽小，五脏俱全，是个很不错的软件测试的教学例子。本文借助这个例子结合教学经验，从更高的视角来探讨需求分析、软件设计、软件开发与软件测试之间的关系与作用。 题目：根据下面给出的三角形的需求完成程序并完成测试： 一、输入条件： 1、条件1：a+b>c 2、条件2：a+c>b 3、条件3：b+c>a 4、条件4：0 11. if(a==b && b==c && a==c) //这里可以省掉一个判断 12. { 13. printf("1是等边三角形"); 14. } 15. else 16. { 17. if(a==b || b==c || a==c) 18. { 19. printf("2是等腰三角形"); 20. } 21. else 22. { 23. if(a*a+b*b==c*c || a*a+c*c==b*b || b*b+c*c==a*a) 24. { 25. printf("3是直角三角形"); 26. } 27. else 28. { 29. printf("4是一般三角形"); 30. } 31. } 32. } 33. } 34. else 35. { 36. printf("5不能组成三角形"); 37. } 38. } 39. else 40. { 41. printf("6某些边不满足限制"); 42. } 43. } 点评：这样的思路做出来的程序只能通过手工方式来测试所有业务逻辑，而且这个程序只能是DOS界面版本了，要是想使用web或图形化界面来做输入，就得全部写过代码。 如何编写单元测试用例（白盒测试）。 一、单元测试的概念 单元通俗的说就是指一个实现简单功能的函数。单元测试就是只用一组特定的输入(测试用例)测试函数是否功能正常，并且返回了正确的输出。 测试的覆盖种类 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 { 实验报告书 实验一白盒测试 学生姓名：李庆忠 专业：计算机科学与技术学号：1341901317 白盒测试实验报告 一实验内容 1、系统地学习和理解白盒测试的基本概念、原理，掌握白盒测试的基本技术和方法； 2、举例进行白盒测试，使用语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合 覆盖、路径覆盖进行测试。 3、通过试验和应用，要逐步提高和运用白盒测试技术解决实际测试问题的能力； 4、熟悉C++编程环境下编写、调试单元代码的基本操作技术和方法； 5、完成实验并认真书写实验报告（要求给出完整的测试信息，如测试程序、测试用例， 测试报告等） 二实验原理 白盒测试原理：已知产品的内部工作过程，可以通过测试证明每种内部操作是否符合设计规格要求，所有内部成分是否已经过检查。它是把测试对象看作装在一个透明的白盒子里，也就是完全了解程序的结构和处理过程。这种方法按照程序内部的逻辑测试程序，检验程序中的每条通路是否都能按预定要求正确工作。其又称为结构测试。 流程图如下图所示 实验代码 #include"stdio.h" int main() { int x,y,z; scanf("%d%d",&x,&y); if((x>0)&&(y>0)) { z=x+y+10; } else { z=x+y-10; } if(z<0) { z=0; printf("%d\n",z); } else { printf("%d\n",z); } return 0; } 语句覆盖是指选择足够的测试，使得程序中每个语句至少执行一次。如选择测试x=1,y=1和x=1,y=-1可覆盖所有语句。 判定覆盖是指选择足够的测试，使得程序中每一个判定至少获得一次“真”值和“假”值，从而使得程序的每个分支都通过一次（不是所有的逻辑路径）。选择测试x=1,y=1和x=1,y=-1可覆盖所有判定。 条件覆盖是指选择语句多数的测试，使得程序判定中的每个条件能获得各种不同的结果。选择测试x=1,y=1和x=-1,y=-1可覆盖所有条件。 判定/条件覆盖是指选择足够多的测试，使得程序判定中每个条件取得条件可能的值，并使每个判定取到各种可能的结果（每个分支都通过一次）。即满足条件覆盖，又满足判定覆盖。选择测试x=1,y=1和x=-1,y=-1可覆盖所有判定/条件。 条件组合覆盖是指选择足够的测试，使得每个判定中的条件的各种可能组合都至少出现一次（以判定为单位找条件组合）。 注：a，条件组合只针对同一个判断语句存在多个条件的情况，让这些条件的取值进行笛卡尔乘积组合。 b，不同的判断语句内的条件取值之间无需组合。 c，对于但条件的判断语句，只需要满足自己的所有取值即可。 选择测试用例x=1,y=1；x=1,y=-1，x=-1,y=1和x=-1,y=-1可覆盖所有条件组合。 路径覆盖是分析软件过程流的通用工具，有助分离逻辑路径，进行逻辑覆盖的测试，所用的流程图就是讨论软件结构复杂度时所用的流程图。 ［试题分类］：［04］白盒测试方法/［0400］［综合］白盒测试方法 1. 下面不属于白盒测试能保证的是。 A. 模块中所有独立途径至少测试一次 B. 测试所以逻辑决策真和假两个方面 C. 在所有循环的边界内部和边界上执行循环体 D. 不正确或漏掉的功能 答案:D 分数:1 题型：单选题 难度：1 2. 因果图方法是根据（）之间的因果关系来设计测试用例的。 A. 输入与输岀 B. 设计与实现 C. 条件与结果 D. 主程序与子程序 答案:A 分数:1 题型:单选题 难度：1 3. 使用白盒测试方法时，确定测试数据应根据（）和指定的覆盖标准 A. 程序的内部逻辑 B. 程序的复杂程度 C. 使用说明书 D. 程序的功能 答案:A 分数:1 题型:单选题 难度:1 4. 软件测试中常用的静态分析方法是（）和接口分析。 A. 引用分析 B. 算法分析 C. 可靠性分析 D. 效率分析 答案:A 分数:1 题型:单选题 难度:1 5. 软件测试中常用的静态分析方法是引用分析和（）。 A. 引用分析 B. 算法分析 C. 可靠性分析 D. 接口分析 答案:D 分数:1 题型:单选题 难度:1 6. 白盒方法中常用的方法是（）方法。 A. 路径测试 B. 等价类 C. 因果图 D. 归纳测试 答案:A 分数:1 题型:单选题 难度:1 7. 在软件工程中，白箱测试法可用于测试程序的内部结构。此方法将程序看作是（） A. 路径的集合 B. 循环的集合 C. 目标的集合 D. 地址的集合 答案:A 分数:1 题型：单选题 难度：1 8. 软件测试白箱测试是对软件的结构进行测试，下述： I.边缘值分析n.语句测试 皿.分值测试IV .路经测试 ）是其应包括的内容。 A. I B. n和皿 C.皿和V D. n .皿和V 答案:D 分数:1 题型:单选题 难度：1 9. 在进行单元测试时，常用的方法是（）。 A. 采用白盒测试，辅之以黑盒测试 B. 采用黑盒测试，辅之以白盒测试 C. 只适用白盒测试 D. 只适用黑盒测试 答案:A 分数:1 题型:单选题 难度:1 10. 白盒测试法一般使用于（）测试。 A. 单元 B. 系统 C. 集成 D. 确认 答案:A 分数:1 题型:单选题 难度:1 [试题分类]:[04] 白盒测试方法/[0401]逻辑覆盖法 11. 关于条件测试错误的是（） A. 可以检查程序中所包含的逻辑条件 B. 条件中包含的错误有布尔算子错误 C. 条件中包含的错误有布尔变量错误 D. 条件中包含的错误有接口错误 答案:D 分数:1 题型:单选题 难度:1 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 白盒测试用例练习 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) 精品文档 class是从struct发展而来的。之所以将struct和class都保留，是因为： 1、提出class是为了强调一种概念。 2、保留struct是为了照顾到大多数人的习惯。 struct和class是有区别的。 struct保证成员按照声明顺序在内存中存储。class不保证等等 而它们都可以继承，实现多态等。但也有少许区别。比如： struct A { }； class B : A{ }; //private继承 struct C : B{ }； //public继承 这是由于class默认是private，struct默认是public。 一般说来，struct和class可以换用（当然要注意一些语法问题）。 而struct更适合看成是一个数据结构的实现体， class更适合看成是一个对象的实现体， 对私有成员进行保护，还提供与外界的接口。 从习惯上更喜欢用class。 05:请讲一讲析构函数和虚函数的用法和作用？ 答:置于“～”是析构函数；析构函数因使用"~"符号(逻辑非运算符)，表示它为腻构造函数，加上类名称来定义。 ；析构函数也是特殊的类成员函数，它没有返回类型，没有参数，不能随意调用，也没有重载，只有在类对象的生命期结束的时候，由系统自动调用。 有适放内存空间的做用! 虚函数是C++多态的一种表现 例如：子类继承了父类的一个函数（方法），而我们把父类的指针指向子类，则必须把父类的该函数（方法）设为virturl（虚函数)。 使用虚函数，我们可以灵活的进行动态绑定，当然是以一定的开销为代价。 如果父类的函数（方法）根本没有必要或者无法实现，完全要依赖子类去实现的话，可以把此函数（方法）设为virturl 函数名=0 我们把这样的函数（方法）称为纯虚函数。 如果一个类包含了纯虚函数，称此类为抽象类 精品文档 一、核心程序代码 /** 判断三角形的类*/ 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; } } } // 判断为三角形判断为等腰三角形 、程序流程图 三、测试用例 F6, F7, T8 Case28 a=4, b=3, c=3 2 T1, T2, T3, F4, T5, F6, T7, F8 2 Case29 a=3, b=4, c=5 1 T1, T2, T3, F4, F5, F6, F7, F8 1 Case30 a=3, b=4, c=3 2 T1, T2, T3, F4, F5, F6, F7, T8 2 备注 其他条件组合，无法到达结束 四、程序控制流图 -> a B a == b E F b == c Return 3 Ffet urn 2 Ret ur n 1 K 输入 期望输出 覆盖对象 测试结果 Case31 a=1,b=6,c=7 0 A->D 0 Case32 a=7, b=6, c=1 0 A->B->D 0 Case33 a=1,b=7,c=6 0 A->B->C->D D Return 0 G b == c Ret ur n 2 H 斗 J a == C [试题分类]: [04]白盒测试方法/[0400][综合]白盒测试方法 1. 下面不属于白盒测试能保证的是。 A.模块中所有独立途径至少测试一次 B.测试所以逻辑决策真和假两个方面 C.在所有循环的边界内部和边界上执行循环体 D.不正确或漏掉的功能 答案:D 分数:1 题型:单选题 难度:1 2.因果图方法是根据（）之间的因果关系来设计测试用例的。 A.输入与输出 B.设计与实现 C.条件与结果 D.主程序与子程序 答案:A 分数:1 题型:单选题 难度:1 3.使用白盒测试方法时，确定测试数据应根据（）和指定的覆盖标准。 A.程序的内部逻辑 B.程序的复杂程度 C.使用说明书 D.程序的功能 答案:A 分数:1 题型:单选题 难度:1 4.软件测试中常用的静态分析方法是（）和接口分析。 A.引用分析 B.算法分析 C.可靠性分析 D.效率分析 答案:A 分数:1 题型:单选题 难度:1 5.软件测试中常用的静态分析方法是引用分析和（）。 A.引用分析 B.算法分析 C.可靠性分析 D.接口分析 答案:D 分数:1 题型:单选题 难度:1 6.白盒方法中常用的方法是（）方法。 A.路径测试 B.等价类 C.因果图 D.归纳测试 答案:A 分数:1 题型:单选题 7.在软件工程中，白箱测试法可用于测试程序的内部结构。此方法将程序看作是（） A.路径的集合 B.循环的集合 C.目标的集合 D.地址的集合 答案:A 分数:1 题型:单选题 难度:1 8.软件测试白箱测试是对软件的结构进行测试，下述： Ⅰ.边缘值分析Ⅱ.语句测试 Ⅲ.分值测试Ⅳ.路经测试 （）是其应包括的内容。 A.Ⅰ B.Ⅱ和Ⅲ C.Ⅲ和Ⅳ D.Ⅱ.Ⅲ和Ⅳ 答案:D 分数:1 题型:单选题 难度:1 9.在进行单元测试时，常用的方法是（）。 A.采用白盒测试，辅之以黑盒测试 B.采用黑盒测试，辅之以白盒测试 C.只适用白盒测试 D.只适用黑盒测试 答案:A 分数:1 题型:单选题 难度:1 10.白盒测试法一般使用于（）测试。 A.单元 B.系统 C.集成 D.确认 答案:A 分数:1 题型:单选题 难度:1 [试题分类]: [04]白盒测试方法/[0401]逻辑覆盖法 11.关于条件测试错误的是（） A.可以检查程序中所包含的逻辑条件 B.条件中包含的错误有布尔算子错误 C.条件中包含的错误有布尔变量错误 D.条件中包含的错误有接口错误 答案:D 分数:1 题型:单选题 难度:1 12.关于条件中包含的错误类型说法错误的是（） A.关系算子错误 B.算术表达式错误 C.条件中包含的错误有布尔变量错误 D.条件中包含的错误有接口错误 白盒测试 白盒测试(White-box Testing，又称逻辑驱动测试,结构测试) 是把测试对象看作一个打开的盒子。利用白盒测试法进行动态测试时，需要测试软件产品的内部结构和处理过程，不需测试软件产品的功能。白盒测试又称为结构测试和逻辑驱动测试。 白盒测试法的覆盖标准有逻辑覆盖、循环覆盖和基本路径测试。其中逻辑覆盖包括语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖。 六种覆盖标准：语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖发现错误的能力呈由弱至强的变化。语句覆盖每条语句至少执行一次。判定覆盖每个判定的每个分支至少执行一次。条件覆盖每个判定的每个条件应取到各种可能的值。判定/条件覆盖同时满足判定覆盖条件覆盖。条件组合覆盖每个判定中各条件的每一种组合至少出现一次。路径覆盖使程序中每一条可能的路径至少执行一次。 白盒测试也称结构测试或逻辑驱动测试，它是知道产品内部工作过程，可通过测试来检测产品内部动作是否按照规格说明书的规定正常进行，按照程序内部的结构测试程序，检验程序中的每条通路是否都有能按预定要求正确工作，而不顾它的功能，白盒测试的主要方法有逻辑驱动、基路测试等，主要用于软件验证。 "白盒"法全面了解程序内部逻辑结构、对所有逻辑路径进行测试。"白盒"法是穷举路径测试。在使用这一方案时，测试者必须检查程序的内部结构，从检查程序的逻辑着手，得出测试数据。贯穿程序的独立路径数是天文数字。但即使每条路径都测试了仍然可能有错误。第一，穷举路径测试决不能查出程序违反了设计规范，即程序本身是个错误的程序。第二，穷举路径测试不可能查出程序中因遗漏路径而出错。第三，穷举路径测试可能发现不了一些与数据相关的错误。 白盒测试用例练习 一、为以下所示的程序段设计一组测试用例，要求分别满足语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖，并画出相应的程序流程图。 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、路径覆盖 软件测试中如何编写单元测试用例（白盒测试） 测试用例（T est Case）是为某个特殊目标而编制的一组测试输入、执行条件以及预期结果，以便测试某个程序路径或核实是否满足某个特定需求。 测试用例（T est Case）目前没有经典的定义。比较通常的说法是：指对一项特定的软件产品进行测试任务的描述，体现测试方案、方法、技术和策略。内容包括测试目标、测试环境、输入数据、测试步骤、预期结果、测试脚本等，并形成文档。 不同类别的软件，测试用例是不同的。不同于诸如系统、工具、控制、游戏软件，管理软件的用户需求更加不统一，变化更大、更快。笔者主要从事企业管理软件的测试。因此我们的做法是把测试数据和测试脚本从测试用例中划分出来。测试用例更趋于是针对软件产品的功能、业务规则和业务处理所设计的测试方案。对软件的每个特定功能或运行操作路径的测试构成了一个个测试用例。 随着中国软件业的日益壮大和逐步走向成熟，软件测试也在不断发展。从最初的由软件编程人员兼职测试到软件公司组建独立专职测试部门。测试工作也从简单测试演变为包括：编制测试计划、编写测试用例、准备测试数据、编写测试脚本、实施测试、测试评估等多项内容的正规测试。测试方式则由单纯手工测试发展为手工、自动兼之，并有向第三方专业测试公司发展的趋势。 要使最终用户对软件感到满意,最有力的举措就是对最终用户的期望加以明确阐述，以便对这些期望进行核实并确认其有效性。测试用例反映了要核实的需求。然而，核实这些需求可能通过不同的方式并由不同的测试员来实施。例如，执行软件以便验证它的功能和性能，这项操作可能由某个测试员采用自动测试技术来实现；计算机系统的关机步骤可通过手工测试和观察来完成；不过，市场占有率和销售数据（以及产品需求），只能通过评测产品和竞争销售数据来完成。 既然可能无法（或不必负责）核实所有的需求，那么是否能为测试挑选最适合或最关键的需求则关系到项目的成败。选中要核实的需求将是对成本、风险和对该需求进行核实的必要性这三者权衡考虑的结果。 确定测试用例之所以很重要，原因有以下几方面。 测试用例构成了设计和制定测试过程的基础。测试的“深度”与测试用例的数量成比例。由于每个测试用例反映不同的场景、条件或经由产品的事件流，因而，随着测试用例数量的增加，您对产品质量和测试流程也就越有信心。判断测试是否完全的一个主要评测方法是基于需求的覆盖，而这又是以确定、实施和/或执行的测试用例的数量为依据的。类似下面这样的说明：“95 % 的关键测试用例已得以执行和验证”，远比“我们已完成95 % 的测试”更有意义。测试工作量与测试用例的数量成比例。根据全面且细化的测试用例，可以更准确地估计测试周期各连续阶段的时间安排。测试设计和开发的类型以及所需的资源主要都受控于测试用例。测试用例通常根据它们所关联关系的测试类型或测试需求来分类，而且将随类型和需求进行相应地改变。最佳方案是为每个测试需求至少编制两个测试用例：·一个测试用例用于证明该需求已经满足，通常称作正面测试用例；·另一个测试用例反映某个无法接受、反常或意外的条件或数据，用于论证只有在所需条件下才能够满足该需求，这个测试用例称作负面测试用例。 前段时间公司进行有关测试的培训，集成测试，性能测试，压力测试说了很多。由于本人还处于Coder阶段，只是对单元测试有了些了解。写下来怕以后自己忘记了。都是些自己的看法，不一定准确，欢迎高手指教。 一、单元测试的概念 单元通俗的说就是指一个实现简单功能的函数。单元测试就是只用一组特定的输入(测试用 白盒测试 白盒测试，又称结构测试、透明盒测试、逻辑驱动测试或基于代码的测试。白盒测试是一种测试用例设计方法，盒子指的是被测试的软件，白盒指的是盒子是可视的，你清楚盒子部的东西以及里面是如何运作的。"白盒"法全面了解程序部逻辑结构、对所有逻辑路径进行测试。"白盒"法是穷举路径测试。在使用这一方案时，测试者必须检查程序的部结构，从检查程序的逻辑着手，得出测试数据。贯穿程序的独立路径数是天文数字。 采用什么方法对软件进行测试呢？常用的软件测试方法有两大类：静态测试方法和动态测试方法。其中软件的静态测试不要求在计算机上实际执行所测程序，主要以一些人工的模拟技术对软件进行分析和测试；而软件的动态测试是通过输入一组预先按照一定的测试准则构造的实例数据来动态运行程序，而达到发现程序错误的过程。在动态分析技术中,最重要的技术是路径和分支测试。下面要介绍的六种覆盖测试方法属于动态分析方法。 中文名：白盒测试 外文名：white-box testing 别称：结构测试、透明盒测试 白盒测试测试方法 白盒测试的测试方法有代码检查法、静态结构分析法、静态质量度量法、逻辑覆盖法、基本路径测试法、域测试、符号测试、路径覆盖和程序变异。 白盒测试法的覆盖标准有逻辑覆盖、循环覆盖和基本路径测试。其中逻辑覆盖包括语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖。六种覆盖标准发现错误的能力呈由弱到强的变化： 1.语句覆盖每条语句至少执行一次。 2.判定覆盖每个判定的每个分支至少执行一次。 3.条件覆盖每个判定的每个条件应取到各种可能的值。 4.判定/条件覆盖同时满足判定覆盖条件覆盖。 5.条件组合覆盖每个判定中各条件的每一种组合至少出现一次。 6.路径覆盖使程序中每一条可能的路径至少执行一次。 白盒测试要求 日期问题白盒测试用例的设计（实验时间2012.3.21） 一、实验目的 1．熟练掌握如何运用基路径测试方法进行测试用例设计。 二、实验内容 1、题目 前一日函数PreDate 是NextDate 的逆函数（代码实现见下），实现功能为：输入1800 年到2050 年之间的某个日期，函数返回这一天的前一天的日期。（此处不考虑无效输入） 请采用基路径方法对前一日函数进行测试用例设计。 代码：(被测函数为PreDate) #include"stdio.h" typedef struct MyDate{ int month; int day; int year; }MyDate; MyDate PreDate(MyDate date);int Leapyear(int year);void Print(MyDate date); MyDate PreDate(MyDate date) //输入日期有效性检查中其他模块实现，此处假设输入日期都是合法数据 { 1.MyDate yesterday; 2.yesterday.month = date.month; // initialization 3.yesterday.day = date.day; 4.yesterday.year = date.year; 5.int days_month[13]={0,31,0,31,30,31,30,31,31,30,31,30,31}; //初始化每月天数，其中2月不确定，初始化为0 6.if(date.day>1) 7.yesterday.day=date.day-1;else { 8.if(date.month==1) { 9.yesterday.year=date.year-1; 10.yesterday.month=12;11.yesterday.day=31;} 、管路敷设技术通过管线不仅可以解决吊顶层配置不规范高中资料试卷问题，而且可保障各类管路习题到位。在管路敷设过程中，要加强看护关于管路高中资料试卷连接管口处理高中资料试卷弯扁度固定盒位置保护层防腐跨接地线弯曲半径标高等，要求技术交底。管线敷设技术包含线槽、管架等多项方式，为解决高中语文电气课件中管壁薄、接口不严等问题，合理利用管线敷设技术。线缆敷设原则：在分线盒处，当不同电压回路交叉时，应采用金属隔板进行隔开处理；同一线槽内，强电回路须同时切断习题电源，线缆敷设完毕，要进行检查和检测处理。、电气课件中调试对全部高中资料试卷电气设备，在安装过程中以及安装结束后进行 高中资料试卷调整试验；通电检查所有设备高中资料试卷相互作用与相互关系，根据生产工艺高中资料试卷要求，对电气设备进行空载与带负荷下高中资料试卷调控试验；对设备进行调整使其在正常工况下与过度工作下都可以正常工作；对于继电保护进行整核对定值，审核与校对图纸，编写复杂设备与装置高中资料试卷调试方案，编写重要设备高中资料试卷试验方案以及系统启动方案；对整套启动过程中高中资料试卷电气设备进行调试工作并且进行过关运行高中资料试卷技术指导。对于调试过程中高中资料试卷技术问题，作为调试人员，需要在事前掌握图纸资料、设备制造厂家出具高中资料试卷试验报告与相关技术资料，并且了解现场设备高中资料试卷布置情况与有关高中资料试卷电气系统接线等情况，然后根据规范与规程规定，制定设备调试高中资料试卷方案。 、电气设备调试高中资料试卷技术电力保护装置调试技术，电力保护高中资料试卷配置技术是指机组在进行继电保护高中资料试卷总体配置时，需要在最大限度内来确保机组高中资料试卷安全，并且尽可能地缩小故障高中资料试卷破坏范围，或者对某些异常高中资料试卷工况进行自动处理，尤其要避免错误高中资料试卷保护装置动作，并且拒绝动作，来避免不必要高中资料试卷突然停机。因此，电力高中资料试卷保护装置调试技术，要求电力保护装置做到准确灵活。对于差动保护装置高中资料试卷调试技术是指发电机一变压器组在发生内部故障时，需要进行外部电源高中资料试卷切除从而采用高中资料试卷主要保护装置。白盒与黑盒测试的测试用例设计(20210110002601)
第14章白盒测试技术
白盒测试用例设计方法
白盒测试方法习题及答案
白盒测试实例
如何编写单元测试用例(白盒测试)
白盒测试实验报告-范例
白盒测试方法习题及答案
白盒测试：路径测试及测试用例设计
白盒测试用例练习题(1)
最新白盒测试面试题
软件测试案例三角形白盒测试
白盒测试方法习题测验及答案
白盒测试及用例设计
软件测试白盒测试用例练习题
软件测试中如何编写单元测试用例(白盒测试)
白盒测试和黑盒测试
实验三日期问题白盒测试用例设计-推荐下载