信息系统分析与设计-第6部分

《信息系统分析与设计-第6部分》由会员分享，可在线阅读，更多相关《信息系统分析与设计-第6部分（66页珍藏版）》请在装配图网上搜索。

1、信 息 系 统 实 施 模 块 设 计模块详细设计程序设计。主要依据系统设计阶段的HIPO图、系统结构图等，把系统设计的结果翻译成计算机能执行的形式，让计算机按照人的意志工作。 模 块 设 计 过 程 ： 选 择 程 序 设 计 语 言 描 述 程 序用 选 定 的 语 言 按 程 序 描 述 编 程 详 细 设 计 编 码 实 施 程 序 复 杂 度 的 度 量vMcCabe方 法 -环 形 复 杂 度 度 量vHalstead方 法 -文 本 复 杂 度vHenry与 Kafura方 法 -耦 合 度 度 量vBowles方 法vTroy与 Zweben方 法 McCabe方 法v环 形

2、复 杂 度 方 法 （ 圈 复 杂 度 方 法 ）v基 本 复 杂 度 方 法v模 块 设 计 复 杂 度 方 法v集 成 复 杂 度 方 法 环 形 复 杂 度 度 量 方 法v 依 据 程 序 控 制 流 图 计 算 。v 程 序 流 图 中 的 每 个 处 理 和 判 断 节 点 都 收 缩成 一 个 点 程 序 控 制 流 图v 复 杂 度 ： V(G)=m-n+2或 (G)=p+1 V代 表 圈 ， G代 表 程 序 控 制 流 图 其 中 ： m为 有 向 边 的 条 数 （ 弧 数 ） ， n为 结点 数 ， p为 图 中 判 定 结 点 数 。 程 序 复 杂 度 计 算 实

3、例AB C D E F GHIK Jendstart 预 测 程 序 中 包 含 的 错 误 个 数v 公 式 ： B=N*log(n1+n2)/3000 其 中 ， n1为 运 算 符 个 数 ， n2为 操 作 数 个 数。 N为 Halstead实 际 长 度 ， N=N1+N2 N1为 运 算 符 出 现 的 总 次 数 ， N2为 操 作 数 出现 的 总 次 数 。 表 明 ： 程 序 计 算 量 与 错 误 出 现 成 正 比 。 预 测 实 例村 领 导 需 要 估 计 该 村 某 池 塘 中 鱼 的 大 致 数 量 。 技术 人 员 想 出 了 一 个 办 法 ： 先 从 池

4、 塘 中 捕 出 100条 鱼 ，在 每 条 鱼 身 上 做 一 记 号 ， 又 放 回 池 塘 。 几 天 后 ， 再 从该 池 塘 中 捕 出 50条 鱼 ， 发 现 其 中 有 5条 是 有 记 号 的 。因 此 ， 他 估 计 该 池 塘 有 多 条 鱼 ？ （ 假 设 这 几 天 内 鱼 的数 量 没 有 变 化 ） 设 有 X条 鱼抓 到 带 记 号 鱼 与 抓 鱼 总 数 成 正 比50-5X-100有 X=1000条 系 统 测 试 检 验 软 件 有 三 种 手 段 ： 动 态 检 查 、 静 态 检 查 和 正确 性 证 明 。 程 序 正 确 性 证 明 技 术 目 前

5、还 处 于 初 级 阶 段 ， 静 态 检 查 指 人 工 评 审 软 件 文 档 或 程 序 ， 发 现 其中 的 错 误 （ 代 码 审 查 、 代 码 走 查 、 同 行 评 审 ） 。 动 态 检 查 就 是 测 试 。 测 试 是 为 了 发 现 错 误 而 执行 程 序 的 过 程 。 测 试 只 能 证 明 程 序 有 错 误 ， 而 不可 能 证 明 程 序 没 有 错 误 。系 统 测 试 在 软 件 投 入 运 行 前 ， 对 软 件 需 求 分 析 、设 计 规 格 说 明 和 编 码 实 现 的 最 终 审 查 。 定 义 1：为 发 现 错 误 而 执 行 程 序 的

6、 过 程 。定 义 2：根 据 软 件 开 发 各 阶 段 规 格 说 明 和 程 序 的内 部 结 构 而 设 计 的 一 批 测 试 用 例 ， 并 利 用 这些 用 例 运 行 程 序 及 发 现 错 误 的 过 程 。软 件 测 试 定 义 测 试 用 例为 特 定 目 的 而 设 计 的 一 组 输 入 、 执行 条 件 和 预 期 结 果 。执 行 测 试 的 最 小 实 体 。 保 证 质 量 (1) 发 现 错 误(2) 检 查 系 统 是 否 满 足 需 求 测 试 的 关 键设 计 测 试 用 例 设 计 一 批 测 试数 据 ， 通 过 有 限 的 测 试 用 例 ， 在

