Chapter 16 SOFTWARE TESTING TECHNIQUES 在计算机软件界,黑盒测试指在软件界面 上的测试,虽然设计黑盒测试是为了发 现错误,但他们却被用来证实软件功能 的可操作性,证实能很好地接受输入, 并正确地产生输出;以及证实对外部信 息完整性的保持。他测试系统的一些基 本特征,很少涉及软件的内部逻辑结构
Chapter 16 SOFTWARE TESTING TECHNIQUES 在计算机软件界，黑盒测试指在软件界面 上的测试，虽然设计黑盒测试是为了发 现错误，但他们却被用来证实软件功能 的可操作性，证实能很好地接受输入， 并正确地产生输出；以及证实对外部信 息完整性的保持。他测试系统的一些基 本特征，很少涉及软件的内部逻辑结构
Chapter 16 SOFTWARE TESTING TECHNIQUES 软件的白盒测试依赖于对程序细节的严密 测试,使用特定的条件和循环集的测试用例, 对软件的逻辑路径进行测试,在不同的点检 验“程序的状态”以判定预期状态或待验证 状态与真实状态是否相符 但是,一个很小的程序的逻辑程序路径也 可能异常庞大,不可能进行完全的穷举测试 但白盒测试仍然是非常有用的。我们可以在 重要的逻辑路径上进行穷举测试
Chapter 16 SOFTWARE TESTING TECHNIQUES 软件的白盒测试依赖于对程序细节的严密 测试，使用特定的条件和循环集的测试用例， 对软件的逻辑路径进行测试，在不同的点检 验“程序的状态”以判定预期状态或待验证 状态与真实状态是否相符。 但是，一个很小的程序的逻辑程序路径也 可能异常庞大，不可能进行完全的穷举测试。 但白盒测试仍然是非常有用的。我们可以在 重要的逻辑路径上进行穷举测试
Chapter 16 SOFTWARE TESTING TECHNIQUES =163自盒测试 白盒测试是一种测试用例设计方法,使用 程序的控制结构导出测试用例 测试用例:(1)保证一个模块中的所有独立 路径至少被使用一次;(2)对所有逻辑值均 需测试TRUE和 FALSE;(3)在上下界及可 操作范围内运行所有循环;(4)检査内部数 据结构以确保其有效性
Chapter 16 SOFTWARE TESTING TECHNIQUES 16.3 白盒测试 白盒测试是一种测试用例设计方法，使用 程序的控制结构导出测试用例。 测试用例： （1）保证一个模块中的所有独立 路径至少被使用一次；（2）对所有逻辑值均 需测试TRUE和FALSE；（3）在上下界及可 操作范围内运行所有循环；（4）检查内部数 据结构以确保其有效性
Chapter 16 SOFTWARE TESTING TECHNIQUES 164基本路径测试 对程序中的每一条语句至少执行一次 164.1流图符号 流图也称为程序图,每一种结构化 构成元素有一个相应的流图符号
Chapter 16 SOFTWARE TESTING TECHNIQUES 16.4 基本路径测试 对程序中的每一条语句至少执行一次。 16.4.1 流图符号 流图也称为程序图，每一种结构化 构成元素有一个相应的流图符号
Chapter 16 SOFTWARE TESTING TECHNIQUES 顺序语句 If语句 While语句 其中每个圆代表一个或多个无分支PDL或原代码语 流图符号
Chapter 16 SOFTWARE TESTING TECHNIQUES 顺序语句 If 语句 While 语句 其中每个圆代表一个或多个无分支PDL或原代码语 句 流图符号