测试技术基础

Transcription

1 软 件 测 试 综 述 1

2 软 件 测 试 综 述 软 件 测 试 是 一 个 必 不 可 少 的 活 动, 是 对 软 件 需 求 分 析 设 计 规 约 和 编 码 的 最 终 复 审 ; 是 软 件 质 量 保 证 的 关 键 步 骤 软 件 测 试 是 根 据 软 件 开 发 各 阶 段 的 规 约 和 软 件 的 内 部 结 构, 精 心 设 计 一 批 测 试 用 例 ( 包 括 输 入 数 据 及 其 预 期 的 输 出 结 果 ), 并 利 用 这 些 测 试 用 例 去 运 行 程 序, 以 发 现 软 件 中 不 符 合 质 量 特 性 要 求 ( 即 缺 陷 或 错 误 ) 的 过 程 2

3 软 件 测 试 综 述 软 件 测 试 的 背 景 软 件 测 试 概 述 软 件 测 试 的 模 型 3

4 软 件 测 试 的 背 景 软 件 错 误 和 软 件 失 效 的 案 例 软 件 缺 陷 是 什 么 软 件 缺 陷 分 类 软 件 缺 陷 的 产 生 软 件 缺 陷 修 复 的 代 价 软 件 可 靠 性 问 题 软 件 错 误 数 估 算 4

5 软 件 错 误 和 软 件 失 效 的 案 例 火 星 登 陆 事 故 1999 年 12 月 3 日, 缺 少 集 成 测 试 爱 国 者 导 弹 防 御 系 统, 1991, 多 哈, 死 亡 28 人, 缺 少 稳 定 性 测 试 英 特 尔 奔 腾 芯 片 缺 陷,1994, 对 待 缺 陷 的 态 度 ( / ) 美 迪 斯 尼 公 司 的 狮 子 王 游 戏 软 件 bug 1994 年 圣 诞 节 前, 缺 少 兼 容 性 测 试 记 事 本 联 通 Word 文 件 保 护 破 解 ( 插 入 )(2003 以 前 版 本 ) 软 件 错 误 概 述 5

6 软 件 错 误 和 软 件 失 效 错 误 术 语 错 误 这 一 术 语 在 没 有 特 别 加 以 说 明 的 情 况 下, 这 是 一 个 泛 用 的 模 糊 的 概 念 它 指 的 可 能 是 bug( 差 错 ) fault( 故 障 ) error( 错 误 ) failure( 失 效 ) crash( 重 大 事 故 ) problem( 疑 问 ) 等 在 汉 译 中, 这 些 术 语 的 使 用 更 加 混 乱

7 软 件 缺 陷 是 什 么? 软 件 出 错 机 理 可 描 述 为 : 软 件 错 误, 软 件 缺 陷, 软 件 故 障, 软 件 失 效 软 件 错 误 (error) : 是 指 在 软 件 生 存 期 内 的 不 希 望 或 不 可 接 受 的 人 为 错 误, 其 结 果 是 导 致 软 件 缺 陷 的 产 生 软 件 缺 陷 (bug) : 是 存 在 于 软 件 ( 文 档 数 据 程 序 ) 之 中 的 那 些 不 希 望 或 不 可 接 受 的 偏 差 其 结 果 是 软 件 运 行 于 某 一 特 定 条 件 时 出 现 软 件 故 障, 这 时 称 软 件 缺 陷 被 激 活 软 件 故 障 (fault) : 是 指 软 件 运 行 过 程 中 出 现 的 一 种 不 希 望 或 不 可 接 受 的 内 部 状 态 此 时 若 无 适 当 措 施 ( 容 错 ) 加 以 及 时 处 理, 便 产 生 软 件 失 效 软 件 失 效 (failure) : 是 指 软 件 运 行 时 产 生 的 一 种 不 希 望 或 不 可 接 受 的 外 部 行 为 结 果 软 件 错 误 概 述 7

8 软 件 缺 陷 激 活 条 件 符 合 下 列 五 种 情 况 之 一 就 可 认 为 是 软 件 缺 陷 ( 出 错 ): 1) 软 件 未 达 到 软 件 产 品 需 求 说 明 书 指 明 的 要 求 2) 软 件 出 现 了 软 件 产 品 需 求 说 明 书 指 明 不 会 出 现 的 错 误 3) 软 件 功 能 超 出 软 件 产 品 需 求 说 明 书 指 明 的 范 围 4) 软 件 未 达 到 软 件 产 品 需 求 说 明 书 虽 未 指 明 但 应 达 到 的 要 求 5) 软 件 测 试 人 员 认 为 难 以 理 解 不 易 使 用 运 行 速 度 缓 慢 或 者 最 终 用 户 认 为 不 好 的 问 题 软 件 缺 陷 的 特 征 看 不 到 软 件 的 特 殊 性 决 定 了 缺 陷 不 易 看 到 看 到 但 是 抓 不 到 发 现 了 缺 陷, 但 不 易 找 到 问 题 发 生 的 原 因 所 在 软 件 错 误 概 述 8

9 软 件 缺 陷 分 类 可 从 不 同 角 度 对 软 件 缺 陷 进 行 分 类 : 按 错 误 的 影 响 和 后 果 分 类 按 错 误 的 性 质 和 范 围 分 类 按 软 件 生 存 期 阶 段 分 类 软 件 错 误 概 述 9

10 软 件 错 误 分 类 - 按 错 误 的 影 响 和 后 果 分 类 按 错 误 的 影 响 和 后 果 分 类 1. 较 小 错 误 : 只 对 系 统 输 出 有 一 些 非 实 质 性 影 响 如, 输 出 的 数 据 格 式 不 合 要 求 等 2. 中 等 错 误 : 对 系 统 的 运 行 有 局 部 影 响 如 输 出 的 某 些 数 据 有 错 误 或 出 现 冗 余 3. 较 严 重 错 误 : 系 统 的 行 为 因 错 误 的 干 扰 而 出 现 明 显 不 合 情 理 的 现 象 如 开 出 了 0.00 元 的 支 票, 系 统 的 输 出 完 全 不 可 信 赖 4. 严 重 错 误 : 系 统 运 行 不 可 跟 踪, 一 时 不 能 掌 握 其 规 律, 时 好 时 坏 5. 非 常 严 重 的 错 误 : 系 统 运 行 中 突 然 停 机, 其 原 因 不 明, 无 法 软 启 动 6. 最 严 重 的 错 误 : 系 统 运 行 导 致 环 境 破 坏, 或 是 造 成 事 故, 引 起 生 命 财 产 的 损 失 软 件 错 误 概 述 10

11 软 件 错 误 分 类 - 按 错 误 的 性 质 和 范 围 分 类 按 错 误 的 性 质 和 范 围 分 类 B.Beizer 从 软 件 测 试 观 点 出 发, 把 软 件 错 误 分 为 5 类 1. 功 能 错 误 1) 规 格 说 明 错 : 规 格 说 明 可 能 不 完 全, 有 二 义 性 或 自 身 矛 盾 2) 功 能 错 误 : 程 序 实 现 的 功 能 与 用 户 要 求 的 不 一 致 这 常 常 是 由 于 规 格 说 明 中 包 含 错 误 的 功 能 多 余 的 功 能 或 遗 漏 的 功 能 所 致 3) 测 试 错 误 : 测 试 的 设 计 与 实 施 发 生 错 误 软 件 测 试 自 身 也 可 能 发 生 错 误 4) 测 试 标 准 引 起 的 错 误 : 对 软 件 测 试 的 标 准 要 选 择 适 当, 若 测 试 标 准 太 复 杂, 则 导 致 测 试 过 程 出 错 的 可 能 就 大 软 件 错 误 概 述 11

12 软 件 错 误 分 类 - 按 错 误 的 性 质 和 范 围 分 类 2. 系 统 错 误 1) 外 部 接 口 错 误 : 外 部 接 口 指 如 终 端 打 印 机 通 信 线 路 等 系 统 与 外 部 环 境 通 信 的 手 段 2) 内 部 接 口 错 误 : 内 部 接 口 指 程 序 之 间 的 联 系 3) 硬 件 结 构 错 误 : 不 能 正 确 理 解 硬 件 如 何 工 作 而 导 致 的 出 错 4) 操 作 系 统 错 误 : 主 要 是 由 于 不 了 解 操 作 系 统 的 工 作 机 制 而 导 致 出 错 当 然, 操 作 系 统 本 身 也 有 错 误 5) 软 件 结 构 错 误 : 由 于 软 件 结 构 不 合 理 或 不 清 晰 引 起 的 错 误 6) 控 制 与 顺 序 错 误 : 如 存 在 不 正 确 的 处 理 步 骤 等 7) 资 源 管 理 错 误 : 由 于 不 正 确 使 用 资 源 而 产 生 的 软 件 错 误 概 述 12

13 软 件 错 误 分 类 - 按 错 误 的 性 质 和 范 围 分 类 3. 加 工 错 误 1) 算 术 与 操 作 错 误 : 指 在 算 术 运 算 函 数 求 值 和 一 般 操 作 过 程 中 发 生 的 错 误 2) 初 始 化 错 误 : 如, 忘 记 初 始 化 工 作 区 寄 存 器 和 数 据 区 ; 对 循 环 控 制 变 量 赋 错 初 值 ; 用 不 正 确 的 格 式, 数 据 或 类 型 进 行 初 始 化 等 3) 控 制 和 次 序 错 误 : 与 系 统 级 同 名 错 误 类 似, 但 它 是 局 部 错 误 如 遗 漏 路 径 ; 不 可 达 到 的 代 码 等 ; 4) 静 态 逻 辑 错 误 : 主 要 包 括 : 不 正 确 地 使 用 CASE 语 句 ; 在 表 达 式 中 使 用 不 正 确 的 条 件 ( 例 如 用 > 代 替 < 的 否 定 ); 对 情 况 不 适 当 地 分 解 与 组 合 ; 混 淆 或 与 异 或 等 软 件 错 误 概 述 13