7、 有限 时 间 内 ， 尽 可 能 多 地 发 现 程 序 中的 错 误 。 测 试 的 目 的 测 试 内 容不 仅 是 对 程 序 的 测 试 ， 而 是 软 件定 义 和 开 发 的 全 过 程 测 试 。单 元 测 试 每 个 模 块 完 成 后综 合 测 试 集 成 测 试 、 系 统 测 试、 验 收 测 试 等 测 试 类 型单 元 测 试 也 称 模 块 测 试 ， 根 据 模 块 的 功 能 说 明 检 验 每 个 单 独 的 模 块 是否 存 在 错 误 。集 成 测 试 也 称 联 合 测 试 ， 检 验 模 块 及 系 统 结 构 。确 认 测 试 对 照 软 件 需

8、求 规 格 说 明 ， 对 软 件 进 行 评 价 ， 以 确 定 是 否 满 足软 件 需 求 过 程 。系 统 测 试 将 硬 件 、 软 件 、 操 作 人 员 看 作 一 个 整 体 进 行 的 一 系 列 测 试 ，确 保 系 统 各 部 分 协 调 工 作 。验 收 测 试 最 后 一 次 需 求 比 较 过 程 。 单 元 测 试v对 软 件 设 计 的 最 小 单 位 程 序 模块 ， 进 行 正 确 性 检 验 。v目 的 在 于 发 现 各 模 块 内 部 可 能 存 在的 各 种 差 错 。v需 要 从 程 序 的 内 部 结 构 出 发 设 计 测试 用 例 ， 多 个

9、 模 块 可 以 平 行 地 独 立进 行 单 元 测 试 。 集 成 测 试v将 所 有 模 块 集 成 在 一 起 所 进 行 的 系统 功 能 测 试v测 试 的 策 略 ：一 次 性 组 装自 顶 向 下 的 组 装自 底 向 上 的 组 装 一 次 性 组 装 测 试（ Big-bang Integration）先 对 每 个 模 块 分 别 进 行 模 块 测 试 ，再 把 所 有 模 块 组 装 在 一 起 进 行 测 试 ， 最终 得 到 要 求 的 软 件 系 统 。 自 顶 向 下 的 集 成 测 试（ Top-down Integration ）按 系 统 程 序 结 构

10、 ， 沿 控 制 层 次 自 顶 向下 进 行 组 装 。方 法 ：通 过 设 置 下 层 模 块 为 桩 ， 检 查 控 制 流， 较 早 地 验 证 了 主 要 的 控 制 和 判 断 点 。问 题 ：需 要 制 作 较 多 的 桩 模 块 ， 并 且 桩 模 块不 能 返 回 真 实 的 数 据 。 自 底 向 上 的 集 成 测 试（ Bottom-up Integration ）从 程 序 模 块 结 构 的 最 底 层 的 模 块 开始 组 装 和 测 试 。对 于 一 个 给 定 层 次 的 模 块 ， 它 的 子模 块 及 其 下 属 模 块 已 经 组 装 并 测 试 完 成

11、， 所 以 不 再 需 要 桩 模 块 。 要 到 最 后 才 窥得 全 貌 ， 重 大 结 构 问 题 不 能 及 早 发 现 。 确 认 测 试v进 行 功 能 的 有 效 性 测 试 。v运 用 黑 盒 测 试 的 技 术 ， 验 证 被 测 软 件 是否 满 足 需 求 规 格 说 明 书 列 出 的 需 求 。v为 验 收 作 准 备 。 测 试 和 测 试v测 试 是 由 一 个 用 户 在 开 发 环 境 下 进 行的 测 试 ， 也 可 以 是 公 司 内 部 的 用 户 在模 拟 实 际 操 作 环 境 下 进 行 的 测 试 。v测 试 是 由 软 件 的 多 个 用 户

12、在 实 际 使 用环 境 下 进 行 的 测 试 。 这 些 用 户 返 回 有关 错 误 信 息 给 开 发 者 。 回 归 测 试v 软 件 发 生 变 化 时 例 ： 增 加 模 块 、 修 改 模 块， 原 来 通 过 测 试 的 功 能 可 能 不 能 正 常 运 行 ，回 归 测 试 就 是 通 过 重 新 执 行 已 经 执 行 过 的 测试 来 保 证 改 动 过 的 程 序 的 正 确 性 。v 回 归 测 试 可 以 用 人 工 来 执 行 所 有 测 试 用 例 的一 个 子 集 ， 或 者 采 用 捕 捉 回 放 工 具 来 进 行 （自 动 测 试 工 具 ） 。 系

