基于新信息技术的软件测试技术 课件 第4章 白盒测试.pptx

第4章白盒测试;

4.1白盒测试简介;

1．白盒测试的目的

其测试目的如下：

(1)保证一个模块中的所有独立路径至少被使用一次。

(2)对所有逻辑值均需测试TRUE和FALSE。

(3)在上下边界及可操作范围内运行所有循环。

(4)检查内部数据结构以确保其有效性。

;

2．白盒测试的特点

白盒测试的优点如下：

(1)迫使测试人员去仔细思考软件的实现。

(2)可检测代码中的每条分支和路径。

(3)可揭示隐藏在代码中的错误。

(4)对代码的测试比较彻底。

(5)最优化。;

白盒测试的缺点如下：

(1)昂贵。

(2)无法检测代码中遗漏的路径和数据敏感性错误。

(3)不验证规格的正确性。;

3．白盒测试的实施步骤

(1)测试计划阶段：根据需求说明书，制定测试进度。

(2)测试设计阶段：依据程序设计说明书，按照一定规范化的方法进行软件结构划分和设计测试用例。

(3)测试执行阶段：输入测试用例，得到测试结果。

(4)测试总结阶段：对比测试的结果和代码的预期结果，分析错误原因，找到并解决错误。;

4．白盒测试的方法

白盒测试的方法总体上分为静态分析和动态分析两大类。

静态分析是一种不通过执行程序而进行测试的技术。静态分析的关键功能是检查软件的表示和描述是否一致，没有冲突或者没有歧义。;

动态分析的主要特点是当软件系统在模拟的或真实的环境中执行之前、之中和之后，对软件系统行为进行分析。动态分析包含了程序在受控的环境下使用特定的期望结果进行正式的运行。它显示了一个系统在检查状态下是正确还是不正确。在动态分析技术中，最重要的技术是路径和分支测试。后面要介绍的六种覆盖测试方法属于动态分析方法。;

4.2白盒测试过程;

;

驱动模块和桩模块是测试使用的软件，而不是软件产品的组成部分，但它需要一定的开发费用。若驱动模块和桩模块比较简单，实际开销相对低些。遗憾的是，仅用简单的驱动模块和桩模块不???完成某些模块的测试任务，这些模块的白盒测试只能采用下面讨论的综合测试方法。

提高模块的内聚度可简化单元测试，如果每个模块只能完成一个，则所需测试用例数目将显著减少，模块中的错误也更容易被发现。;

4.3白盒测试任务;

(4)调用其他模块时所给实际参数的个数是否与被调模块的形参个数相同；

(5)调用其他模块时所给实际参数的属性是否与被调模块的形参属性匹配；

(6)调用其他模块时所给实际参数的量纲是否与被调模块的形参量纲一致；

(7)调用预定义函数时所用参数的个数、属性和次序是否正确；

(8)是否存在与当前入口点无关的参数引用；

(9)是否修改了只读型参数；

(10)对全程变量的定义各模块是否一致；

(11)是否把某些约束作为参数传递。;

如果模块内包括外部输入/输出，还应该考虑下列因素：

(1)文件属性是否正确；

(2)?OPEN/CLOSE语句是否正确；

(3)格式说明与输入/输出语句是否匹配；

(4)缓冲区大小与记录长度是否匹配；

(5)文件使用前是否已经打开；

(6)是否处理了文件尾；

(7)是否处理了输入/输出错误；

(8)输出信息中是否有文字性错误。;

2．模块局部数据结构测试

检查局部数据结构是为了保证临时存储在模块内的数据在程序执行过程中完整、正确。局部数据结构往往是错误的根源，应仔细设计测试用例，力求发现下面几类错误：

(1)不合适或不相容的类型说明；

(2)变量无初值；

(3)变量初始化或缺省值有错；

(4)不正确的变量名(拼错或不正确的截断)；

(5)出现上溢、下溢和地址异常。;

3．模块边界条件测试

除了局部数据结构外，如果可能，单元测试时还应该查清全局数据(例如FORTRAN的公用区)对模块的影响。

4．模块中所有独立执行通路测试

在模块中应对每一条独立执行路径进行测试，白盒测试的基本任务是保证模块中每条语句至少执行一次。设计测试用例是为了发现因错误计算、不正确的比较和不适当的控制流造成的错误。基本路径测试和循环测试是最常用且最有效的测试技术。;

计算中常见的错误包括：

(1)误解或用错了运算符优先级；

(2)混合类型运算；

(3)变量初值错；

(4)精度不够；

(5)表达式符号错。;

比较判断与控制流常常紧密相关，测试用例还应致力于发现下列错误：

(1)不同数据类型的对象之间进行比较；

(2)错误地使用逻辑运算符或优先级；

(3)因计算机表示的局限性，期望理论上相等