14 软 件 错 误 分 类 - 按 错 误 的 性 质 和 范 围 分 类 4. 数 据 错 误 1) 动 态 数 据 错 误 : 动 态 数 据 是 在 程 序 执 行 过 程 中 暂 存 的 数 据 2) 静 态 数 据 错 误 : 静 态 数 据 直 接 或 间 接 地 出 现 在 程 序 或 数 据 库 中, 在 内 容 和 格 式 上 都 固 定 一 般 由 预 处 理 出 错 造 成 3) 数 据 内 容 错 误 : 由 内 容 被 破 坏 或 被 错 误 地 解 释 而 造 成 的 错 4) 数 据 结 构 错 误 : 数 据 结 构 错 误 主 要 包 括 结 构 说 明 错 误 及 把 一 个 数 据 结 构 误 当 做 另 一 类 数 据 结 构 使 用 的 错 误 5) 数 据 属 性 错 误 : 如 错 把 整 数 当 实 数, 允 许 不 同 类 型 数 据 混 合 运 算 而 导 致 的 错 误 等 软 件 错 误 概 述 14

15 软 件 错 误 分 类 - 按 错 误 的 性 质 和 范 围 分 类 5. 代 码 错 误 主 要 包 括 : 语 法 错 误 ; 打 字 错 误 ; 对 语 句 或 指 令 不 正 确 理 解 所 产 生 的 错 误 软 件 错 误 概 述 15

16 软 件 错 误 分 类 - 按 软 件 生 存 期 阶 段 分 类 把 软 件 的 逻 辑 错 误 按 生 存 期 不 同 阶 段 分 为 4 类 1. 问 题 定 义 ( 需 求 分 析 ) 错 误 在 软 件 定 义 阶 段, 分 析 员 研 究 用 户 的 要 求 后 所 编 写 文 档 中 出 现 的 错 误 换 句 话 说, 这 类 错 误 是 由 于 问 题 定 义 不 满 足 用 户 的 要 求 而 导 致 的 错 误 软 件 错 误 概 述 16

17 软 件 错 误 分 类 - 按 软 件 生 存 期 阶 段 分 类 2. 规 格 说 明 错 误 这 类 错 误 是 指 规 格 说 明 与 问 题 定 义 不 一 致 所 产 生 的 错 误 它 们 又 可 以 细 分 成 : 1) 不 一 致 性 错 误 : 规 格 说 明 中 功 能 说 明 与 问 题 定 义 发 生 矛 盾 2) 冗 余 性 错 误 : 规 格 说 明 中 某 些 功 能 说 明 与 问 题 定 义 相 比 是 多 余 的 3) 不 完 整 性 错 误 : 规 格 说 明 中 缺 少 某 些 必 要 的 功 能 说 明 4) 不 可 行 错 误 : 规 格 说 明 中 有 些 功 能 要 求 是 不 可 行 的 5) 不 可 测 试 错 误 : 有 些 功 能 的 测 试 要 求 是 不 现 实 的 软 件 错 误 概 述 17

18 软 件 错 误 分 类 - 按 软 件 生 存 期 阶 段 分 类 3. 设 计 错 误 设 计 阶 段 产 生 的 错 误, 它 使 系 统 的 设 计 与 需 求 规 格 说 明 中 的 功 能 说 明 不 相 符 它 们 又 可 以 细 分 为 : 1) 设 计 不 完 全 错 误 : 某 些 功 能 没 有 被 设 计, 或 设 计 得 不 完 全 2) 算 法 错 误 : 算 法 选 择 不 合 适 主 要 表 现 为 算 法 的 基 本 功 能 不 满 足 功 能 要 求 算 法 不 可 行 或 者 算 法 的 效 率 不 符 合 要 求 3) 模 块 接 口 错 误 : 模 块 结 构 不 合 理 ; 模 块 与 外 部 数 据 库 的 界 面 不 一 致, 模 块 之 间 的 界 面 不 一 致 4) 控 制 逻 辑 错 误 : 控 制 流 程 与 规 格 说 明 不 一 致 ; 控 制 结 构 不 合 理 5) 数 据 结 构 错 误 : 数 据 设 计 不 合 理 ; 与 算 法 不 匹 配 ; 数 据 结 构 不 满 足 规 格 说 明 要 求 软 件 错 误 概 述 18

19 软 件 错 误 分 类 - 按 软 件 生 存 期 阶 段 分 类 4. 编 码 错 误 多 种 多 样, 大 体 归 为 以 下 几 种 : 数 据 说 明 错 数 据 使 用 错 计 算 错 比 较 错 控 制 流 错 界 面 错 输 入 / 输 出 错, 及 其 它 的 错 误 在 不 同 的 开 发 阶 段, 错 误 的 类 型 和 表 现 形 式 不 同, 故 应 采 用 不 同 的 方 法 和 策 略 来 进 行 检 测 软 件 错 误 概 述 19

20 软 件 缺 陷 的 产 生 软 件 缺 陷 的 产 生 比 较 容 易 造 成 软 件 缺 陷 的 主 要 因 素, 归 纳 如 下 : 技 术 问 题 算 法 错 误 语 法 错 误 计 算 和 精 度 问 题 系 统 结 构 不 合 理 接 口 参 数 不 匹 配 团 队 工 作 需 求 不 清 开 发 人 员 相 互 理 解 不 一 致 设 计 或 编 程 上 的 假 定 或 依 赖 性 没 得 到 充 分 沟 通 软 件 本 身 文 档 错 误 大 数 据 量 错 误 边 界 错 误 时 序 错 误 数 据 恢 复 能 力 没 有 或 不 够 软 硬 件 上 的 错 误 软 件 开 发 标 准 或 过 程 上 的 错 误 软 件 错 误 概 述 20

21 软 件 缺 陷 的 构 成 编 写 代 码 7~15% 其 他 6~10% 设 计 25~27% 软 件 产 品 说 明 书 ( 需 求 ) 56% 软 件 错 误 产 生 的 原 因 分 布 软 件 错 误 概 述 21

22 软 件 缺 陷 的 产 生 软 件 需 求 说 明 书 为 什 么 是 软 件 缺 陷 存 在 最 多 的 地 方, 主 要 原 因 有 : 用 户 的 计 算 机 知 识 较 少 要 开 发 产 品 的 特 性 不 够 清 晰 需 求 变 化 的 不 一 致 对 需 求 说 明 书 不 重 视 项 目 组 成 员 间 缺 少 沟 通 软 件 错 误 概 述 22

23 软 件 缺 陷 的 产 生 软 件 缺 陷 的 状 态 为 便 于 跟 踪 和 管 理 某 产 品 的 缺 陷, 可 以 定 义 不 同 的 软 件 缺 陷 状 态 : 激 活 状 态 (Active 或 Open): 问 题 还 没 解 决, 测 试 员 报 的 bug 或 验 证 后 bug 仍 然 存 在 已 修 正 状 态 (Fixed 或 Resolved): 开 发 人 员 针 对 缺 陷, 修 改 程 序, 认 为 已 解 决 问 题, 或 通 过 单 元 测 试 关 闭 或 非 激 活 状 态 (Close 或 Inactiv): 测 试 员 验 证 Fixed bug 后, 确 认 bug 已 改 的 状 态 Hold 状 态 : 第 三 方 产 品 引 起 的 或 是 无 法 解 决 的 bug Differed 状 态 : 不 需 解 决 或 准 备 在 下 版 中 解 决 的 bug 软 件 错 误 概 述 23

24 软 件 错 误 修 复 的 代 价 软 件 在 从 计 划 编 制 测 试 一 直 到 交 付 用 户 公 开 使 用 的 过 程 中, 都 有 可 能 产 生 和 发 现 错 误 随 着 整 个 开 发 过 程 的 时 间 推 移, 修 复 软 件 的 费 用 呈 几 何 级 数 的 增 长 下 图 是 软 件 错 误 在 不 同 阶 段 发 现 时 修 改 的 费 用 示 意 图 编 制 说 明 书 设 计 阶 段 编 写 代 码 测 试 发 布 软 件 错 误 概 述 24

25 软 件 可 靠 性 问 题 软 件 可 靠 性 定 义 IEEE 将 软 件 可 靠 性 定 义 为 : 在 给 定 时 间 间 隔 内 和 特 定 的 环 境 下, 软 件 按 规 格 说 明 成 功 运 行 的 概 率 给 定 的 时 间 间 隔 : 在 定 义 中, 一 般 采 用 运 行 时 间 t 作 为 时 间 的 尺 度 环 境 条 件 : 指 的 是 软 件 的 使 用 环 境 无 论 是 什 么 软 件, 如 果 不 对 它 的 使 用 环 境 加 以 限 制, 都 会 失 效 这 种 失 效 的 数 据, 不 能 用 来 度 量 软 件 的 可 靠 性 成 功 地 运 行 : 指 不 仅 程 序 能 正 确 运 行, 满 足 用 户 对 它 的 功 能 要 求, 而 且 当 程 序 一 旦 受 到 意 外 的 伤 害, 或 系 统 故 障 时, 能 尽 快 恢 复, 仍 能 正 常 地 运 行 软 件 错 误 概 述 25