13、 统 测 试v将 通 过 确 认 测 试 的 软 件 ， 作 为 整 个 基 于计 算 机 系 统 的 一 个 元 素 ， 与 计 算 机 硬 件、 外 设 、 某 些 支 持 软 件 、 数 据 和 人 员 等其 他 系 统 元 素 结 合 在 一 起 ， 在 实 际 运 行环 境 下 ， 对 系 统 进 行 一 系 列 的 集 成 测 试和 确 认 测 试 。v系 统 测 试 为 系 统 的 正 式 运 行 做 准 备 ， 也可 称 为 试 运 行 。 系 统 测 试v 功 能 测 试在 规 定 的 一 段 时 间 内 运 行 软 件 系 统 的 所 有 功 能 ， 以 验 证这 个 软

14、件 系 统 有 无 严 重 错 误 。v 可 靠 性 测 试平 均 失 效 间 隔 时 间 MTBF（ Mean Time Between Failures） 因 故 障 而 停 机 的 时 间 MTTR（ Mean Time To Repairs）v 强 度 测 试 （ 压 力 测 试 ）检 查 在 系 统 运 行 环 境 非 正 常 乃 至 发 生 故 障 的 情 况 下 ， 系统 可 以 运 行 到 何 种 程 度 v 性 能 测 试检 查 系 统 是 否 满 足 在 需 求 说 明 书 中 规 定 的 性 能 。 特 别 是对 于 实 时 系 统 或 嵌 入 式 系 统 。 系 统 测

15、 试v 恢 复 测 试证 实 在 克 服 硬 件 故 障 (包 括 掉 电 、 硬 件 或 网 络 出 错等 )后 ， 系 统 能 否 正 常 地 继 续 进 行 工 作 ， 并 不 对 系统 造 成 任 何 损 害 。采 用 人 工 模 拟 硬 件 故 障 ， 故 意 造 成 软 件 出 错 。v 启 动 停 止 测 试验 证 在 机 器 启 动 及 关 机 阶 段 ， 软 件 系 统 正 确 处 理 的能 力 。反 复 启 动 软 件 系 统 ， 例 如 操 作 系 统 自 举 、 网 络 的启 动 、 应 用 程 序 的 调 用 等 。在 尽 可 能 多 的 情 况 下 关 机 。 系

16、统 测 试v 配 置 测 试检 查 计 算 机 系 统 内 各 个 设 备 或 各 种 资 源 之 间 的 相互 联 结 和 功 能 分 配 中 的 错 误 。包 括 配 置 命 令 测 试 、 循 环 配 置 测 试 、 修 复 测 试 。v 安 全 性 测 试检 验 在 系 统 中 已 经 存 在 的 系 统 安 全 性 、 保 密 性 措施 是 否 发 挥 作 用 ， 有 无 漏 洞 。v 可 使 用 性 测 试从 使 用 的 合 理 性 和 方 便 性 等 角 度 对 软 件 系 统 进 行检 查 ， 发 现 人 为 因 素 或 使 用 上 的 问 题 。 系 统 测 试v 可 支 持

17、 性 测 试验 证 系 统 的 支 持 策 略 对 于 公 司 与 用 户 方 面 是 否 切 实可 行 。v 安 装 测 试对 系 统 安 装 进 行 测 试 ， 找 出 在 安 装 过 程 中 出 现 的 错误 。系 统 的 每 一 部 分 是 否 都 齐 全 ；所 有 文 件 是 否 都 已 产 生 并 确 有 所 需 要 的 内 容 ；硬 件 的 配 置 是 否 合 理 ， 等 等 系 统 测 试v 兼 容 性 测 试验 证 软 件 产 品 在 不 同 版 本 之 间 的 兼 容 性 。有 两 类 基 本 的 兼 容 性 测 试 ： 向 下 兼 容 、 交 错 兼 容v 容 量 测 试

18、检 验 系 统 的 能 力 最 高 能 达 到 什 么 程 度 。对 于 信 息 检 索 系 统 ， 让 它 使 用 频 率 达 到 最 大 。在 使 系 统 的 全 部 资 源 达 到 “ 满 负 荷 ” 的 情 形 下 ， 测试 系 统 的 承 受 能 力 ， 也 称 压 力 测 试 。 v 文 档 测 试检 查 用 户 文 档 (如 用 户 手 册 )的 清 晰 性 和 精 确 性 。 软 件 开 发 与 软 件 测 试 关 系概 要 设 计说 明 书 详 细 设 计说 明 书 源 程 序代 码 单 元测 试 集 成测 试需 求 分 析说 明 书 确 认测 试 测 试 技 术v黑 箱 测

