1、ZD培训教材白盒测试培训教材白盒测试技术技术v正确的态度在理想的情况下，我们会测试程序的所有可能执行情况。然而在大多数情况下，这几乎是不可能的。对一个复杂的应用程序进展完全的测试，将消耗大量的时间和人力资源，以至于在经济上是不可行的。要成功的测试一个软件应用程序，测试人员需要有正确的态度愿景。在某些情况下，测试人员的态度可能比实际的测试过程本身还要重要。什么是软件测试？软件测试执行效果不好，其中一个主要原因在于大多数的程序员一开场就把“测试这个术语的定义搞错了。“测试终究是什么？测试终究是什么？“测试术语的错误理解n软件测试就是证明软件不存在错误的过程。n软件测试的目的在于证明软件能够正确完成
2、其预定的功能。n软件测试就是建立一个“软件做了其应该做的信心的过程。软件测试更为适宜的定义测试是为发现错误而执行程序的过程测试是为发现错误而执行程序的过程不正确的理解带来的问题1人类的行为总是倾向于具有高度目标性。如果我们的目的是证明程序中不存在错误，那就会在潜意识中倾向于实现这个目标；也就是说，我们会倾向于选择较少导致程序失效的测试数据。另一方面，如果我们的目标在于证明程序中存在错误，我们设计的测试数据就有可能更多的发现问题。“成功的测试和“不成功的测试没有发现错误的测试用例是一次“成功的测试？发现了错误的测试用例是一次“不成功的测试？“成功的测试如果在测试某段程序时发现了错误，而且这些错误
3、是可以修复的，就将这次合理设计并得到有效执行的测试称作是“成功的。如果本次测试可以最终确定再无其他可查出的错误，同样也被称作是“成功的。“不成功的测试所谓“不成功的测试，仅指未能适当的对程序进展检查，在大多数情况下，未能找出错误的测试被认为是“不成功的，这是因为认为软件中不包含错误的观点根本上是不切实际的。不正确的理解带来的问题2“软件测试就是证明软件不存在错误的过程，这个定义带来的第二个问题：对于几乎所有的程序，甚至是非常小的程序，这个目标实际上也是无法到达的。不正确的理解带来的问题3“软件测试就是证明软件做了其该应该做的的过程，此类定义所带来的第三个问题是，程序即使能够完成预定的功能，也仍
4、然可能隐藏错误。程序可能做了其不应该做的，这也是程序中的错误。白盒测试白盒测试检查程序的内部构造。这种测试策略对程序的逻辑构造进展检查，从中获取测试数据。为了完全测试程序，理想的情况是将程序中所有可能的控制流路径至少执行一次。这种方法通常称为穷举路径测试。穷举路径测试穷举路径测试即完全的测试？程序中不同逻辑路径的数量可能到达天文数字。即使可以测试到程序中的所有路径，程序可能仍然存在着错误：即使是穷举路径测试也决不能保证程序符合其设计标准。程序可能会因为缺少某些路径而存在问题。穷举路径测试当然不能发现缺少了哪些必需路径。穷举路径测试可能不会暴露数据敏感错误。例1ab左图描述的是一个有着10-20
5、行程序的语句，包含一个迭代20次的DO循环。从 ab之间所有不同路径的数量，大约是1014：520+519+51设计测试用例软件测试中最重要的因素是设计和生成有效的测试用例。由于时间和本钱的约束，软件测试中最关键的问题是：在所有可能的测试用例中，哪个子集最有可能发现最多的错误？测试用例设计方法黑盒测试黑盒测试等价类划分等价类划分边界值分析边界值分析因果图分析因果图分析错误猜测错误猜测白盒测试白盒测试w语句覆盖w判定覆盖w条件覆盖w判定/条件覆盖w多重条件覆盖例2(Code)public void foo(int a,int b,int x)if(a1&b=0)x=x/a;if(a=2|x1)x
6、=x+1;例2(流程图)a1ANDb=0 x=x/a a=2ORX1x=x+1ACBEDYYNN语句覆盖语句覆盖准那么要求编写足够的测试用例，使得语句覆盖准那么要求编写足够的测试用例，使得程序中每条语句都被执行一次。程序中每条语句都被执行一次。通过编写单个的测试用例遍历程序路径通过编写单个的测试用例遍历程序路径ACE，可以执行到每一条语句。可以执行到每一条语句。在在A点处设置点处设置 a=2,b=0,x=3，每条语句可以，每条语句可以执行一次。执行一次。语句覆盖的缺乏语句覆盖准那么是合理的白盒测试中较弱的准那么。在本例中，存在以下缺乏：1.如果第一个判断应该是“或，而不是“与；不能发现该错误；
7、2.如果第二个判断应该是“x 0，而不是“x 1；不能发现该错误；3.程序中存在一条 x 未发生改变的路径：ABD，如果这是个错误，它也不会被发现。判定覆盖判定覆盖或分支覆盖较强一些的准那么。该准判定覆盖或分支覆盖较强一些的准那么。该准那么要求必须编写足够的测试用例，使得每一那么要求必须编写足够的测试用例，使得每一个判断都至少有一个为真和为假的输出结果。个判断都至少有一个为真和为假的输出结果。换句话说就是每条分支路径都必须至少遍历一换句话说就是每条分支路径都必须至少遍历一次。次。当程序中包含有多重选择的判断时如包含当程序中包含有多重选择的判断时如包含switch case 语句的语句的C/C+
8、程序，判定程序，判定/分支覆分支覆盖要求将所有判断的每个可能结果都至少执行盖要求将所有判断的每个可能结果都至少执行一次，以及将程序或子程序的每个入口点都至一次，以及将程序或子程序的每个入口点都至少执行一次。少执行一次。判定覆盖例子在例2流程图中，两个涵盖了路径ACE和ABD，或涵盖了路径ACD和ABE的测试用例就可以满足判定覆盖的要求。如果选择后一种情况，两个测试用例的输入是：a=3,b=0,x=3a=2,b=1,x=1判定覆盖的缺乏判定覆盖是一种比语句覆盖更强的准那么，但仍然存在相当缺乏。在本例中：1.我们仅有50的可能性遍历到那条 x 未发生变化的路径。2.如果第二个判断存在错误例如把 x
9、 1 写成了 x 1、b=0、a=2 及 x 1因此需要足够的测试用例，使得在点 A 处出现 a 1,a=1,b=0,b 0 的情况，在点 B 处出现 a=2,a 2,x 1,x=1 的情况。用例及其遍历的路径如下：a=2,b=0,x=4ACE1.a=1,b=1,x=1ABD条件覆盖和判断覆盖比照条件覆盖通常要比判定覆盖更强一些。因为，条件覆盖可能但并不总是这样会使判断中的每个条件都取到两个结果“真和“假，而判定覆盖却做不到这一点。例：DO k=0 to 50 WHILE(J+KQUEST)在上述语句中，存在一个两重分支执行循环体，或者跳出循环体。使用判定覆盖测试，将k=0执行到k=51即可满
10、足该准那么。使用条件覆盖准那么，就需要设计一个测试用例为J+K 1、b=0、a=2 及 x 1；有两个判断，第一个判断的分支为B、C；第二个判断的分支为D、E。因此需要足够的测试用例，使得在点 A 处出现 a 1,a=1,b=0,b 0 的情况，在点 B 处出现 a=2,a 2,x 1,x 1b=0a=2x 1x=x/ax=x+1YYYYNNNNHIJK1.a=2,b=0,x=4ACE2.a=1,b=1,x=1ABDACBED多重条件覆盖多重条件覆盖准那么要求设计出充足的测试用例，将每个判定中的所有可能的条件结果的组合，以及所有的入口点都至少执行一次。例3NOTFOUND=TRUE;DO I=
11、1 to TABSIZE WHILE(NOTFOUND);/Search TABLE searching logic END针对上面的伪代码程序，要测试四种情况：1.I=TABSIZE，并且NOTFOUND为真；2.I TABSIZE，并且NOTFOUND为真；4.I TABSIZE，并且NOTFOUND为假；多重条件覆盖例子针对例2，测试用例必须覆盖以下8种组合：1.a1,b=05.a=2,x12.a1,b06.a=2,x=13.a=1,b=07.a2,x14.a=1,b08.a2,x=1以下4组测试用例可以覆盖上述8种组合：a=2,b=0,x=4 ACE覆盖组合1，5a=2,b=1,x=1
12、 ABE覆盖组合2，6a=1,b=0,x=2 ABE覆盖组合3，7a=1,b=1,x=1 ABD覆盖组合4，8多重条件覆盖缺乏多重条件覆盖仍旧有可能不能覆盖全部路径。如在例2中，采用多重条件覆盖生成的4个测试用例中仍旧没有覆盖 ACD 路径。简单的准那么对于包含每个判定只存在一种条件的程序，最简单的测试准那么就是设计出足够数量的测试用例，实现：1.将每个判断的所有结果都至少执行一次；2.将所有的程序入口都至少调用一次，以确保全部的语句都至少执行一次。对于包含多重条件判断的程序，最简单的测试准那么是设计出足够数量的测试用例，将每个判断的所有可能的条件结果的组合，以及所有的入口点都至少执行一次。单
13、元测试单元测试或模块测试是对程序中的单个子程序或过程进展测试的过程。单元测试的目的是将模块的功能与定义模块的功能规格说明或接口规格说明进展比较。为了再次强调所有测试过程的目的，这里的测试目标不是为了说明模块符合其规格说明，而是为了提醒出模块与其规格说明存在着矛盾。测试用例设计在为模块测试设计测试用例时，需要使用两种类型的信息：模块的规格说明和模块的源代码。规格说明一般都规定了模块的输入和输出参数以及模块的功能。模块测试的测试用例的设计过程一般如下：使用一种或多种白盒测试方法分析模块的逻辑构造，生成测试用例；然后使用黑盒测试方法对照模块的规格说明以补充测试用例。三角形问题三角形程序承受三个整数
14、a、b 和 c 作为输入，用做三角形的边。程序的输出是由这三条边确定的三角形类型：等边三角形、等腰三角形、不等边三角形或非三角形。1.Program triangle2.Dim a,b,c As Integer3.Dim IsATriangle As BooleanStep1:获得输入4.Output(输入3个整数作为三角形的三个边长)5.Input(a,b,c)6.Output(边A长度为:,a)7.Output(边B长度为:,b)8.Output(边C长度为:,c)Step2:判断是否是三角形9.If(ab+c)AND(ba+c)AND(ca+b)10.Then IsATriangle=T
15、rue11.Else IsATriangle=False12.EndIfStep3:判断三角形类型13.If IsATriangle14.Then If(a=b)AND(b=c)15.Then Output(等边三角形)16.Else If(ab)AND(ac)AND(bc)17.Then Output(不等边三角形)18.Else Output(等腰三角形)19.EndIf20.EndIf21.Else Output(非三角形)22.EndIf23.End triangle。三角形程序伪码三角形程序图分析条件判断语句无论采用哪种逻辑覆盖方法，第一步都是要列举出程序中所有的条件判断。9.If(
16、ab+c)AND(ba+c)AND(ca+b)13.If IsATriangle14.If(a=b)AND(b=c)16.If(ab)AND(ac)AND(bc)判定覆盖分析判定TrueFlase9任意两边之和大于第三边 存在两边之和小于第三边13是三角形非三角形14三条边相等存在两条不相等的边16三条边互不相等存在两条边相等表1 与判定输出对应的状态判定覆盖测试用例测试用例输入预期结果1a=3,b=4,c=5不等边三角形2a=3,b=1,c=1非三角形3a=3,b=3,c=3等边三角形4a=3,b=3,c=4等腰三角形表2 满足判定覆盖准那么的测试用例条件覆盖分析表3 与条件输出对应的状态判
17、定条件TrueFalse9ab+ca=b+c9ba+cb=a+c9ca+bc=a+b13IsATriangleIsATriangle=TrueIsATriangle=Flase14a=ba=bab14b=cb=cbc16ababa=b16acaca=c16bcbcb=c条件覆盖测试用例测试用例输入预期结果1a=3,b=4,c=5不等边三角形2a=3,b=1,c=1非三角形3a=1,b=3,c=1非三角形4a=1,b=1,c=3非三角形5a=3,b=3,c=4等腰三角形6a=4,b=3,c=3等腰三角形7a=3,b=4,c=3等腰三角形表4 满足条件覆盖准那么的测试用例判定/条件覆盖测试用例测试
18、用例输入预期结果1a=3,b=4,c=5不等边三角形2a=3,b=1,c=1非三角形3a=1,b=3,c=1非三角形4a=1,b=1,c=3非三角形5a=3,b=3,c=4等腰三角形6a=4,b=3,c=3等腰三角形7a=3,b=4,c=3等腰三角形8a=3,b=3,c=3等边三角形表5 满足判定/条件覆盖准那么的测试用例多重条件覆盖测试用例测试用例输入预期结果1a=3,b=4,c=5不等边三角形2a=3,b=1,c=1非三角形3a=1,b=3,c=1非三角形4a=1,b=1,c=3非三角形5a=3,b=3,c=4等腰三角形6a=4,b=3,c=3等腰三角形7a=3,b=4,c=3等腰三角形8a=3,b=3,c=3等边三角形表6 满足多重条件覆盖准那么的测试用例多重条件覆盖测试用例续测试用例输入预期结果9a=1,b=2,c=3非三角形10a=1,b=3,c=2非三角形11a=3,b=1,c=2非三角形表6 满足多重条件覆盖准那么的测试用例续补充黑盒测试用例使用逻辑覆盖准那么生成相应的测试用例后，需要根据模块的规格说明书补充黑盒测试用例。