26 软 件 可 靠 性 问 题 软 件 可 靠 性 的 主 要 指 标 借 用 硬 件 可 靠 性 的 定 量 度 量 方 法 来 度 量 软 件 的 可 靠 性 : MTBF: 平 均 故 障 间 隔 时 间 MTTF: 平 均 故 障 时 间 MTTF= n 1 t i n i=1 t1,t2,..., tn: 失 效 时 间 26

27 软 件 可 靠 性 问 题 因 软 件 设 计 故 障 与 因 计 算 机 硬 件 设 计 故 障 而 引 发 的 系 统 失 效 的 比 例 大 约 是 :10:1 运 行 软 件 的 驻 留 故 障 密 度 ( 每 千 行 代 码 的 故 障 数 目 ): 要 求 很 高 的 关 键 财 务 或 财 产 软 件 为 : 每 千 行 代 码 1~10 个 故 障 关 键 的 生 命 软 件 为 : 每 千 行 代 码 0.01~1 个 故 障 软 件 可 靠 性 是 对 软 件 在 设 计 开 发 以 及 所 预 定 的 环 境 下 具 有 能 力 的 置 信 度 的 一 个 度 量, 是 衡 量 软 件 质 量 的 主 要 参 数 之 一 软 件 测 试 则 是 保 证 软 件 质 量 提 高 软 件 可 靠 性 的 最 重 要 手 段 软 件 错 误 概 述 27

28 软 件 错 误 数 估 算 植 入 故 障 法 估 算 ( 捕 获 - 再 捕 获 抽 样 法 ) 利 用 植 入 故 障 法 估 算 程 序 中 原 有 故 障 总 数 E T 设 N s 是 在 测 试 前 人 为 地 向 程 序 中 植 入 的 故 障 数 ( 称 播 种 故 障 ), n s 是 经 过 一 段 时 间 测 试 后 发 现 的 播 种 故 障 的 数 目, n 是 在 测 试 中 又 发 现 的 程 序 原 有 故 障 数 设 测 试 用 例 发 现 植 入 故 障 和 原 有 故 障 的 能 力 相 同, 则 程 序 中 原 有 故 障 总 数 N ( =E T ) 估 算 值 为 N N s n n s 28

29 软 件 错 误 数 估 算 Hyman 分 别 测 试 法 由 两 个 测 试 员 同 时 互 相 独 立 测 试 同 一 程 序 的 两 个 副 本, 用 t 表 示 测 试 时 间, 记 t=0 时, 程 序 中 原 有 故 障 总 数 是 B0; t=t1 时, 测 试 员 甲 发 现 的 故 障 总 数 是 B1; 测 试 员 乙 发 现 的 故 障 总 数 是 B2; 其 中 两 人 发 现 的 相 同 故 障 数 目 是 bc; 两 人 发 现 的 不 同 故 障 数 目 是 bi 在 大 程 序 测 试 时, 开 始 两 个 测 试 员 测 试 的 结 果 应 当 比 较 接 近,bi 不 是 很 大 这 时 有 B 0 B B bc

30 软 件 错 误 数 估 算 Hyman 分 别 测 试 法 ( 续 ) 如 果 bi 很 大, 应 当 每 隔 一 段 时 间, 由 两 个 测 试 员 再 分 别 测 试, 分 析 测 试 结 果, 估 算 B0 如 果 bi 减 小, 或 几 次 估 算 值 的 结 果 相 差 不 多, 则 B0 作 为 原 有 错 误 总 数 的 估 算 值 30

31 软 件 测 试 概 述 软 件 测 试 的 发 展 软 件 测 试 的 定 义 软 件 测 试 的 重 要 性 软 件 测 试 的 分 类 软 件 测 试 的 目 的 和 原 则 软 件 测 试 活 动 软 件 测 试 技 术 概 要 软 件 测 试 误 区 测 试 员 应 有 的 素 质 31

32 软 件 测 试 的 发 展 软 件 测 试 发 展 史 上 的 几 个 重 要 事 件 1972 年 6 月, 首 次 软 件 测 试 会 议 1972 年 6 月,Bill Hetzel( 代 表 论 著 The Complete Guide to Software Testing ) 在 美 国 的 北 卡 罗 来 纳 (North Carolina) 大 学 组 织 了 首 次 以 软 件 测 试 为 主 题 的 会 议 1973 年, Bill Hetzel 定 义 软 件 测 试 概 念 就 是 建 立 一 种 信 心, 认 为 程 序 能 够 按 预 期 的 设 想 运 行 1983 年,Bill Hetzel 将 定 义 修 订 为 : 评 价 一 个 程 序 和 系 统 的 特 性 或 能 力, 并 确 定 它 是 否 达 到 预 期 的 结 果 软 件 测 试 就 是 以 此 为 目 的 的 任 何 行 为 他 还 把 软 件 的 质 量 定 义 为 符 合 要 求 软 件 测 试 的 发 展 32

33 软 件 测 试 的 发 展 软 件 测 试 发 展 史 上 的 几 个 重 要 事 件 ( 续 ) 1979 年,Glenford Myers: The Art of Software Testing 出 版 这 本 书 是 软 件 测 试 方 面 的 圣 经 Myers 定 义 及 诠 释 的 测 试 方 法 论 已 成 为 软 件 测 试 的 基 本 模 块 提 出 测 试 的 目 的 是 证 伪 年,IEEE/ANSI 标 准 定 义 软 件 测 试 概 念 1990 年 的 IEEE/ANSI 标 准 将 软 件 测 试 进 行 了 这 样 的 定 义 : 在 既 定 的 状 况 条 件 下, 运 行 一 个 系 统 或 组 建, 观 察 记 录 结 果, 并 对 其 某 些 方 面 进 行 评 价 的 过 程 这 里 所 谓 既 定 的 状 况 可 理 解 为 需 求 或 设 计 软 件 测 试 的 发 展 33

34 软 件 测 试 的 发 展 软 件 测 试 发 展 史 上 的 几 个 重 要 事 件 ( 续 ) 1996 年 提 出 : 测 试 能 力 成 熟 度 TCMM(Testing Capability Maturity Model) 测 试 支 持 度 TSM(Testing Support Model) 测 试 成 熟 度 (Testing Maturity Model) 软 件 测 试 的 发 展 34

35 软 件 测 试 的 发 展 软 件 测 试 发 展 趋 势 测 试 与 质 量 保 证 体 系 的 融 合 测 试 方 法 越 来 越 细 分 测 试 方 法 的 细 分, 如 网 站 测 试 安 全 性 测 试 等 ; 测 试 技 术 不 断 发 展 软 件 验 证 技 术 方 面 软 件 静 态 测 试 方 面 测 试 用 例 的 选 择 方 面 自 动 化 测 试 方 面 测 试 走 向 专 业 化 道 路 软 件 测 试 的 发 展 35

36 软 件 测 试 的 定 义 一 般 定 义 IEEE 的 定 义 Myers 的 定 义 广 义 定 义 相 关 术 语 软 件 测 试 的 定 义 36

37 一 般 软 件 测 试 的 定 义 定 义 1: 1983 年,IEEE 提 出 的 软 件 工 程 标 准 术 语 中 给 软 件 测 试 下 的 定 义 : 软 件 测 试 是 使 用 人 工 的 或 自 动 的 手 段 来 运 行 或 检 测 某 个 系 统 的 过 程, 其 目 的 在 于 检 验 它 是 否 满 足 约 定 的 需 求 或 是 比 较 预 期 结 果 与 实 际 结 果 之 间 的 差 别 1990 年 的 IEEE/ANSI 标 准 将 软 件 测 试 进 行 了 这 样 的 定 义 : (IEEE/ANSI, 1990 [Std ]) 就 是 在 既 定 的 状 况 条 件 下, 运 行 一 个 系 统 或 组 建, 观 察 记 录 结 果, 并 对 其 某 些 方 面 进 行 评 价 的 过 程 ( 这 里 所 谓 既 定 的 状 况 也 可 理 解 为 需 求 或 设 计 ) 这 一 定 义 非 常 明 确 地 提 出 了 软 件 测 试 以 检 验 是 否 满 足 需 求 为 目 标 软 件 测 试 的 定 义 37

38 一 般 软 件 测 试 的 定 义 定 义 2: Glenford J.Myers 在 其 1979 年 软 件 测 试 技 巧 ( The Art of Software Testing ) 一 书 中 对 软 件 测 试 的 定 义 是 : 软 件 测 试 是 为 了 发 现 错 误 而 运 行 程 序 的 过 程 这 一 定 义 明 确 指 出 软 件 测 试 的 目 的 是 发 现 错 误 软 件 测 试 的 定 义 38

39 广 义 软 件 测 试 的 定 义 广 义 的 软 件 测 试 是 由 确 认 验 证 测 试 3 方 面 组 成 确 认 : 评 估 将 要 开 发 的 软 件 产 品 是 否 正 确 无 误 可 行 和 有 价 值 的 确 认 意 味 着 确 保 一 个 开 发 软 件 是 正 确 无 误 的, 是 对 软 件 开 发 构 想 的 检 测 验 证 : 检 测 软 件 开 发 的 每 个 阶 段 每 个 步 骤 的 结 果 是 否 正 确 无 误, 是 否 与 软 件 开 发 各 阶 段 的 要 求 或 期 望 的 结 果 相 一 致 验 证 意 味 着 确 保 软 件 会 正 确 无 误 地 实 现 软 件 的 需 求, 开 发 过 程 是 沿 着 正 确 的 方 向 进 行 的 测 试 : 与 狭 隘 的 测 试 概 念 统 一 软 件 测 试 的 定 义 39

