第3讲白盒测试方法.PDFVIP

第3 章 白盒测试方法 教学要求  掌握：白盒测试的基本概念以及相关方法。  理解：白盒测试工具JUnit 的用法。  了解：白盒测试的必要性。 3.1 白盒测试方法 一般来说，测试任何产品有两种方法：第一种测试方法就是我们第2 章提到的黑盒测试， 这种测试方法是在已经知道了产品应该具有的功能前提下通过测试来检验每个功能是否都能 正常使用。第二种测试方法是在知道产品内部工作过程的前提下通过测试来检验产品内部动作 是否按照规格说明书的规定正常进行，这种方法称为白盒测试，又称为结构测试。 与黑盒测试相反，白盒测试法是把程序看成装在一个透明的盒子里，按照程序的内部的 逻辑测试程序，检验程序中的每条通路是否能按预定要求正确工作。白盒测试方法的突出特点 是基于被测程序的源代码，而不是软件的规格说明。和其他软件测试技术相比，白盒测试方法 得到的测试用例能够做到以下几点：①保证模块中的所有独立路径至少被执行一次；②对所有 逻辑值都会测试TRUE 和FALSE ；③在上下边界及可操作范围内运行所有循环情况；④检查 内部数据结构以确保其有效性。由此可知，白盒测试更容易发现软件故障。在软件测试过程中， 单元测试大都采用白盒测试。常见的白盒测试方法有代码检查、逻辑覆盖、基本路径测试等。 3.1.1 代码检查 在介绍代码检查之前，需要弄清楚软件测试中的静态测试方法和动态测试方法。所谓静 态测试是指在不运行被测试程序，通过其他手段，如检查、审查，达到检测目的。所谓动态测 试是指通过运行和使用被测程序，发现软件故障，以达到检测的目的。以检查汽车为例，检查 车的油漆、外观，打开车前盖查看里面部件是否有问题属于静态测试。发动汽车，听发动机的 声音、通过驾驶检查车的部件是否有问题属于动态测试。 代码检查即静态白盒测试，在不执行程序的条件下仔细审查代码 （可采用互查、走查等 形式），从而找出软件故障的过程。根据经验表明，代码中65% 以上的缺陷可以通过代码检查 发现出来。代码检查不仅使修复的时间和费用大幅度降低，而且黑盒测试人员还可以根据审查 备注确定存在软件缺陷的特性范围。 那么，如何进行代码检查呢？一般来说，一个代码检查小组通常由四至五人组成，分别 是本程序的编码人员、程序的设计人员、测试技术人员以及小组协调人等。需要注意的是，协 调人的职责包括安排进程、分发材料；记录发现的所有错误；确保所有错误随后得到改正。协 调人在代码检查中起主导作用。因此，协调人最好不要是程序的编码人员。 正式审查过程中有4 个关键要素： 70 软件测试技术 （1）确定问题。进行代码检查的目的就是要找出代码是否存在逻辑上的错误以及是否在 代码中引入了没有在设计中指定的包。在代码检查中，参与人员必须树立正确的态度，如果程 序员将代码检查视为对其个人的攻击，采取了防范的态度，那么检查过程就不会有效果。因此， 软件中存在的错误应被看做是伴随着软件开发的艰难性所固有而不是编写程序的人员本身的 弱点。 （2 ）遵守准则。为了使审查过程有条不紊的进行，在审查前就必须设定一套准则，其中 包括审查地点，最好是不受外界干扰的环境；会议时间最好不超过120 分钟；代码量以及检查 代码的速度适中等。这样，审查才能保质保量的完成。 （3 ）提前准备。参与人员必须明确自己的职责和义务。经验表明，审查过程中找出的大 部分问题是在准备期间发现的。 （4 ）编写审查报告。审查过程最终必须形成一个书面总结报告并及时提交，便于开发小 组成员进行修改和改进。 通过正式审查不但可以及早发现软件缺陷，而且可以在讨论和交流中增进成员间的信任， 为程序员之间交流经验相互学习提供平台。同时，还可以间接促进程序员更加认真仔细的编写 和检查代码。 那么，代码检查应注意哪些可能存在的软件缺陷呢？首先必须对代码的规范性进行审查， 如嵌套的IF 是否正确的缩进；注释是否准确并有意义；是否使用有意义的标号。在代码检查 中，有时出现编写的代码不符合某种标准和规范，虽然这些问题不影响代码正常运行，但是如 果程序员能严格遵守一些语言编码标准，如电子电气工程学会 （IEEE ）提供的程序规范和最 佳做法的文档