第5章 白盒测试ppt课件.ppt

《第5章 白盒测试ppt课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、白盒测试信息工程教研室谷凌雁白盒测试白盒测试概念测试覆盖标准逻辑驱动测试基本路径测试把测试对象看做一个透明的盒子白盒测试是根据被测程序的内部结构设计测试用例并完成测试的一种测试方法白盒测试或逻辑驱动测试基于一个应用代码的内部逻辑知识，测试覆盖全部代码、分支、路径和条件白盒测试（结构测试）概念白盒测试(结构测试)特点可以构成测试数据使特定程序部分得到测试有一定的充分性度量手段可获得较多工具支持通常只用于单元测试白盒测试的方法静态测试方法：程序结构分析正式审查同事审查公开陈述检验动态测试方法：逻辑覆盖语句覆盖判定覆盖条件覆盖判定-条件覆盖条件组合路径覆盖为编程过程中，每写1000行代码会犯

2、几十个错误编程与编译运行结束后，每1000行代码中大约残留有2-6个Bug寻找与修改程序错误的代价占总体开发投资的30%-60%Bug在整个研发流程中被发现的越早，修改的代价就越低通用代码审查清单数据引用错误数据声明错误计算错误比较错误控制流程错误子程序参数错误输入、输出错误其他错误代码覆盖率采用白盒法进行测试时，考虑的是测试用例对程序内部逻辑的覆盖程度最彻底的白盒法是覆盖程序中的每一条路径，但这往往无法实现采用其它一些标准来量度覆盖的程度，并希望覆盖程度尽可能高些测试覆盖标准测试覆盖标准上页小程序的流程图，其中包括了一个执行达20次的循环。那么它所包含的不同执行路径数高达520（＝1

3、013）条，若要对它进行穷举测试，覆盖所有的路径。假使测试程序对每一条路径进行测试需要1毫秒，同样假定一天工作24小时，一年工作365天，那么要想把如图所示的小程序的所有路径测试完，则需要3170年。逻辑驱动测试语句覆盖判定覆盖条件覆盖判定－条件覆盖条件组合覆盖路径覆盖例：实现一个简单的数学运算Dima,bAsIntegerDimcAsDoubleIf(a>0Andb>0)Thenc=c/aEndifIf(a>1orc>1)Thenc=c+1Endifc=b+c1.语句覆盖基本思想是：设计若干测试用例，运行被测程序，使程序中每个可执行语句至少执行一次。11.语句覆盖……续1只需设计一个

4、测试用例:a=2，b=1，c=6；即达到了语句覆盖。1.语句覆盖……续2【优点】：可以很直观地从源代码得到测试用例，无须细分每条判定表达式。【缺点】：由于这种测试方法仅仅针对程序逻辑中显式存在的语句，但对于隐藏的条件是无法测试的。如在多分支的逻辑运算中无法全面的考虑。语句覆盖是最弱的逻辑覆盖。2.判定覆盖基本思想是：设计若干测试用例，运行被测程序，使得程序中每个判断的取真分支和取假分支至少经历一次，即判断真假值均曾被满足。12.判定覆盖……续1a=2，b=1，c=6可覆盖判断M的Y分支和判断Q的Y分支；a=-2，b=-1，c=-3可覆盖判断M的N分支和判断Q的N分支。这两组测试用例可覆

5、盖所有判定的真假分支。判断M判断Q2.判定覆盖……续2a=1，b=1，c=-3可覆盖判断M的Y分支和判断Q的N分支；a=1，b=-2，c=3可覆盖判断M的N分支和判断Q的Y分支；同样的这两组测试用例也可覆盖所有判定的真假分支。判断M判断Q2.判定覆盖……续3【优点】：判定覆盖具有比语句覆盖更强的测试能力。同样判定覆盖也具有和语句覆盖一样的简单性，无须细分每个判定就可以得到测试用例。【缺点】：往往大部分的判定语句是由多个逻辑条件组合而成，若仅仅判断其整个最终结果，而忽略每个条件的取值情况，必然会遗漏部分测试路径。判定覆盖仍是弱的逻辑覆盖。3.条件覆盖基本思想是：设计若干测试用例，执行被测

6、程序以后要使每个判断中每个条件的可能取值至少满足一次。13.条件覆盖……续1判断M表达式:设条件a>0取真记为T1假F1条件b>0取真记为T2假F2判断Q表达式:设条件a>1取真记为T3假F3条件c>1取真记为T4假F4判断M判断Q3.条件覆盖……续2它覆盖了判定M的N分支和判断Q的Y分支。我们用条件覆盖设计的思想就是让测试用例能覆盖T1、T2、T3、T4、F1、F2、F3、F4判断M判断Q3.条件覆盖……续3【优点】：增加了对条件判定情况的测试，增加了测试路径。【缺点】：条件覆盖不一定包含判定覆盖。例如，我们刚才设计的用例就没有覆盖判断M的Y分支和判断Q的N分支。条件覆盖只能保证每个

7、条件至少有一次为真，而不考虑所有的判定结果。4.判定－条件覆盖基本思想是：设计足够的测试用例，使得判断条件中的所有条件可能至少执行一次取值，同时，所有判断的可能结果至少执行一次。1判断M判断Q4.判定－条件覆盖……续1按照判定－条件覆盖的要求，我们设计的测试用例要满足如下条件：所有条件可能至少执行一次取值；所有判断的可能结果至少执行一次。要满足T1、T2、T3、T4F1、F2、F3、F44.判定－条件覆盖……续2判断M判断Q要满足T1、T2、T