40 软 件 测 试 的 定 义 - 相 关 术 语 测 试 用 例 所 谓 测 试 用 例 是 为 特 定 的 目 的 而 设 计 的 一 组 测 试 输 入 执 行 条 件 和 预 期 的 结 果 ; 测 试 用 例 是 执 行 测 试 的 最 小 实 体 测 试 步 骤 测 试 步 骤 详 细 规 定 了 如 何 设 置 执 行 评 估 特 定 的 测 试 用 例 精 确 和 准 确 准 确 是 指 得 到 的 测 试 结 果 与 真 实 值 之 间 的 接 近 程 度 精 确 是 指 同 样 环 境 下 重 复 测 测 试 所 得 到 的 结 果 之 间 的 重 现 性 确 认 和 验 证 确 认 是 保 证 软 件 符 合 产 品 说 明 书 的 过 程 验 证 是 保 证 软 件 满 足 用 户 要 求 的 过 程 软 件 测 试 的 定 义 40

41 软 件 测 试 的 对 象 软 件 测 试 的 对 象 软 件 测 试 并 不 等 于 程 序 测 试 软 件 测 试 应 该 贯 穿 整 个 软 件 定 义 与 开 发 整 个 期 间 因 此 需 求 分 析 概 要 设 计 详 细 设 计 以 及 程 序 编 码 等 各 阶 段 所 得 到 的 文 档, 包 括 需 求 规 格 说 明 概 要 设 计 规 格 说 明 详 细 设 计 规 格 说 明 以 及 源 程 序, 都 应 该 是 软 件 测 试 的 对 象 软 件 测 试 的 定 义 41

42 软 件 测 试 的 对 象 软 件 测 试 的 定 义 42

43 软 件 测 试 的 对 象 上 图 中, 在 对 需 求 理 解 与 表 达 的 正 确 性 设 计 与 表 达 的 正 确 性 实 现 的 正 确 性 以 及 运 行 的 正 确 性 的 验 证 中, 任 何 一 个 环 节 发 生 了 问 题 都 可 能 在 软 件 测 试 中 表 现 出 来 软 件 测 试 的 定 义 43

44 软 件 测 试 的 重 要 性 软 件 错 误 不 可 避 免 由 于 人 的 思 维 局 限 性, 再 加 上 开 发 的 系 统 具 有 的 复 杂 性, 因 此 决 定 了 在 开 发 过 程 中 出 现 软 件 错 误 是 不 可 避 免 的 软 件 错 误 并 不 一 定 是 由 编 码 所 引 起 的, 很 可 能 是 详 细 设 计, 概 要 设 计 阶 段, 甚 至 于 是 需 求 分 析 阶 段 的 问 题 引 起 的 若 能 及 早 排 除 开 发 中 的 错 误, 就 可 排 除 给 后 期 工 作 带 来 的 麻 烦, 降 低 出 错 代 价 软 件 测 试 应 无 处 不 在 44

45 软 件 测 试 的 分 类 按 测 试 过 程 ( 开 发 阶 段 ) 单 元 测 试 : 又 称 模 块 测 试, 是 针 对 软 件 设 计 的 最 小 单 位 程 序 模 块 进 行 正 确 性 检 验 的 测 试 工 作 集 成 测 试 : 又 称 组 装 测 试, 是 将 模 块 按 照 设 计 要 求 组 装 起 来 进 行 测 试, 主 要 目 标 是 发 现 与 接 口 有 关 的 问 题 确 认 测 试 : 验 证 软 件 的 功 能 和 性 能 及 其 它 特 性 是 否 与 用 户 的 要 求 一 致 系 统 测 试 : 是 在 集 成 测 试 通 过 后 进 行, 目 的 是 充 分 运 行 系 统, 验 证 各 子 系 统 是 否 都 能 正 常 工 作 并 完 成 设 计 的 要 求 验 收 测 试 : 用 户 为 主, 开 发 人 员 参 与, 以 规 格 说 明 书 为 蓝 本 的 测 试 45

46 软 件 测 试 的 分 类 被 测 模 块 设 软 系 统 客 单 元 计 件 其 他 户 测 试 信 需 元 素 参 息 求 与 被 测 模 块 单 元 集 成 确 认 系 统 验 收 测 试 测 试 测 试 测 试 测 试 被 测 模 块 单 元 测 试 已 经 测 试 过 的 模 块 已 集 成 的 软 件 已 确 认 的 软 件 可 交 付 的 软 件 46

47 软 件 测 试 的 分 类 按 测 试 用 例 设 计 方 法 白 盒 测 试 也 称 结 构 测 试 或 逻 辑 驱 动 测 试 它 是 从 程 序 的 控 制 结 构 出 发 进 行 的 测 试, 测 试 程 序 中 的 每 条 通 路 是 否 都 有 能 按 预 定 要 求 正 确 工 作, 而 不 顾 它 的 功 能 黑 盒 测 试 又 称 功 能 测 试 数 据 驱 动 测 试 或 基 于 规 格 说 明 书 的 测 试, 是 一 种 从 用 户 观 点 出 发 的 测 试, 在 已 知 产 品 所 应 具 有 的 功 能, 通 过 测 试 来 检 测 每 个 功 能 是 否 都 能 正 常 使 用 灰 盒 测 试 是 介 于 白 盒 测 试 与 黑 盒 测 试 之 间 的 测 试, 灰 盒 测 试 关 注 输 出 对 于 输 入 的 正 确 性, 同 时 也 关 注 内 部 表 现, 但 这 种 关 注 不 象 白 盒 那 样 详 细 完 整, 只 是 通 过 一 些 表 征 性 的 现 象 事 件 标 志 来 判 断 内 部 的 运 行 状 态 47

48 软 件 测 试 的 分 类 按 实 施 对 象 : Alpha 测 试 ( 企 业 内 部 测 试 ): 是 由 用 户 在 开 发 环 境 下 进 行 的 测 试, 也 可 以 是 公 司 内 部 的 用 户 在 模 拟 实 际 操 作 环 境 下 进 行 的 受 控 测 试 Beta 测 试 ( 最 终 用 户 测 试 ): 是 软 件 的 多 个 用 户 在 实 际 使 用 环 境 下 进 行 的 测 试 第 三 方 测 试 ( 独 立 测 试 ) 48

49 软 件 测 试 的 分 类 按 执 行 方 式 人 工 测 试 : 手 工 执 行 的 测 试 ; 自 动 化 测 试 : 希 望 能 够 通 过 自 动 化 测 试 工 具 或 其 他 手 段, 按 照 测 试 工 程 师 的 预 定 计 划 进 行 自 动 的 测 试 如 : 负 载 测 试 性 能 测 试 可 靠 性 测 试 等 49

50 软 件 测 试 的 分 类 按 测 试 方 式 划 分 静 态 测 试 静 态 测 试 方 法 的 主 要 特 征 是 在 用 计 算 机 测 试 源 程 序 时, 计 算 机 并 不 真 正 运 行 被 测 试 的 程 序, 只 对 被 测 程 序 进 行 特 性 分 析 静 态 测 试 常 称 为 分 析, 静 态 分 析 是 对 被 测 程 序 进 行 特 性 分 析 的 一 些 方 法 的 总 称 动 态 测 试 动 态 测 试 方 法 的 主 要 特 征 是 计 算 机 必 须 真 正 运 行 被 测 试 的 程 序, 通 过 输 入 测 试 用 例, 对 其 运 行 情 况 ( 输 入 / 输 出 的 对 应 关 系 ) 进 行 分 析 50

51 软 件 测 试 的 分 类 按 测 试 形 态 (Testing Types)( 台 湾 许 育 诚 的 一 种 分 法 ): 建 构 性 测 试 (Construction Testing): 当 程 序 还 是 处 于 建 设 阶 段 时 所 进 行 的 测 试 ; 是 属 于 前 置 性 的 测 试, 它 主 要 是 偏 重 于 程 序 端 的 功 能 测 试, 以 确 保 程 序 执 行 运 行 正 常 系 统 测 试 (System Testing) : 是 针 对 系 统 的 行 为 来 做 测 试 ; 是 属 于 中 后 期 的 整 合 测 试, 所 进 行 的 测 试 是 以 使 用 者 的 观 点 为 主, 也 就 是 模 拟 外 界 世 界 的 使 用 者 会 如 何 的 使 用 产 品 特 殊 测 试 (Special Testing) : 根 据 产 品 的 本 质 特 性 来 安 排 或 剔 除 特 殊 测 试 51

52 软 件 测 试 的 分 类 建 构 性 测 试 包 括 : 单 步 测 试 尝 试 性 测 试 单 元 测 试 组 件 测 试 集 成 测 试 等 系 统 测 试 包 括 : 集 成 测 试 前 哨 测 试 功 能 测 试 设 置 测 试 发 行 测 试 验 收 测 试 等 特 殊 测 试 包 括 : 回 归 测 试 压 力 测 试 兼 容 性 测 试 性 能 测 试 Alpha 和 Beta 测 试 52

53 软 件 测 试 的 目 的 软 件 测 试 的 目 的 决 定 了 如 何 去 组 织 测 试 如 果 测 试 的 目 的 是 为 了 尽 可 能 多 地 找 出 错 误, 那 么 测 试 就 应 该 直 接 针 对 软 件 比 较 复 杂 的 部 分 或 是 以 前 出 错 比 较 多 的 位 置 如 果 测 试 目 的 是 为 了 给 最 终 用 户 提 供 具 有 一 定 可 信 度 的 质 量 评 价, 那 么 测 试 就 应 该 直 接 针 对 在 实 际 应 用 中 会 经 常 用 到 的 商 业 假 设 软 件 测 试 的 目 的 和 原 则 53