19、 试 /黑 盒 测 试v白 箱 测 试 /白 盒 测 试 黑 盒 测 试v把 测 试 对 象 看 做 一 个 黑 盒 子 ， 测 试 人 员 完 全不 考 虑 程 序 内 部 的 逻 辑 结 构 和 内 部 特 性 ， 只依 据 程 序 模 块 的 详 细 说 明 ， 检 查 程 序 的 功 能是 否 符 合 它 的 功 能 说 明 。v黑 盒 测 试 又 叫 做 功 能 测 试 或 数 据 驱 动 测 试 或基 于 规 格 说 明 的 测 试 。 黑 箱 的 穷 举 测 试用 黑 盒 测 试 发 现 程 序 中 的 错 误 ， 必 须在 所 有 可 能 的 输 入 条 件 和 输 出 条 件

20、 中 确 定测 试 数 据 ， 来 检 查 程 序 是 否 都 能 产 生 正 确的 输 出 。 黑 箱 的 穷 举 测 试举 例 ：假 设 一 个 程 序 P有 输 入 量 X和 Y及 输 出 量 Z。 在 字 长 为32位 的 计 算 机 上 运 行 。 若 X、 Y取 整 数 ， 按 黑 盒 方 法 进 行穷 举 测 试 ：可 能 采 用 的 测 试 数 据 组 ： 232 232 264 如 果 测 试 一 组 数 据 需 要 1毫 秒 ， 一 年 工 作 365 24小 时， 完 成 所 有 测 试 需 5亿 年 。 穷 举 是 不 可 能 的 ！模 块输 入 x， y 输 出 z黑

21、 盒 测 试 示 例 白 盒 测 试v 把 测 试 对 象 看 做 一 个 透 明 的 盒 子 ， 允 许 测 试人 员 利 用 程 序 内 部 的 逻 辑 结 构 及 有 关 信 息 ，设 计 或 选 择 测 试 用 例 ， 对 程 序 所 有 逻 辑 结 构进 行 测 试 。v 通 过 在 不 同 点 检 查 程 序 的 状 态 ， 确 定 实 际 的状 态 是 否 与 预 期 的 状 态 一 致 。 白 盒 测 试 又 称为 结 构 测 试 或 逻 辑 驱 动 测 试 或 基 于 程 序 的 测试 。 白 箱 的 穷 举 测 试v 对 一 个 具 有 多 重 选 择 和循 环 嵌 套 的

22、 程 序 ， 不 同的 路 径 数 目 可 能 也 是 天文 数 字 。给 出 一 个 小 程 序 的 流程 图 ， 它 包 括 了 一 个执 行 20次 的 循 环 。包 含 的 不 同 执 行 路 径数 达 5 20条 ， 对 每 一 条路 径 进 行 测 试 需 要 1毫秒一 年 工 作 365 24小 时测 试 完 需 3170年 。 入 口循 环20次 白 盒 测 试 示 例 测 试 用 例v 以 尽 可 能 少 的 数 据 发 现 尽 可 能 多 的 错 误v 一 个 测 试 用 例 就 是 为 了 测 试 某 个 目 标 （ 模 块 、功 能 、 性 能 ） 而 准 备 的 一

23、份 输 入 数 据 及 其 预 期结 果 测 试 用 例 的 设 计v 逻 辑 覆 盖 法 （ 白 盒 ）v 等 价 类 划 分 法 （ 黑 盒 ）v 边 界 值 分 析 法 （ 黑 盒 ） 逻 辑 覆 盖以 程 序 内 部 的 逻 辑 结 构 为 基 础 设 计 测试 用 例 的 技 术 ， 属 于 白 盒 测 试 。根 据 覆 盖 测 试 的 目 的 不 同 ， 分 为 ：语 句 覆 盖判 定 覆 盖条 件 覆 盖条 件 组 合 覆 盖路 径 覆 盖 逻 辑 覆 盖 举 例(A1) and (B=0)(A=2) or (X1) X=X/AX=X+1L1： aceL3： abe L2： ab

