ZD培训教材白盒测试技术v.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 判定/条件覆盖例子 例2中有4个条件：a 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 = 1 的情况；并覆盖全部的分支路径。 用例及其遍历的路径如下： 1. a = 2, b = 0, x = 4 ACE 2. a = 1, b = 1, x = 1 ABD 判定/条件覆盖不足 判定/条件覆盖准则的一个缺点是尽管看上去所有条件的所有结果似乎都执行到了，但由于有些特定的条件会屏蔽掉其他的条件，常常不能全部都执行到。 例2(机器码流程图) a 1 b = 0 a = 2 x 1 x = x/a x = x+1 Y Y Y Y N N N N H I J K 1. a = 2, b = 0, x = 4 ACE 2. a = 1, b = 1, x = 1 ABD A C B E D 多重条件覆盖 多重条件覆盖准则要求设计出充足的测试用例，将每个判定中的所有可能的条件结果的组合，以及所有的入口点都至少执行一次。 例3 NOTFOUND=TRUE; DO I=1 to TABSIZE WHILE (NOTFOUND); // Search TABLE … searching logic … END 针对上面的伪代码程序，要测试四种情况： 1. I = TABSIZE，并且NOTFOUND为真； 2. I = TABSIZE，并且NOTFOUND为假； 3. I TABSIZE，并且NOTFOUND为真； 4. I TABSIZE，并且NOTFOUND为假； 多重条件覆盖例子 针对例2，测试用例必须覆盖以下8种组合： 1. a1, b=0 5. a=2, x1 2. a1, b0 6. a=2, x=1 3. a=1, b=0 7. a2, x1 4. a=1, b0 8. a2, x=1 以下4组测试用例可以覆盖上述8种组合： a=2, b=0, x=4 ACE 覆盖组合1，5 a=2, b=1, x=1 ABE 覆盖组合2，6 a=1, b=0, x=2 ABE 覆盖组合3，7 a=1, b=1, x=1 ABD 覆盖组合4，8 多重条件覆盖不足 多重条件覆盖仍旧有可能不能覆盖全部路径。 如在例2中，采用多重条件覆盖生成的4个测试用例中仍旧没有覆盖 ACD 路径。 简单的准则 对于包含每个判定只存在一种条件的程序，最简单的测试准则就是设计出足够数量的测试用例，实现： 1.将每个判断的所有结果都至少执行一次； 2.将所有的程序入口都至少调用一次，以确保全部的语句都至少执行一次。 对于包含多重条件判断的程序，最简单的测试准则是设计出足够数量的测试用例，将每个判断的所有可能的条件结果的组合，以及所有的入口点都至少执行一次。 单元测试 单元测试（或模块测试）是对程序中的单个子程序或过程进行测试的过程。 单元测试的目的是将模块的功能与定义模块的功能规格说明或接口规格说明进行比较。为了再次强调所有测试过程的目的，这里的测试目标不是为了说明模块符合其规格说明，而是为了揭示出模块与其规格说明存在着矛盾。 测试用例设计 在为模块测试设计测试用例时，需要使用两种类型的信息：模块的规格说明和模块的源代码。规格说明一般都规定了模块的输入和输出参数以及模块的功能。 模块测试的测试用例的设计过程一般如下： 使用一种或多种白盒测试方法分析模块的逻辑结构，生成测试用例；然后使用黑盒测试方法对照模块的规格说明以补充测试用例。 三角形问题 三角形程序接受三个整数 a、b 和 c 作为输入，用做三角形的边。程序的输出是由这三条边确定的三角形类型：等边三角形、等腰三角形、不等边三角形或非三角形。 1. Program triangle 2. Dim a,b,c As Integer 3. Dim IsATriangle As Boolean Step1: 获得输入 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 IsATria