54 软 件 测 试 的 目 的 Grenford J. Myers 在 The Art of Software Testing 一 书 中 的 观 点 : 1 软 件 测 试 是 程 序 的 执 行 过 程, 目 的 在 于 发 现 错 误 ; 2 测 试 是 为 了 证 明 程 序 有 错, 而 不 是 证 明 程 序 无 错 误 3 一 个 好 的 测 试 用 例 是 在 于 它 能 发 现 至 今 未 发 现 的 错 误 ; 4 一 个 成 功 的 测 试 是 发 现 了 至 今 未 发 现 的 错 误 的 测 试 软 件 测 试 的 目 的 和 原 则 54

55 软 件 测 试 的 目 的 对 Myers 观 点 的 解 释 测 试 要 以 查 找 错 误 为 中 心, 而 不 是 为 了 演 示 软 件 的 正 确 功 能 但 发 现 错 误 并 不 是 软 件 测 试 的 唯 一 目 的 没 有 发 现 错 误 的 测 试 也 是 有 价 值 的, 完 整 的 测 试 是 评 定 测 试 质 量 的 一 种 方 法 详 细 而 严 谨 的 可 靠 性 增 长 模 型 可 以 证 明 这 一 点 例 如 Bev Littlewood 发 现 一 个 经 过 测 试 而 正 常 运 行 了 n 小 时 的 系 统 有 继 续 正 常 运 行 n 小 时 的 概 率 软 件 测 试 的 目 的 和 原 则 55

56 软 件 测 试 的 原 则 软 件 开 发 者 的 座 右 铭 : 尽 早 地 和 不 断 地 进 行 软 件 测 试 测 试 用 例 应 由 测 试 输 入 和 与 之 对 应 的 预 期 输 出 结 果 两 部 分 组 成 程 序 员 应 避 免 检 查 自 己 的 程 序 ( 注 意 不 是 指 对 程 序 的 调 试 ) 在 设 计 测 试 用 例 时, 应 当 包 括 合 理 的 输 入 条 件 和 不 合 理 的 输 入 条 件 不 合 理 的 输 入 条 件 是 指 异 常 的, 临 界 的, 可 能 引 起 问 题 异 变 的 输 入 条 件 妥 善 保 存 测 试 计 划, 测 试 用 例, 出 错 统 计 和 最 终 分 析 报 告, 为 维 护 提 供 方 便 测 试 无 法 显 示 潜 在 的 软 件 缺 陷 和 故 障 通 过 测 试 只 能 报 告 已 被 发 现 的 缺 陷 和 故 障, 无 法 报 告 隐 藏 的 软 件 故 障 软 件 测 试 的 目 的 和 原 则 56

57 软 件 测 试 的 原 则 完 全 测 试 是 不 可 能 的, 测 试 需 要 终 止 (1) 测 试 所 需 要 的 输 入 量 太 大 (2) 测 试 的 输 出 结 果 太 多 (3) 软 件 实 现 的 途 径 太 多 (4) 软 件 规 格 说 明 没 有 一 个 客 观 标 准 软 件 测 试 是 有 风 险 的 行 为, 要 针 对 风 险 做 出 抉 择 就 是 如 何 将 无 边 无 际 的 可 能 性 减 小 到 一 个 可 控 的 范 围, 以 及 如 何 针 对 软 件 风 险 做 出 恰 当 选 择, 去 粗 存 精, 找 到 最 佳 的 测 试 量, 使 得 测 试 工 作 量 不 多 也 不 少, 既 能 达 到 测 试 的 目 的, 又 能 较 为 经 济 57

58 软 件 测 试 的 原 则 软 件 缺 陷 故 障 数 量 遗 漏 缺 陷 数 目 优 化 测 试 量 测 试 费 用 测 试 中 测 试 后 测 试 工 作 量 图 测 试 工 作 量 和 软 件 缺 陷 数 量 之 间 的 关 系 58

59 软 件 测 试 的 原 则 充 分 注 意 测 试 中 的 群 集 现 象 经 验 表 明, 测 试 后 程 序 残 存 的 错 误 数 目 与 该 程 序 中 以 发 现 的 错 误 数 目 或 检 错 率 成 正 比 应 该 对 错 误 群 集 的 程 序 段 进 行 重 点 测 试 其 中 的 原 因 是 : 编 写 该 段 程 序 时, 程 序 员 情 绪 不 佳 心 情 不 好 ; 程 序 员 往 往 犯 同 样 的 错 误 ; 某 些 软 件 缺 陷 实 乃 冰 山 一 角 软 件 测 试 的 目 的 和 原 则 59

60 软 件 测 试 的 原 则 严 格 执 行 测 试 计 划, 排 除 测 试 的 随 意 性 测 试 计 划 应 包 括 : 所 测 软 件 的 功 能, 输 入 和 输 出, 测 试 内 容, 各 项 测 试 的 进 度 安 排, 资 源 要 求, 测 试 资 料, 测 试 工 具, 测 试 用 例 的 选 择, 测 试 的 控 制 方 法 和 过 程, 系 统 的 组 装 方 式, 跟 踪 规 则, 调 试 规 则, 以 及 回 归 测 试 的 规 定 等 等 以 及 评 价 标 准 应 当 对 每 一 个 测 试 结 果 做 全 面 的 检 查 对 测 试 结 果 要 有 一 个 确 认 过 程 A 测 出 的 错 误 由 B 确 认 严 重 的 错 误 可 召 开 评 审 会 进 行 讨 论 和 分 析 软 件 测 试 的 目 的 和 原 则 60

61 软 件 测 试 的 原 则 所 有 测 试 的 标 准 都 应 建 立 在 用 户 的 需 求 上 软 件 测 试 必 须 基 于 质 量 第 一 的 思 想 去 开 展 各 项 工 作, 当 时 间 和 质 量 冲 突 时, 时 间 服 从 质 量 并 非 所 有 软 件 缺 陷 都 要 修 复 原 因 : 没 有 足 够 的 时 间 进 行 修 复 ; 修 复 的 风 险 较 大 ; 不 值 得 修 复 ; 可 不 算 做 故 障 的 一 些 缺 陷 ; 杀 虫 剂 现 象 结 论 : 关 键 是 要 进 行 正 确 判 断 合 理 取 舍, 根 据 风 险 分 析 决 定 哪 些 故 障 必 须 修 复, 哪 些 故 障 可 以 不 修 复 软 件 测 试 的 目 的 和 原 则 61

62 软 件 测 试 过 程 对 于 各 种 测 试, 需 要 有 一 系 列 的 测 试 活 动 来 完 成 标 识 标 志 测 试 条 件 ( 确 定 测 试 什 么 ) 和 测 试 的 优 先 级 设 计 设 计 测 试 用 例 ( 确 定 怎 么 测 试 ) 开 发 开 发 测 试 ( 设 计 脚 本 数 据 等 ) 执 行 执 行 测 试 用 例 比 较 将 测 试 结 果 与 期 望 进 行 比 较 软 件 测 试 活 动 62

63 软 件 测 试 活 动 1 测 试 条 件 取 决 于 被 测 试 验 证 的 项 目 或 事 件 测 试 条 件 是 被 测 环 境 的 描 述, 可 以 用 多 种 方 式 描 述 : 如 简 单 的 语 言, 表 格 项 形 式 或 类 似 于 流 图 的 图 表 形 式 ; 标 识 测 试 条 件 的 活 动 最 好 与 开 发 活 动 ( 即 V 模 型 左 边 的 活 动 ) 并 行 开 展 2 设 计 测 试 用 例 (test case), 确 定 怎 样 测 试 测 试 是 从 大 量 的 测 试 用 例 中 选 择 有 限 的 测 试 用 例 发 现 软 件 中 的 大 部 分 缺 陷 的 一 种 技 术 测 试 用 例 是 按 一 定 顺 序 执 行 的 与 测 试 目 标 ( 测 试 理 由 或 目 的 ) 相 关 的 一 系 列 测 试 测 试 用 例 设 计 将 产 生 许 多 测 试 所 包 括 的 输 入 期 望 结 果 及 其 他 任 何 运 行 测 试 的 有 关 信 息, 如 环 境 要 求 软 件 测 试 活 动 63

64 软 件 测 试 活 动 2 设 计 测 试 用 例, 确 定 怎 样 测 试 ( 续 ) 期 望 输 出 包 括 应 输 出 或 建 立 的 内 容, 应 修 改 或 更 新 或 应 删 除 的 内 容 期 望 输 出 集 可 以 是 一 个 很 大 的 集 合 好 的 测 试 用 例 的 4 个 特 性 : 1. 检 测 软 件 质 量 的 有 效 性, 是 否 能 发 现 缺 陷, 或 至 少 可 能 发 现 缺 陷 ; 2. 可 仿 效 的 测 试 用 例 可 以 测 试 很 多 内 容, 因 而 减 少 测 试 用 例 的 数 量 ; 3. 经 济 性, 测 试 用 例 的 执 行 分 析 和 调 试 是 否 经 济 ; 4. 测 试 用 例 的 可 修 改 性, 每 次 软 件 修 改 后 对 测 试 用 例 的 维 护 成 本 软 件 测 试 活 动 64