24、d L4： acd 语 句 覆 盖v 语 句 覆 盖 就 是 设 计 若 干 个 测 试 用 例 ， 运 行 被 测 程 序， 使 得 每 一 可 执 行 语 句 至 少 执 行 一 次 。在 图 例 中 ， 正 好 所 有 的 可 执 行 语 句 都 在 路 径 L1上 ， 所 以 选 择 路 径 L1设 计 测 试 用 例 ， 就 可 以 覆盖 所 有 的 可 执 行 语 句 。v 测 试 用 例 的 设 计 格 式 如 下【 输 入 的 (A, B, X)， 输 出 的 (A, B, X)】v 为 图 例 设 计 满 足 语 句 覆 盖 的 测 试 用 例 是 :【 (2, 0, 4)，

25、 (2, 0, 3)】 覆 盖 ace【 L1】 L1=12345 v 语 句 覆 盖 是 最 弱 的 逻 辑 覆 盖 准 则 13 245 判 断 覆 盖v 判 定 覆 盖 就 是 设 计 若 干 个 测 试 用 例 ， 运 行 被 测 程序 ， 使 得 程 序 中 每 个 IF判 断 语 句 的 取 真 分 支 和 取假 分 支 至 少 一 次 。v 判 定 覆 盖 又 称 为 分 支 覆 盖 。v 对 于 图 例 ， 如 果 选 择 路 径 L1和 L2， 就 可 得 满 足 要求 的 测 试 用 例 :【 (2, 0, 4)， (2, 0, 3)】 覆 盖 ace【 L1】【 (1,

26、1, 1)， (1, 1, 1)】 覆 盖 abd【 L2】L2=135 13 24 5 条 件 覆 盖v 条 件 覆 盖 就 是 设 计 若 干 个 测 试 用 例 ， 运 行 被 测 程 序 ， 使 得程 序 中 所 有 判 断 的 每 个 子 条 件 的 可 能 取 值 至 少 执 行 一 次 。v 在 图 例 中 ， 我 们 事 先 可 对 所 有 条 件 取 值 加 以 标 记 。 例 如 ：对 于 第 一 个 判 断 ：v条 件 A 1 取 真 为 ， 取 假 为条 件 B 0 取 真 为 ， 取 假 为对 于 第 二 个 判 断 ：v条 件 A 2 取 真 为 ， 取 假 为条

27、件 X 1 取 真 为 ， 取 假 为T1 T1T 2 T23T T3T4T4 条 件 覆 盖测 试 用 例 覆 盖 分 支 条 件 取 值v 【 (2, 0, 4)， (2, 0, 3)】 L1(c, e) v 【 (1, 0, 1)， (1, 0, 1)】 L2(b, d) v 【 (2, 1, 1)， (2, 1, 2)】 L3(b, e)v 或v 【 (1, 0, 3)， (1, 0, 4)】 L3(b, e) v 【 (2, 1, 1)， (2, 1, 2)】 L3(b, e) T T T T1 2 3 44321 TTTTTTTT1 2 3 4TT TT1 2 3 4TTTT1 2

28、 3 4 条 件 组 合 覆 盖v 条 件 组 合 覆 盖 就 是 设 计 足 够 的 测 试 用 例 ， 运 行 被 测 程 序 ， 使 得 每 个判 断 的 所 有 可 能 的 条 件 取 值 组 合 至 少 执 行 一 次 。v 记 A 1, B 0 作 A 1, B0 作 A 1, B 0 作 v A 1, B0 作 v A 2, X 1 作 A 2, X 1 作 A2, X 1 作 A2, X 1 作 T T1 2T T1 2TT1 2T T1 2TT3 4T T3 4TT3 4T T3 4 条 件 组 合 覆 盖v 测 试 用 例 覆 盖 条 件 覆 盖 组 合v 【 (2, 0,

29、 4), (2, 0, 3)】 (L1) , v 【 (2, 1, 1), (2, 1, 2)】 (L3) , v 【 (1, 0, 3), (1, 0, 4)】 (L3) , v 【 (1, 1, 1), (1, 1, 1)】 (L2) , T T T T1 2 3 4TTT T1 2 3 4TT TT 1 2 3 4T T T T1 2 3 4 路 径 覆 盖v 路 径 覆 盖 就 是 设 计 足 够 的 测 试 用 例 ， 覆 盖 程 序 中 所 有 可 能的 路 径 。 程 序 复 杂 度 是 程 序 独 立 路 径 的 上 界 。v 测 试 用 例 通 过 路 径 覆 盖 条 件v

