ZD培训教材白盒测试技术v剖析.pptVIP

白盒测试技术 正确的态度 什么是软件测试？ “测试”术语的错误理解 软件测试更为合适的定义 不正确的理解带来的问题1 “成功的测试”和“不成功的测试” “成功的测试” “不成功的测试” 不正确的理解带来的问题2 不正确的理解带来的问题3 白盒测试 穷举路径测试 例1 设计测试用例 测试用例设计方法 例2(Code) 例2(流程图) 语句覆盖 语句覆盖的不足 判定覆盖 判定覆盖例子 判定覆盖的不足 条件覆盖 条件覆盖例子 条件覆盖和判断覆盖对比 条件覆盖不足 条件覆盖不足 判定/条件覆盖 判定/条件覆盖例子 判定/条件覆盖不足 例2(机器码流程图) 多重条件覆盖 例3 多重条件覆盖例子 多重条件覆盖不足 简单的准则 单元测试 测试用例设计 三角形问题 三角形程序伪码 三角形程序图 分析条件判断语句 判定覆盖分析 判定覆盖测试用例 条件覆盖分析 条件覆盖测试用例 判定/条件覆盖测试用例 多重条件覆盖测试用例 多重条件覆盖测试用例（续） 补充黑盒测试用例 判定/条件覆盖准则的一个缺点是尽管看上去所有条件的所有结果似乎都执行到了，但由于有些特定的条件会屏蔽掉其他的条件，常常不能全部都执行到。 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 多重条件覆盖准则要求设计出充足的测试用例，将每个判定中的所有可能的条件结果的组合，以及所有的入口点都至少执行一次。 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