65 软 件 测 试 活 动 3 开 发 测 试 用 例, 包 括 准 备 测 试 脚 本 测 试 输 入 测 试 数 据 以 及 期 望 输 出 测 试 脚 本 (test script) 是 具 有 正 规 语 法 的 数 据 和 指 令 的 集 合, 在 测 试 执 行 自 动 工 具 使 用 中, 通 常 以 文 件 形 式 保 存 ; 必 须 先 完 成 测 试 用 例 的 先 决 条 件, 然 后 再 执 行 测 试 测 试 用 例 可 能 要 求 专 门 的 硬 件 或 软 件, 如 网 络 环 境 或 打 印 机 等 ; 期 望 输 出 可 以 组 成 成 文 件 形 式 用 于 自 动 工 具 对 于 手 动 测 试, 期 望 输 出 仅 仅 只 是 简 单 地 记 录 在 手 工 测 试 过 程 或 脚 本 中 设 置 用 于 自 动 比 较 的 期 望 输 出 比 设 置 用 于 手 工 测 试 的 期 望 输 出 复 杂 得 多 在 自 动 工 具 中 要 求 每 项 内 容 都 要 拼 写 正 确, 而 在 手 工 测 试 中 要 求 没 这 么 严 格 测 试 开 发 的 任 何 工 作 可 以 提 前 进 行 ( 相 对 V 模 型 左 边 的 活 动 进 行 ), 以 后 可 以 节 省 时 间 软 件 测 试 活 动 65

66 软 件 测 试 活 动 4 执 行 测 试 用 例 对 于 手 动 测 试 来 讲, 测 试 者 按 事 先 准 备 好 的 手 工 过 程 进 行 测 试, 测 试 者 输 入 数 据 观 察 输 出 记 录 发 现 的 问 题 对 于 自 动 测 试, 可 能 只 需 要 启 动 测 试 工 具, 并 告 诉 工 具 执 行 哪 些 测 试 用 例 ; 软 件 测 试 活 动 66

67 软 件 测 试 活 动 5 将 测 试 结 果 与 期 望 输 出 进 行 比 较 应 该 对 每 次 测 试 的 实 际 输 出 进 行 分 析 研 究, 判 断 软 件 功 能 是 否 正 确 验 证 可 以 是 非 正 式 的 测 试 者 主 观 判 断, 也 可 以 是 将 实 际 输 出 与 期 望 输 出 进 行 严 格 准 确 的 比 较 一 些 信 息 比 较, 如 可 以 在 执 行 测 试 时 进 行 显 示 屏 幕 上 的 信 息, 另 一 些 输 出 比 较, 如 修 改 数 据 库 记 录, 只 能 在 测 试 执 行 结 束 后 进 行 自 动 测 试 一 般 结 合 了 这 两 种 方 法 软 件 测 试 活 动 67

68 测 试 信 息 流 程 测 试 信 息 流 程 如 图 所 示 测 试 过 程 中 需 要 三 类 输 入 : 软 件 配 置 测 试 配 置 和 测 试 工 具 回 归 测 试 软 件 配 置 测 试 配 置 测 试 结 果 错 误 测 试 结 果 分 析 改 正 错 误 修 正 的 软 件 测 试 结 果 测 试 工 具 预 期 结 果 可 靠 性 分 析 预 测 的 可 靠 性 图 测 试 信 息 流 程 软 件 测 试 活 动 68

69 软 件 测 试 的 周 期 性 软 件 测 试 的 周 期 性 是 测 试 -> 改 错 -> 再 测 试 -> 再 改 错 这 样 一 个 循 环 过 程, 如 下 图 所 示 串 行 方 式 开 发 者 : 测 试 周 期 改 错 测 试 周 期 改 错... 并 行 方 式 开 发 者 : 开 发 / 改 错 开 发 / 改 错 开 发 / 改 错 测 试 者 : 测 试 周 期 1 测 试 周 期 2 回 归 测 试 1 功 能 冻 结 最 终 回 归 测 试 代 码 冻 结 软 件 测 试 活 动 图 软 件 测 试 的 周 期 性 69

70 软 件 测 试 技 术 概 要 软 件 测 试 的 策 略 : 就 是 测 试 将 按 照 什 么 样 的 思 路 和 方 式 进 行 通 常, 软 件 测 试 要 经 过 单 元 测 试 集 成 测 试 确 认 测 试 系 统 测 试 以 及 验 收 测 试 软 件 测 试 技 术 : (1) 白 盒 测 试 和 黑 盒 测 试 (2) 静 态 测 试 和 动 态 测 试 (3) 传 统 测 试 方 法 和 面 向 对 象 测 试 的 方 法 (4) 特 定 环 境 及 应 用 的 测 试 70

71 软 件 测 试 误 区 如 果 发 布 的 软 件 有 质 量 问 题, 那 是 软 件 测 试 人 员 的 错 软 件 测 试 技 术 要 求 不 高, 至 少 比 编 程 容 易 多 了 有 时 间 就 多 测 试 一 些, 来 不 及 就 少 测 试 一 些 软 件 测 试 是 测 试 人 员 的 事, 与 开 发 人 员 无 关 根 据 瀑 布 模 型, 测 试 是 开 发 后 期 的 一 个 阶 段 软 件 测 试 误 区 71

72 软 件 测 试 人 员 应 具 备 的 素 质 软 件 测 试 员 在 开 发 团 队 中 讨 人 厌 软 件 测 试 员 的 目 标 发 现 潜 在 的 软 件 缺 陷 保 持 团 队 和 谐 的 建 议 尽 可 能 早 的 找 出 缺 陷 控 制 情 绪 不 要 总 是 报 告 坏 消 息 软 件 测 试 人 员 应 具 备 的 素 质 72

73 软 件 测 试 人 员 应 具 备 的 素 质 软 件 测 试 员 应 具 备 的 素 质 : (1) 探 索 精 神 (2) 故 障 排 除 能 力 (3) 不 懈 努 力 (4) 创 造 性 (5) 追 求 完 美 (6) 判 断 准 确 (7) 老 练 稳 重 (8) 说 服 力 软 件 测 试 人 员 应 具 备 的 素 质 73

74 软 件 测 试 的 模 型 软 件 测 试 模 型 则 是 软 件 测 试 的 工 作 框 架, 用 于 指 导 软 件 测 试 过 程. V 模 型 W 模 型 H 模 型 X 模 型 前 置 模 型 测 试 模 型 的 使 用 软 件 测 试 的 模 型 74

75 软 件 测 试 的 模 型 - V 模 型 软 件 测 试 的 模 型 75

76 软 件 测 试 的 模 型 - V 模 型 V 模 型 描 述 了 不 同 的 测 试 级 别 V 模 型 描 述 了 一 些 不 同 的 测 试 级 别, 并 说 明 了 这 些 级 别 所 对 应 的 生 命 周 期 中 不 同 的 阶 段 如 模 型 图 中 所 示, 左 边 下 降 的 是 开 发 过 程 各 阶 段, 与 此 相 对 应 的 是 右 边 上 升 的 部 分, 即 各 测 试 过 程 的 各 个 阶 段 在 模 型 图 中 的 开 发 阶 段 一 侧, 先 从 定 义 业 务 需 求 开 始, 然 后 要 把 这 些 需 求 不 断 地 转 换 到 概 要 设 计 和 详 细 设 计 中 去, 最 后 开 发 为 程 序 代 码 在 测 试 执 行 阶 段 一 侧, 执 行 先 从 单 元 测 试 开 始, 然 后 是 集 成 测 试 系 统 测 试 和 验 收 测 试 成 功 应 用 V 模 型 的 关 键 因 素 是 设 计 测 试 案 例 的 时 机 76

77 软 件 测 试 的 模 型 - V 模 型 V 模 型 的 价 值 它 非 常 明 确 地 标 明 了 测 试 过 程 中 存 在 的 不 同 级 别, 并 且 清 楚 地 描 述 了 这 些 测 试 阶 段 和 开 发 过 程 期 间 各 阶 段 的 对 应 关 系 : 单 元 测 试 的 主 要 目 的 是 针 对 编 码 过 程 中 可 能 存 在 的 各 种 错 误, 例 如 用 户 输 入 验 证 过 程 中 的 边 界 值 的 错 误 集 成 测 试 主 要 目 的 是 针 对 详 细 设 计 中 可 能 存 在 的 问 题 尤 其 是 检 查 各 单 元 与 其 它 程 序 部 分 之 间 的 接 口 上 可 能 存 在 的 错 误 系 统 测 试 主 要 针 对 概 要 设 计, 检 查 了 系 统 作 为 一 个 整 体 是 否 有 效 地 得 到 运 行, 例 如 在 产 品 设 置 中 是 否 达 到 了 预 期 的 高 性 能 验 收 测 试 通 常 由 业 务 专 家 或 用 户 进 行, 以 确 认 产 品 能 真 正 符 合 用 户 业 务 上 的 需 要 77

78 软 件 测 试 的 模 型 - V 模 型 V 模 型 问 题 测 试 是 开 发 之 后 的 一 个 阶 段 测 试 的 对 象 是 程 序 本 身 易 导 致 需 求 阶 段 的 错 误 一 直 到 最 后 系 统 测 试 阶 段 才 被 发 现 如 果 问 题 不 能 及 时 被 发 现, 这 些 隐 含 的 问 题 也 被 带 到 下 一 个 工 序, 正 确 的 设 计 被 编 码, 错 误 的 设 计 也 同 时 被 编 码 78

79 软 件 测 试 的 模 型 - W 模 型 V 模 型 测 试 的 改 进, 在 概 要 设 计 详 细 设 计 和 编 码 每 个 步 骤 都 要 进 行 检 测 尽 量 把 问 题 及 时 发 现 及 时 消 灭 W 模 型 是 基 于 IEEE std 软 件 验 证 和 确 认 (V&V) 原 则 提 出 此 原 则 主 要 思 想 是 尽 早 地 和 不 断 地 进 行 软 件 测 试 79

80 软 件 测 试 的 模 型 - W 模 型 80

81 81