30、【 (2, 0, 4), (2, 0, 3)】 ace (L1) v 【 (1, 1, 1), (1, 1, 1)】 abd (L2) v 【 (1, 1, 2), (1, 1, 3)】 abe (L3) v 【 (3, 0, 3), (3, 0, 1)】 acd (L4) T T T T1 2 3 4T T T T1 2 3 4T T TT1 2 3 4T T T T3 41 2 测 试 用 例 路 径 的 导 出V(G)=10-8+2=4或 V(G)=3+1=4因 此 ， 基 本 路 径 应 有 4条 。路 径 1： 414路 径 2： 46714路 径 3： 4691013414路 径

31、4： 4691213414 46 12910 13714 测 试 用 例 设 计 等 价 类 划 分v 典 型 的 黑 盒 测 试 。v 把 所 有 可 能 的 输 入 数 据 ， 即 程 序 的 输 入 域划 分 成 若 干 部 分 ， 然 后 从 每 一 部 分 中 选 取少 数 有 代 表 性 的 数 据 做 为 测 试 用 例 。v 设 计 测 试 用 例 要 经 历 划 分 等 价 类 （ 列 出 等价 类 表 ） 和 选 取 测 试 用 例 两 步 。 等 价 类 划 分v 等 价 类 是 指 某 个 输 入 域 的 子 集 合 。 在 该 子 集 合 中 ， 各个 输 入 数 据

32、 对 于 揭 露 程 序 中 的 错 误 都 是 等 效 的 。 测 试某 等 价 类 的 代 表 值 就 等 价 于 对 这 一 类 其 他 值 的 测 试 。v 等 价 类 的 划 分 有 两 种 不 同 的 情 况 ：有 效 等 价 类 ： 是 指 对 于 程 序 的 规 格 说 明 来 说 ， 是 合理 的 ， 有 意 义 的 输 入 数 据 构 成 的 集 合 。无 效 等 价 类 ： 是 指 对 于 程 序 的 规 格 说 明 来 说 ， 是 不合 理 的 ， 无 意 义 的 输 入 数 据 构 成 的 集 合 。v 设 计 测 试 用 例 时 ， 要 同 时 考 虑 有 效 等

33、价 类 和 无 效 等 价类 的 设 计 。v 不 同 类 型 的 数 据 ， 划 分 等 价 类 不 同 如 何 划 分 等 价 类v （ 1） 如 果 输 入 条 件 规 定 了 取 值 范 围 ， 或 值 的 个 数 ， 则 可以 确 立 一 个 有 效 等 价 类 和 两 个 无 效 等 价 类 。例 如 ， 在 程 序 的 规 格 说 明 中 ， 对 输 入 条 件 有 一 句 话 ：“ 数 量 可 以 从 1到 999”则 有 效 等 价 类 是 “ 1数 量 999”两 个 无 效 等 价 类 是 “ 数 量 1”或 “ 数 量 999”。v 在 数 轴 上 表 示 成 : 如

34、何 划 分 等 价 类v （ 2） 如 果 输 入 条 件 规 定 了 输 入 值 的 集 合 ， 或 者 是 规 定了 “ 必 须 如 何 ” 的 条 件 ， 这 时 可 确 立 一 个 有 效 等 价 类和 一 个 无 效 等 价 类 。例 如 ， 在 C语 言 中 对 变 量 标 识 符 规 定 为 “ 以 字 母 打头 的 串 ” 。 那 么 所 有 以 字 母 打 头 的 构 成 有 效 等价 类 ， 而 不 在 此 集 合 内 （ 不 以 字 母 打 头 ） 的 归 于 无效 等 价 类 。 v （ 3） 如 果 输 入 条 件 是 一 个 布 尔 量 ， 则 可 以 确 定 一

35、个 有效 等 价 类 和 一 个 无 效 等 价 类 。 如 何 划 分 等 价 类v （ 4） 如 果 规 定 了 输 入 数 据 的 一 组 值 ， 而 且 程 序 要对 每 个 输 入 值 分 别 进 行 处 理 。 这 时 可 为 每 一 个 输 入值 确 立 一 个 有 效 等 价 类 ， 此 外 针 对 这 组 值 确 立 一 个无 效 等 价 类 ， 它 是 所 有 不 允 许 的 输 入 值 的 集 合 。例 如 ： 在 教 师 上 岗 方 案 中 规 定 对 教 授 、 副 教 授、 讲 师 和 助 教 分 别 计 算 分 数 ， 做 相 应 的 处 理 。因 此 可 以 确