82 软 件 测 试 的 模 型 - W 模 型 测 试 伴 随 整 个 开 发 周 期 相 应 开 发 活 动 完 成, 即 可 对 相 应 开 发 活 动 进 行 测 试 测 试 对 象 不 仅 是 程 序, 还 包 括 需 求 和 设 计 优 点 强 调 了 测 试 计 划 等 工 作 的 先 行 和 对 系 统 需 求 和 设 计 的 测 试 缺 点 没 有 对 软 件 测 试 流 程 予 以 说 明 82

83 软 件 测 试 的 模 型 - H 模 型 V 模 型 和 W 模 型 的 局 限 软 件 开 发 被 视 为 一 系 列 串 行 活 动 实 际 上, 大 部 分 时 间 可 并 发 软 件 开 发 中, 严 格 的 阶 段 划 分 只 是 一 种 理 想 状 态 实 际, 只 要 测 试 条 件 满 足, 就 可 进 行 测 试 不 同 层 次 测 试 之 间 除 了 先 后 关 系 外, 还 有 触 发 反 复 迭 代 和 增 量 关 系 没 有 很 好 地 表 示 测 试 流 程 的 完 整 性 测 试 流 程 大 致 可 分 为 测 试 准 备 活 动 ( 包 括 测 试 需 求 分 析 测 试 计 划 测 试 设 计 测 试 编 码 和 测 试 验 证 ) 和 测 试 执 行 活 动 ( 包 括 测 试 运 行 测 试 分 析 和 测 试 报 告 ) 83

84 软 件 测 试 的 模 型 - H 模 型 H 模 型 将 测 试 作 为 一 个 独 立 流 程, 贯 穿 整 个 开 发 周 期, 与 其 他 流 程 并 行, 同 时 测 试 准 备 和 测 试 执 行 分 离 84

85 软 件 测 试 的 模 型 - H 模 型 H 模 型 特 性 测 试 不 仅 仅 指 测 试 的 执 行, 还 包 括 许 多 其 他 活 动 ; 测 试 是 一 个 独 立 流 程, 贯 穿 产 品 整 个 生 命 周 期 ; 与 其 它 流 程 并 发 进 行 测 试 要 尽 早 准 备, 尽 早 执 行 测 试 是 根 据 被 测 对 象 的 不 同 而 分 层 进 行 意 义 测 试 准 备 和 测 试 执 行 分 离, 有 利 于 资 源 调 配, 降 低 成 本, 提 高 效 率 充 分 体 现 测 试 过 程 ( 不 是 技 术 ) 的 复 杂 性 有 组 织 有 结 构 化 的 独 立 流 程, 有 助 于 跟 踪 测 试 投 入 的 流 向 85

86 软 件 测 试 的 模 型 - X 模 型 X 模 型 X 模 型 基 本 思 想 由 Brian Marick( 软 件 子 系 统 测 试 的 作 者 ) 提 出, Robin F.Goldsmith(Go 项 目 管 理 咨 询 公 司 的 总 裁 ) 命 名 Brian Marick 对 V 模 型 的 质 疑 主 要 有 : V 模 型 无 法 引 导 项 目 的 全 过 程 他 认 为 一 个 模 型 应 能 处 理 开 发 的 所 有 方 面, 包 括 交 接, 频 繁 重 复 的 集 成, 以 及 需 求 文 档 的 缺 乏 等 V 模 型 基 于 一 套 必 须 按 照 一 定 顺 序 严 格 排 列 的 开 发 步 骤, 而 这 很 可 能 并 没 有 反 映 实 际 的 实 践 过 程 质 疑 了 单 元 测 试 和 集 成 测 试 的 区 别, 因 为 在 某 些 场 合 人 们 可 能 会 跳 过 单 元 测 试 而 热 衷 于 直 接 进 行 集 成 测 试 按 照 V 模 型 所 指 导 的 步 骤 进 行 工 作, 某 些 做 法 并 不 切 合 实 用 86

87 87

88 软 件 测 试 的 模 型 - X 模 型 X 模 型 的 左 边 描 述 的 是 针 对 单 独 程 序 片 段 所 进 行 的 相 互 分 离 的 编 码 和 测 试 此 后 将 进 行 频 繁 的 交 接, 通 过 集 成 最 终 合 成 为 可 执 行 的 程 序 ( 右 上 半 部 分 ), 这 些 可 执 行 程 序 还 需 要 进 行 测 试 已 通 过 集 成 测 试 的 成 品 可 以 进 行 封 版 并 提 交 给 用 户, 也 可 以 作 为 更 大 规 模 和 范 围 内 集 成 的 一 部 分 多 根 并 行 的 曲 线 表 示 变 更 可 以 在 各 个 部 分 发 生 88

89 软 件 测 试 的 模 型 - X 模 型 X 模 型 还 定 位 了 探 索 性 测 试 ( 右 下 方 ) 这 是 不 进 行 事 先 计 划 的 特 殊 类 型 的 测 试, 诸 如 我 这 么 测 一 下 结 果 会 怎 么 样?, 这 一 方 式 往 往 能 帮 助 有 经 验 的 测 试 人 员 在 测 试 计 划 之 外 发 现 更 多 的 软 件 错 误.X 模 型 及 其 探 索 性 测 试 的 提 倡 也 是 为 了 避 免 把 大 量 时 间 花 费 在 测 试 文 档 编 写 上 面, 那 样 的 话, 真 正 用 于 测 试 的 时 间 就 减 少 了 89

90 软 件 测 试 的 模 型 - X 模 型 V 模 型 的 一 个 强 项 是 它 明 确 的 需 求 角 色 的 确 认, 而 X 模 型 没 有 这 么 做, 这 是 X 模 型 的 一 个 不 足 之 处 X 模 型 并 不 要 求 在 进 行 作 为 创 建 可 执 行 程 序 ( 图 中 右 上 方 ) 的 一 个 组 成 部 分 的 集 成 测 试 之 前, 对 每 一 个 程 序 片 段 都 进 行 单 元 测 试 ( 图 中 左 侧 的 行 为 ) 但 X 模 型 没 能 提 供 是 否 要 跳 过 单 元 测 试 的 判 断 准 则 90

91 软 件 测 试 的 模 型 - 前 置 测 试 模 型 前 置 测 试 模 型 由 Robin F. Goldsmith,Dorothy Graham 提 出, 是 一 个 将 测 试 和 开 发 紧 密 结 合 的 模 型, 该 模 型 提 供 了 轻 松 的 方 式, 可 以 使 你 的 项 目 加 快 速 度 V 模 型 和 X 模 型 是 当 前 被 测 试 专 家 所 推 崇 的 主 要 的 测 试 模 型 前 置 测 试 从 V 模 型 和 X 模 型 中 汲 取 其 中 精 华, 并 设 法 弥 补 了 它 们 的 不 足 之 处 虽 然 前 置 测 试 也 不 是 完 美 的, 但 它 可 以 带 来 明 显 的 益 处 91

92 92

93 软 件 测 试 的 模 型 - 前 置 测 试 模 型 开 发 和 测 试 相 结 合 前 置 测 试 模 型 将 开 发 和 测 试 的 生 命 周 期 整 合 在 一 起, 标 识 了 项 目 生 命 周 期 从 开 始 到 结 束 之 间 的 关 键 行 为 并 且 表 示 了 这 些 行 为 在 项 目 周 期 中 的 价 值 所 在 如 果 其 中 有 些 行 为 没 有 得 到 很 好 的 执 行, 那 么 项 目 成 功 的 可 能 性 就 会 因 此 而 有 所 降 低 如 果 有 业 务 需 求, 则 系 统 开 发 过 程 将 更 有 效 率 业 务 需 求 最 好 在 设 计 和 开 发 之 前 就 被 正 确 定 义 93

94 软 件 测 试 的 模 型 - 前 置 测 试 模 型 对 每 一 个 交 付 内 容 进 行 测 试 : 每 一 个 交 付 的 开 发 结 果 都 必 须 通 过 一 定 的 方 式 进 行 测 试 源 程 序 代 码 并 不 是 唯 一 需 要 测 试 的 内 容 在 图 中 的 圆 圈 表 示 了 其 它 一 些 要 测 试 的 对 象, 包 括 可 行 性 报 告 业 务 需 求 说 明, 以 及 系 统 设 计 文 档 等 这 同 V 模 型 中 开 发 和 测 试 的 对 应 关 系 是 相 一 致 的, 并 且 在 其 基 础 上 有 所 扩 展, 变 得 更 为 明 确 94

95 软 件 测 试 的 模 型 - 前 置 测 试 模 型 在 设 计 阶 段 进 行 计 划 和 测 试 设 计 : 设 计 阶 段 是 做 测 试 计 划 和 测 试 设 计 的 最 好 时 机 很 多 组 织 要 么 根 本 不 做 测 试 计 划 和 测 试 设 计, 要 么 在 即 将 开 始 执 行 测 试 之 前 才 飞 快 完 成 测 试 计 划 和 设 计 在 这 种 情 况 下, 测 试 只 是 验 证 了 程 序 的 正 确 性, 而 不 是 验 证 整 个 系 统 本 该 实 现 的 东 西 在 V 模 型 中, 验 收 测 试 最 早 被 定 义 好, 并 在 最 后 执 行, 以 验 证 所 交 付 的 系 统 是 否 真 正 符 合 用 户 业 务 的 需 求 与 V 模 型 不 同 的 是, 前 置 测 试 模 型 认 识 到 验 收 测 试 中 所 包 含 的 3 种 成 份, 其 中 的 2 种 都 与 业 务 需 求 定 义 相 联 系 : 即 定 义 基 于 需 求 的 测 试, 以 及 定 义 验 收 标 准 但 是, 第 三 种 则 需 要 等 到 系 统 设 计 完 成, 因 为 验 收 测 试 计 划 是 由 针 对 按 设 计 实 现 的 系 统 来 进 行 的 一 些 明 确 操 作 定 义 所 组 成, 这 些 定 义 包 括 : 如 何 判 断 验 收 标 准 已 经 达 到, 以 及 基 于 需 求 的 测 试 已 算 成 功 完 成 95

96 软 件 测 试 的 模 型 - 前 置 测 试 模 型 技 术 测 试 主 要 是 针 对 开 发 代 码 的 测 试, 例 如 V 模 型 中 所 定 义 的 动 态 的 单 元 测 试, 集 成 测 试 和 系 统 测 试 另 外, 前 置 测 试 还 提 示 我 们 应 增 加 静 态 审 查 还 有 特 别 测 试, 并 把 该 名 称 作 为 很 多 测 试 的 一 个 统 称, 这 些 测 试 包 括 负 载 测 试 安 全 性 测 试 可 用 性 测 试 等 等 对 技 术 测 试 最 基 本 的 要 求 是 验 证 代 码 的 编 写 和 设 计 的 要 求 是 否 相 一 致 一 致 的 意 思 是 系 统 确 实 提 供 了 要 求 提 供 的, 并 且 系 统 并 没 有 提 供 不 要 求 提 供 的 技 术 测 试 在 设 计 阶 段 进 行 计 划 和 设 计, 并 在 开 发 阶 段 由 技 术 部 门 来 执 行 96

97 软 件 测 试 的 模 型 - 前 置 测 试 模 型 测 试 和 开 发 结 合 在 一 起 : 前 置 测 试 将 测 试 执 行 和 开 发 结 合 在 一 起, 并 在 开 发 阶 段 以 编 码 - 测 试 - 编 码 - 测 试 的 方 式 来 体 现. 也 就 是 说, 程 序 片 段 一 旦 编 写 完 成, 就 会 立 即 进 行 测 试 普 通 情 况 下, 先 进 行 的 测 试 是 单 元 测 试, 因 为 开 发 人 员 认 为 通 过 测 试 来 发 现 错 误 是 最 经 济 的 方 式 但 也 可 参 考 X 模 型, 即 一 个 程 序 片 段 也 需 要 相 关 的 集 成 测 试, 甚 至 有 时 还 需 要 一 些 特 殊 测 试 对 于 一 个 特 定 的 程 序 片 段, 其 测 试 的 顺 序 可 以 按 照 V 模 型 的 规 定, 但 其 中 还 会 交 织 一 些 程 序 片 段 的 开 发, 而 不 是 按 阶 段 完 全 地 隔 离 97

98 软 件 测 试 的 模 型 - 前 置 测 试 模 型 让 验 收 测 试 和 技 术 测 试 保 持 相 互 独 立 : 验 收 测 试 应 该 独 立 于 技 术 测 试, 这 样 可 以 提 供 双 重 的 保 险, 以 保 证 设 计 及 程 序 编 码 能 够 符 合 最 终 用 户 的 需 求 验 收 测 试 既 可 以 在 实 施 阶 段 的 第 一 步 来 执 行, 也 可 以 在 开 发 阶 段 的 最 后 一 步 执 行 前 置 测 试 模 型 提 倡 验 收 测 试 和 技 术 测 试 沿 循 2 条 不 同 的 路 线 来 进 行, 每 条 路 线 分 别 地 验 证 系 统 是 否 能 够 如 预 期 的 设 想 进 行 正 常 工 作 这 样, 当 单 独 设 计 好 的 验 收 测 试 完 成 了 系 统 的 验 证, 我 们 即 可 确 信 这 是 一 个 正 确 的 系 统 98

99 软 件 测 试 的 模 型 - 前 置 测 试 模 型 反 复 交 替 的 开 发 和 测 试 : 开 发 和 测 试 需 要 一 起 反 复 交 替 地 执 行 在 项 目 中 从 很 多 方 面 可 以 看 到 变 更 的 发 生, 例 如 需 要 重 新 访 问 前 一 阶 段 的 内 容, 或 者 地 跟 踪 并 纠 正 以 前 提 交 的 内 容, 修 复 错 误, 排 除 多 余 的 成 分, 以 及 增 加 新 发 现 的 功 能, 等 等 模 型 并 没 有 明 确 指 出 参 与 的 系 统 部 分 的 大 小 这 一 点 和 V 模 型 中 所 提 供 的 内 容 相 似 不 同 的 是, 前 置 测 试 模 型 对 反 复 和 交 替 进 行 了 非 常 明 确 的 描 述 99

100 软 件 测 试 的 模 型 - 前 置 测 试 模 型 发 现 内 在 的 价 值 : 前 置 测 试 能 给 需 要 使 用 测 试 技 术 的 开 发 人 员 测 试 人 员 项 目 经 理 和 用 户 等 带 来 很 多 不 同 于 传 统 方 法 的 内 在 的 价 值 与 以 前 的 方 法 中 很 少 划 分 优 先 级 所 不 同 的 是, 前 置 测 试 用 较 低 的 成 本 来 及 早 发 现 错 误, 并 且 充 分 强 调 了 测 试 对 确 保 系 统 的 高 质 量 的 重 要 意 义 前 置 测 试 代 表 了 整 个 对 测 试 的 新 的 不 同 的 观 念 在 整 个 开 发 过 程 中, 我 们 反 复 使 用 了 各 种 测 试 技 术 以 使 开 发 人 员 经 理 和 用 户 节 省 其 时 间, 简 化 其 工 作 100

101 前 置 测 试 模 型 内 在 的 价 值 通 常 情 况 下, 开 发 人 员 会 将 测 试 工 作 视 为 阻 碍 其 按 期 完 成 开 发 进 度 的 额 外 的 负 担 然 而, 当 提 前 定 义 好 该 如 何 对 程 序 进 行 测 试 以 后, 可 能 会 使 开 发 人 员 将 节 省 至 少 20% 的 时 间 虽 然 开 发 人 员 很 少 意 识 到 他 们 的 时 间 是 如 何 分 配 的, 也 许 他 们 只 是 感 觉 到 有 一 大 块 时 间 从 重 新 修 改 中 节 省 下 来 可 用 来 进 行 其 它 的 开 发 保 守 地 说, 在 编 码 之 前 对 设 计 进 行 测 试 可 以 节 省 总 共 将 近 一 半 的 时 间, 这 可 以 从 以 下 方 面 体 现 出 来 : 101

102 前 置 测 试 模 型 内 在 的 价 值 针 对 设 计 的 测 试 编 写 是 检 验 设 计 的 一 个 非 常 好 的 方 法, 由 此 可 以 及 时 避 免 因 为 设 计 不 正 确 而 造 成 的 重 复 开 发 及 代 码 修 改 通 常 情 况 下, 这 样 的 测 试 可 以 使 设 计 中 的 逻 辑 缺 陷 凸 显 出 来 另 一 方 面, 编 写 测 试 用 例 还 能 揭 示 设 计 中 比 较 模 糊 的 地 方 总 的 来 说, 如 果 你 不 能 勾 画 出 如 何 对 程 序 进 行 测 试, 那 么 程 序 员 很 可 能 也 很 难 确 定 他 们 所 开 发 的 程 序 怎 样 才 算 是 正 确 的 测 试 工 作 先 于 程 序 开 发 而 进 行, 这 样 可 以 明 显 地 看 到 程 序 应 该 如 何 工 作, 否 则, 如 果 要 等 到 程 序 开 发 完 成 后 才 开 始 测 试, 那 么 测 试 只 是 查 验 开 发 人 员 的 代 码 是 如 何 运 行 的 而 提 前 的 测 试 可 以 帮 助 开 发 人 员 立 刻 得 到 正 确 的 错 误 定 位 102

103 前 置 测 试 模 型 内 在 的 价 值 在 测 试 先 于 编 码 的 情 况 下, 开 发 人 员 可 以 在 一 完 成 编 码 时 就 立 刻 进 行 测 试 而 且, 会 更 有 效 率, 在 同 一 时 间 内 能 够 执 行 更 多 的 现 成 的 测 试, 开 发 人 员 的 思 路 也 不 会 因 为 去 搜 集 测 试 数 据 而 被 打 断 即 使 是 最 好 的 程 序 员, 从 他 们 各 自 的 观 念 出 发, 也 常 常 会 对 一 些 看 似 非 常 明 确 的 设 计 说 明 产 生 不 同 的 理 解 如 果 他 们 能 参 考 到 测 试 的 输 入 数 据 及 输 出 结 果 要 求, 就 可 以 帮 助 他 们 及 时 纠 正 理 解 上 的 误 区, 使 其 在 一 开 始 就 编 写 出 正 确 的 代 码 前 置 测 试 定 义 了 如 何 在 编 码 之 前 对 程 序 进 行 测 试 设 计, 开 发 人 员 一 旦 体 会 到 其 中 的 价 值, 就 会 对 其 表 现 出 特 别 的 欣 赏 前 置 方 法 不 仅 能 节 省 时 间, 而 且 可 以 减 少 那 些 令 他 们 十 分 厌 恶 的 重 复 工 作 103

104 测 试 模 型 的 使 用 任 何 模 型 都 不 完 美, 不 应 为 了 使 用 模 型 而 照 搬 实 测 中, 应 灵 活 运 用 各 模 型 优 点, 通 常 在 W 模 型 框 架 下, 运 用 H 模 型 的 思 想 进 行 独 立 测 试 当 有 变 更 时, 按 X 模 型 和 前 置 模 型 的 思 想 进 行 处 理 测 试 和 开 发 密 不 可 分, 寻 找 恰 当 的 就 绪 点 开 始 测 试, 并 反 复 进 行 迭 代 测 试, 以 达 目 标 104