36、 定 4个 有 效 等 价 类 为 教 授 、 副 教 授 、讲 师 和 助 教 ， 一 个 无 效 等 价 类 ， 它 是 所 有 不 符合 以 上 身 分 的 人 员 的 输 入 值 的 集 合 。 如 何 划 分 等 价 类v （ 5） 如 果 规 定 了 输 入 数 据 必 须 遵 守 的 规 则 ， 则 可 以 确 立一 个 有 效 等 价 类 （ 符 合 规 则 ） 和 若 干 个 无 效 等 价 类 （ 从 不同 角 度 违 反 规 则 ） 。例 如 ， 变 量 名 “ 所 有 以 字 母 或 数 字 打 头 的 ， 不 包 含等 字 符 的 非 保 留 字 ” 等 。v 在 明

37、 确 规 则 的 几 个 条 件 后 ， 确 立 每 个 条 件 的 有 效 等 价 类 和无 效 等 价 类 ， 建 立 等 价 类 表 。 最 后 ， 确 定 测 试 用 例 。 如 何 划 分 等 价 类在 某 一 种 语 言 版 本 中 规 定 ： “ 标 识 符 是 由 字 母 开 头， 后 跟 字 母 或 数 字 的 任 意 组 合 构 成 。 有 效 字 符 数 为8个 ， 最 大 字 符 数 为 80个 。 ”并 且 规 定 ： “ 标 识 符 必 须 先 说 明 ， 再 使 用 。 ” “ 在 同 一 说 明 语 句 中 ， 标 识 符 至 少 必 须 有 一 个 。 ” 测

38、 试 用 例 设 计 边 界 值 分 析v 黑 盒 测 试 方 法 ， 是 对 等 价 类 划 分 方 法 的 补 充 。v 从 长 期 的 测 试 工 作 经 验 得 知 ， 大 量 的 错 误 是 发 生在 输 入 或 输 出 范 围 的 边 界 上 ， 而 不 是 在 输 入 范 围的 内 部 。 因 此 针 对 各 种 边 界 情 况 设 计 测 试 用 例 ，可 以 查 出 更 多 的 错 误 。v 如 我 们 在 操 作 链 表 指 针 时 ， 出 现 错 误 的 往 往 是 在边 界 值 的 情 况 下 （ 如 在 表 头 或 表 尾 进 行 插 入 或 删除 ） ， 判 定 条

39、 件 、 循 环 条 件 等 也 常 常 是 在 正 常 值左 右 出 现 问 题 。 边 界 值 分 析v 边 界 ： 相 当 于 输 入 等 价 类 和 输 出 等 价 类 而 言 ， 等 于 其边 界 值 及 稍 高 /低 于 其 边 界 值 的 一 些 特 定 情 况 。v 使 用 边 界 值 分 析 方 法 设 计 测 试 用 例 ， 首 先 应 确 定 边 界情 况 。 应 当 选 取 正 好 等 于 ， 刚 刚 大 于 ， 或 刚 刚 小 于 边界 的 值 做 为 测 试 数 据 ， 而 不 是 选 取 等 价 类 中 的 典 型 值或 任 意 值 做 为 测 试 数 据 。比

40、如 ， 在 计 算 个 人 所 得 税 时 ， 全 月 应 纳 税 所 得 额 超过 1000元 至 2000元 的 部 分 税 率 为 5%。 那 么 在 测 试时 ， 可 以 选 择 的 测 试 用 例 是 ：x=999 x=1000 x=1001 x=2000 x=2001 边 界 值 分 析v 对 于 数 据 库 应 用 系 统 ， 很 多 的 功 能 是 与 记 录 处 理 有关 ， 我 们 可 以 扩 大 边 界 值 的 概 念 ， 根 据 以 下 提 示 选择 测 试 用 例 ：新 记 录 （ 第 一 条 记 录 前 ， 最 后 ， 记 录 的 项 目 不全 ）处 理 业 务 （

41、 第 一 条 、 最 后 一 条 、 相 邻 、 超 常 规、 错 误 范 围 、 记 录 不 存 在 ）记 录 删 除 （ 第 一 条 、 最 后 一 条 、 指 定 范 围 、 当前 记 录 等 ）查 看 （ 第 一 页 /条 、 指 定 页 /条 、 最 后 一 页 /条 ） 测 试 原 则v 应 当 把 “ 尽 早 地 和 不 断 地 进 行 软 件 测 试 ” 作 为 软 件 开 发者 的 座 右 铭 。v 测 试 用 例 应 由 测 试 输 入 数 据 和 对 应 的 预 期 输 出 结 果 这 两部 分 组 成 。 程 序 员 应 避 免 检 查 自 己 的 程 序 。 （ 结

42、对 编 程）v 在 设 计 测 试 用 例 时 ， 应 包 括 合 理 的 输 入 条 件 和 不 合 理 的输 入 条 件 。v 充 分 注 意 测 试 中 的 群 集 现 象 。 经 验 表 明 ： 测 试 后 程 序 中残 存 的 错 误 数 目 与 该 程 序 中 已 发 现 的 错 误 数 目 成 正 比v 严 格 执 行 测 试 计 划 ， 排 除 测 试 的 随 意 性 。 v 应 当 对 每 一 个 测 试 结 果 做 全 面 检 查 和 分 析 。v 妥 善 保 存 测 试 计 划 、 测 试 用 例 、 出 错 统 计 和 最 终 分 析 报告 ， 为 维 护 提 供 方

43、便 。 何 时 引 入 测 试v 在 系 统 生 命 周 期 ， 越 早 引 入 测 试 越 好 ：计 划 阶 段 ： 评 估 测 试 可 行 性 分 析 。分 析 阶 段 ： 需 求 走 查 ， 制 定 确 认 测 试 计 划 、 设 计功 能 测 试 用 例 。设 计 阶 段 ： 确 认 设 计 符 合 需 求 ， 制 定 单 元 测 试 和集 成 测 试 计 划 、 设 计 单 元 测 试 和 集 成 测 试 用 例 。实 施 阶 段 ： 进 行 单 元 测 试 和 集 成 测 试 。 最 后 进 行确 认 测 试 和 系 统 测 试 。 系 统 试 运 行 与 维 护系 统 试 运 行

44、 ： 概 念 ： 是 指 将 通 过 测 试 的 新 系 统 交 给 用 户 试 用 ， 经 过 一 段 时 间 的 运行 和 审 查 后 ， 认 为 性 能 可 靠 ， 各 项 指 标 符 合 要 求 ， 且 方 便 、实 用 ， 再 正 式 以 新 系 统 来 取 代 原 系 统 。 任 务 ： （ 1） 对 系 统 进 行 初 始 化 、 输 入 各 原 始 数 据 记 录 。 （ 2） 记 录 系 统 运 行 的 数 据 和 状 况 。 （ 3） 核 对 新 系 统 输 出 和 老 系 统 输 出 的 结 果 。 （ 4） 对 实 际 系 统 的 输 入 方 式 进 行 考 察 。 （

45、 5） 对 系 统 实 际 运 行 、 响 应 速 度 。 （ 6） 试 运 行 阶 段 还 应 当 对 用 户 做 进 一 步 的 培 训 。 系 统 维 护 概 念 ： 是 为 了 适 应 系 统 内 部 因 素 和 外 部 环 境 的 变 化 ， 排 除 运 行 故障 ， 不 断 满 足 新 的 要 求 ， 保 证 系 统 正 常 工 作 所 采 取 的 一 切 活动 。 目 的 ： （ 1） 保 障 新 系 统 能 正 常 工 作 （ 2） 优 化 新 系 统 的 功 能 （ 3） 适 应 系 统 支 持 环 境 的 变 化 内 容 ： （ 1） 程 序 的 维 护 （ 2） 数 据

46、文 件 的 维 护 （ 3） 代 码 的 维 护 （ 4） 硬 件 的 维 护 新 、 旧 系 统 的 转 换指 新 系 统 与 旧 系 统 的 交 替 ， 旧 系 统 停 止 使 用 ，新 系 统 正 式 投 入 运 行 。 这 是 一 个 过 程 ， 而 不 是 一 个突 发 的 事 件 ， 要 尽 可 能 平 稳 地 过 渡 ， 使 新 系 统 逐 步地 、 安 全 地 取 代 旧 系 统 的 功 能 。 转 换 方 式 ： （ 1） 直 接 转 换 （ 2） 平 行 运 行 （ 3） 逐 步 转 换 (分 阶 段 转 换 ) 旧 系 统新 系 统时 间 轴平 行 转 换 旧 系 统 新 系 统时 间 轴直 接 转 换 时 间 轴分 阶 段 转 换旧 系 统 新 系 统 系 统 验 收 与 评 价系 统 验 收 内 容 ： （ 1） 系 统 的 可 靠 性 （ 2） 系 统 的 效 率 （ 3） 系 统 的 工 作 质 量 （ 4） 系 统 的 可 维 护 性 （ 5） 系 统 的 适 应 性 和 安 全 性 （ 6） 系 统 文 档 资 料 准 确 、 完 整 性 系 统 评 价指 标 ： （ 1） 预 定 的 系 统 开 发 目 标 的 完 成 情 况 （ 2） 系 统 运 行 实 用 性 评 价 （ 3） 设 备 运 行 效 率 的 评 价