系统架构设计师案例分析试题加答案(三).docx

1、 系统架构设计师 http:/ 统 架 构 设 计 师 案 例 分 析 试 题 加 答 案 （ 三 ）系 统 架 构 设 计 师 考 试 属 于 软 考 中 的 一 项 高 级 资 格 考 试 ， 考 试 分 综合 知 识 、 案 例 分 析 和 论 文 3 个 科 目 。 下 午 的 案 例 分 析 是 考 试 的 一 大 难点 ， 希 赛 小 编 为 大 家 整 理 了 几 道 系 统 架 构 设 计 师 案 例 分 析 试 题 ， 希 望 对大 家 有 所 帮 助 。试 题 三阅 读 以 下 信 息 系 统 可 靠 性 问 题 的 说 明 ， 回 答 问 题 。某 软 件 公 司 开 发

2、 一 项 基 于 数 据 流 的 软 件 ， 其 系 统 的 主 要 功 能 是 对 输入 数 据 进 行 多 次 分 析 、 处 理 和 加 工 ， 生 成 需 要 的 输 出 数 据 。 需 求 方 对 该系 统 的 软 件 可 靠 性 要 求 很 高 ， 要 求 系 统 能 够 长 时 间 无 故 障 运 行 。 该 公 司将 该 系 统 设 计 交 给 王 工 负 责 。 王 工 给 出 该 系 统 的 模 块 示 意 图 如 图 所 示 。王 工 解 释 ： 只 要 各 个 模 块 的 可 靠 度 足 够 高 ， 失 效 率 足 够 低 ， 则 整 个 软 件系 统 的 可 靠 性

3、是 有 保 证 的 。李 工 对 王 工 的 方 案 提 出 了 异 议 。 李 工 认 为 王 工 的 说 法 有 两 个 问 题 ：第 一 ， 即 使 每 个 模 块 的 可 靠 度 足 够 高 ， 但 是 整 个 软 件 系 统 模 块 之 间 全 部系统架构设计师 http:/ 用 串 联 ， 则 整 个 软 件 系 统 的 可 靠 度 明 显 下 降 。 假 设 各 个 模 块 的 可 靠 度均 为 0.99 则 整 个 软 件 系 统 的 可 靠 度 为 0.9940.96： 第 二 ， 软 件 系统 模 块 全 部 采 用 串 联 结 构 时 ， 一 旦 某 个 模 块 失 效

4、， 则 意 味 着 整 个 软 件 系统 失 效 。 李 工 认 为 ， 应 该 在 软 件 系 统 中 采 用 冗 余 技 术 中 的 动 态 冗 余 或 者软 件 容 错 的 N 版 本 程 序 设 计 技 术 ， 对 容 易 失 效 或 者 非 常 重 要 的 模 块 进行 冗 余 设 计 ， 将 模 块 之 间 的 串 联 结 构 部 分 变 为 并 联 结 构 ， 来 提 高 整 个 软件 系 统 的 可 靠 性 。 同 时 ， 李 工 给 出 了 采 用 动 态 冗 余 技 术 后 的 软 件 系 统 模块 示 意 图 ， 如 图 所 示 。刘 工 建 议 ， 李 工 方 案 中

5、M1 和 M4 模 块 没 有 采 用 容 错 设 计 ， 但M1 和 M4 发 生 故 障 有 可 能 导 致 严 重 后 果 。因 此 ， 可 以 在 M1 和 M4 模 块 设 计 上 采 用 检 错 技 术 ， 在 软 件 出 现故 障 后 能 及 时 发 现 并 报 警 ， 提 醒 维 护 人 员 进 行 处 理 。注 ： 假 设 各 个 模 块 的 可 靠 度 均 为 0.99。1、 在 系 统 可 靠 性 中 ， 可 靠 度 和 失 效 率 是 两 个 非 常 关 键 的 指 标 ， 请 分系统架构设计师 http:/ 解 释 其 含 义 。2、 请 解 释 李 工 提 出 的

6、动 态 冗 余 和 N 版 本 程 序 设 计 技 术 ， 给 出 图中 模 块 M2 采 用 图 动 态 冗 余 技 术 后 的 可 靠 度 。请 给 出 采 用 李 工 设 计 方 案 后 整 个 系 统 可 靠 度 的 计 算 方 法 ， 并 计 算 结果 。3、 请 给 出 检 错 技 术 的 优 缺 点 ， 并 说 明 检 测 技 术 常 见 的 实 现 方 式 和 处理 方 式 。参 考 答 案1、 可 靠 度 就 是 系 统 在 规 定 的 条 件 下 、 规 定 的 时 间 内 不 发 生 失 效 的 概率 。失 效 率 又 称 风 险 函 数 ， 也 可 以 称 为 条 件

7、失 效 强 度 ， 是 指 运 行 至 此 刻系 统 未 出 现 失 效 的 情 况 下 ， 单 位 时 间 系 统 出 现 失 效 的 概 率 。解 析 本 题 考 查 信 息 系 统 中 可 靠 性 的 设 计 ， 是 比 较 传 统 的 题 目 ， 要求 考 生 细 心 分 析 题 目 中 所 描 述 的 内 容 。本 问 题 考 查 信 息 系 统 可 靠 性 的 两 个 基 本 指 标 ： 可 靠 度 和 失 效 率 。 可靠 性 是 指 产 品 在 规 定 的 条 件 下 和 规 定 的 时 间 内 完 成 规 定 功 能 的 能 力 。 考虑 到 软 件 本 身 的 复 杂 性

8、， 软 件 可 靠 性 的 定 义 是 ： 在 规 定 的 条 件 下 ， 在 规系统架构设计师 http:/ 的 时 间 内 ， 软 件 不 引 起 系 统 失 效 的 概 率 。在 软 件 可 靠 性 的 定 量 描 述 中 ， 软 件 可 靠 性 可 以 基 于 使 用 条 件 、 规 定时 间 、 系 统 输 入 、 系 统 使 用 和 软 件 缺 陷 等 变 量 构 建 数 学 表 达 式 ， 来 对 软件 可 靠 性 进 行 定 量 描 述 。 相 关 概 念 有 规 定 时 间 、 失 效 概 率 、 可 靠 度 、 失效 强 度 、 失 效 率 、 平 均 无 失 效 时 间

9、等 。 其 中 可 靠 度 是 表 示 可 靠 性 最 直 接的 方 式 ， 是 软 件 系 统 在 规 定 的 条 件 下 、 规 定 的 实 践 内 不 发 生 失 效 的 概 率 。而 失 效 率 又 称 风 险 函 数 ， 也 可 以 称 为 条 件 失 效 强 度 ， 是 指 运 行 至 此 刻 系统 未 出 现 失 效 的 情 况 下 ， 单 位 时 间 系 统 出 现 失 效 的 概 率 。2、 动 态 冗 余 又 称 为 主 动 冗 余 ， 它 是 通 过 故 障 检 测 、 故 障 定 位 及 故 障恢 复 等 手 段 达 到 容 错 的 目 的 。 其 主 要 方 式 是

10、多 重 模 块 待 机 储 备 ， 当 系 统检 测 到 某 工 作 模 块 出 现 错 误 时 ， 就 用 一 个 备 用 的 模 块 来 替 代 它 并 重 新 运行 。 各 备 用 模 块 在 其 待 机 时 ， 可 与 主 模 块 一 样 工 作 ， 也 可 以 不 工 作 。 前者 叫 热 备 份 系 统 (双 重 系 统 )， 后 者 叫 冷 备 份 系 统 (双 工 系 统 、 双 份 系统 )。 N 版 本 程 序 设 计 是 一 种 静 态 的 故 障 屏 蔽 技 术 ， 其 设 计 思 想 是 用 N个 具 有 相 同 功 能 的 程 序 同 时 执 行 一 项 计 算 ，

11、 结 果 通 过 多 数 表 决 来 选 择 。其 中 N 个 版 本 的 程 序 必 须 由 不 同 的 人 独 立 设 计 ， 使 用 不 同 的 方 法 、 设 计语 言 、 开 发 环 境 和 工 具 来 实 现 ， 目 的 是 减 少 N 个 版 本 的 程 序 在 表 决点 上 相 关 错 误 的 概 率 。M2 采 用 动 态 冗 余 后 的 可 靠 度 为 ： R=1-(1-0.99)30.999999李 工 的 方 案 同 时 采 用 了 串 联 和 并 联 方 式 ， 其 计 算 方 法 为 首 先 计 算 出 中 间系统架构设计师 http:/ 和 M3 两 个 并 联

12、系 统 的 可 靠 度 ， 再 按 照 串 联 系 统 的 计 算 方 法 计 算 出整 个 系 统 的 可 靠 度 。 R=0.990.9999990.9999990.990.98 本问 题 考 查 在 常 规 的 软 件 设 计 中 ， 应 用 各 种 方 法 和 技 术 ， 使 程 序 设 计 在 兼顾 用 户 功 能 和 性 能 需 求 的 同 时 ， 全 面 满 足 软 件 的 可 靠 性 要 求 。 常 见 的 软件 可 靠 性 技 术 主 要 有 容 错 设 计 、 检 错 设 计 和 降 低 复 杂 度 设 汁 等 技 术 。 其中 ， 容 错 设 计 技 术 主 要 有 冗

13、余 设 计 、 恢 复 块 设 计 和 N 版 本 程 序 设 计三 种 方 法 。 冗 余 设 计 冗 余 是 指 在 正 常 系 统 运 行 所 需 的 基 础 上 加 上 一 定数 量 的 资 源 ， 包 括 信 息 、 时 间 、 硬 件 和 软 件 。 冗 余 是 容 错 技 术 的 基 础 ，通 过 冗 余 资 源 的 加 入 ， 可 以 使 系 统 的 可 靠 性 得 到 较 大 的 提 高 。 主 要 的 冗余 技 术 有 结 构 冗 余 (硬 件 冗 余 和 软 件 冗 余 )、 信 息 冗 余 、 时 间 冗 余 和 冗余 附 加 四 种 。 结 构 冗 余 是 常 用 的

14、 冗 余 技 术 ， 按 其 工 作 方 式 ， 可 分 为 静 态冗 余 、 动 态 冗 余 和 混 合 冗 余 三 种 。 具 体 阐 述 如 下 。静 态 冗 余 。 静 态 冗 余 又 称 为 屏 蔽 冗 余 或 被 动 冗 余 ， 常 用 的 有 三 模 冗余 和 多 模 冗 余 。 静 态 冗 余 通 过 表 决 和 比 较 来 屏 蔽 系 统 中 出 现 的 错 误 。 例如 ， 三 模 冗 余 是 对 三 个 功 能 相 同 ， 但 由 不 同 的 人 采 用 不 同 的 方 法 开 发 出的 模 块 的 运 行 结 果 进 行 表 决 ， 以 多 数 结 果 作 为 系 统

15、的 最 终 结 果 。 即 如 果模 块 中 有 一 个 出 错 ， 这 个 错 误 能 够 被 其 他 模 块 的 正 确 结 果 “屏 蔽 ”。由 于 无 须 对 错 误 进 行 特 别 的 测 试 ， 也 不 必 进 行 模 块 的 切 换 就 能 实 现 容 错 ，故 称 为 静 态 容 错 。动 态 冗 余 。 动 态 冗 余 又 称 为 主 动 冗 余 ， 它 是 通 过 故 障 检 测 、 故 障 定位 及 故 障 恢 复 等 手 段 达 到 容 错 的 目 的 。 其 主 要 方 式 是 多 重 模 块 待 机 储 备 ，系统架构设计师 http:/ 系 统 检 测 到 某 工

16、 作 模 块 出 现 错 误 时 ， 就 用 一 个 备 用 的 模 块 来 顶 替 它 并重 新 运 行 。 各 备 用 模 块 在 其 待 机 时 ， 可 与 主 模 块 一 样 工 作 ， 也 可 不 工 作 。前 者 叫 做 热 备 份 系 统 (双 重 系 统 )， 后 者 叫 做 冷 备 份 系 统 (双 工 系 统 、双 份 系 统 )。 在 热 备 份 系 统 中 ， 两 套 系 统 同 时 、 同 步 运 行 ， 当 联 机 子 系统 检 测 到 错 误 时 ， 退 出 服 务 进 行 检 修 ， 而 由 热 备 份 子 系 统 接 替 ：作 ， 备 用 模 块 在 待 机

17、过 程 中 其 失 效 率 为 0； 处 于 冷 备 份 的 子 系 统 平时 停 机 或 者 运 行 与 联 机 系 统 无 关 的 运 算 ， 当 联 机 子 系 统 产 生 故 障 时 ， 人工 或 自 动 进 行 切 换 ， 使 冷 备 份 系 统 成 为 联 机 系 统 。 在 运 行 冷 备 份 时 ， 不能 保 证 从 系 统 断 点 处 精 确 地 连 续 工 作 ， 因 为 备 份 机 不 能 取 得 原 来 的 机 器上 当 前 运 行 的 全 部 数 据 。混 合 冗 余 。 混 合 冗 余 技 术 是 将 静 态 冗 余 和 动 态 冗 余 结 合 起 来 ， 且 取两

18、 者 之 长 处 。 它 先 使 用 静 态 冗 余 中 的 故 障 屏 蔽 技 术 ， 使 系 统 免 受 某 些 可以 被 屏 蔽 的 故 障 的 影 响 。 而 对 那 些 无 法 屏 蔽 的 故 障 则 采 用 主 动 冗 余 中 的故 障 检 测 、 故 障 定 位 和 故 障 恢 复 等 技 术 ， 并 且 对 系 统 可 以 做 重 新 配 置 。因 此 ， 混 合 冗 余 的 效 果 要 大 大 优 于 静 态 冗 余 和 动 态 冗 余 。 然 而 ， 由 于 混合 冗 余 既 要 有 静 态 冗 余 的 屏 蔽 功 能 ， 又 要 有 动 态 冗 余 的 各 种 检 测 和

19、 定 位等 功 能 ， 它 的 附 加 硬 件 的 开 销 是 相 当 大 的 ， 所 以 混 合 冗 余 的 成 本 很 高 ，仅 在 对 可 靠 性 要 求 极 高 的 场 合 中 采 用 。信 息 冗 余 。 信 息 冗 余 是 在 实 现 正 常 功 能 所 需 要 的 信 息 外 ， 再 添 加 一些 信 息 ， 以 保 证 运 行 结 果 正 确 性 的 方 法 。 例 如 ， 检 错 码 和 纠 错 码 就 是 信息 冗 余 的 例 子 。 这 种 冗 余 信 息 的 添 加 方 法 是 按 照 一 组 预 定 的 规 则 进 行 的 。系统架构设计师 http:/ 合 添 加

20、规 则 而 形 成 的 带 有 冗 余 信 息 的 字 称 为 码 字 ， 而 那 些 虽 带 有 冗 余信 息 但 不 符 合 添 加 规 则 的 字 则 称 为 非 码 字 。 当 系 统 出 现 故 障 时 ， 可 能 会将 码 字 变 成 非 码 字 ， 于 是 在 译 码 过 程 中 会 将 引 起 非 码 字 的 故 障 检 测 出 来 ，这 就 是 检 错 码 的 基 本 思 想 。 纠 错 码 则 不 仅 可 以 将 错 误 检 测 出 来 ， 还 能 将由 故 障 引 起 的 非 码 字 纠 正 成 正 确 的 码 字 。由 此 可 见 ， 信 息 冗 余 的 主 要 任 务

21、 在 于 研 究 出 一 套 理 想 的 编 码 和 译 码技 术 来 提 高 信 息 冗 余 的 效 率 。 编 码 技 术 中 应 用 最 广 泛 的 是 奇 偶 校 验 码 、海 明 校 验 码 和 循 环 冗 余 校 验 码 。时 间 冗 余 。 时 间 冗 余 是 以 时 间 (即 降 低 系 统 运 行 速 度 )为 代 价 以减 少 硬 件 冗 余 和 信 息 冗 余 的 开 销 来 达 到 提 高 可 靠 性 的 目 的 。 在 某 些 实 际应 用 中 ， 硬 件 冗 余 和 信 息 冗 余 的 成 本 、 体 积 、 功 耗 、 重 量 等 开 销 可 能 过高 ， 而 时

22、 间 并 不 是 太 重 要 的 因 素 时 ， 可 以 使 用 时 间 冗 余 。 时 间 冗 余 的 基本 概 念 是 重 复 多 次 进 行 相 同 的 计 算 ， 或 称 为 重 复 执 行 (复 执 )， 以 达到 故 障 检 测 的 目 的 。 实 现 时 间 冗 余 的 方 法 很 多 ， 但 是 其 基 本 思 想 不 外 乎是 对 相 同 的 计 算 任 务 重 复 执 行 多 次 ， 然 后 将 每 次 的 运 行 结 果 存 放 起 来 再进 行 比 较 。 若 每 次 的 结 果 相 同 ， 则 认 为 无 故 障 ； 若 存 在 不 同 的 结 果 ， 则说 明 检

23、测 到 了 故 障 。 不 过 ， 这 种 方 法 往 往 只 能 检 测 瞬 时 性 故 障 而 不 宜 检测 永 久 性 的 故 障 。冗 余 附 加 。 冗 余 附 加 是 指 为 实 现 上 述 冗 余 技 术 所 需 的 资 源 和 技 术 ，包 括 程 序 、 指 令 、 数 据 ， 以 及 存 放 和 调 用 它 们 的 空 间 等 。 动 态 冗 余 又 称系统架构设计师 http:/ 主 动 冗 余 ， 它 是 通 过 故 障 检 测 、 故 障 定 位 及 故 障 恢 复 等 手 段 达 到 容 错的 目 的 。 其 主 要 方 式 是 多 重 模 块 待 机 储 备 ，

24、当 系 统 检 测 到 某 工 作 模 块 出现 错 误 时 ， 就 用 一 个 备 用 的 模 块 来 顶 替 它 并 重 新 运 行 。 各 备 用 模 块 在 其待 机 时 ， 可 与 主 模 块 一 样 工 作 ， 也 可 不 工 作 。 前 者 叫 做 热 备 份 系 统(双 重 系 统 )， 后 者 叫 做 冷 备 份 系 统 (双 工 系 统 、 双 份 系 统 )。 在 热 备 份系 统 中 ， 两 套 系 统 同 时 、 同 步 运 行 ， 当 联 机 子 系 统 检 测 到 错 误 时 ， 退 出服 务 进 行 检 修 ， 而 由 热 备 份 子 系 统 接 替 工 作 ，

25、 备 用 模 块 在 待 机 过 程 中 其失 效 率 为 0； 处 于 冷 备 份 的 子 系 统 平 时 停 机 或 者 运 行 与 联 机 系 统 无 关 的运 算 ， 当 联 机 子 系 统 产 生 故 障 时 ， 人 工 或 自 动 进 行 切 换 ， 使 冷 备 份 系 统成 为 联 机 系 统 。 在 运 行 冷 备 份 时 ， 不 能 保 证 从 系 统 断 点 处 精 确 地 连 续 工作 ， 因 为 备 份 机 不 能 取 得 原 来 的 机 器 上 当 前 运 行 的 全 部 数 据 。 恢 复 块 设 计 恢 复 块 设 计 是 一 种 动 态 的 故 障 屏 蔽 技

26、术 ， 采 用 后 向 恢复 策 略 。 恢 复 块 设 计 提 供 具 有 相 同 功 能 的 主 块 和 几 个 后 备 块 ， 一 个 块 就是 一 个 执 行 完 整 的 程 序 段 ， 主 块 首 先 投 入 运 行 ， 结 束 后 进 行 验 证 测 试 ，如 果 没 有 通 过 验 证 测 试 ， 系 统 经 现 场 恢 复 后 由 后 备 块 l 运 行 。 后 备块 1 运 行 结 束 后 也 进 行 验 证 测 试 ， 如 果 没 有 通 过 验 证 测 试 ， 系 统 经 现 场恢 复 后 由 后 备 块 2 运 行 。 重 复 这 一 过 程 ， 可 以 重 复 到 耗

27、 尽 所 有 的 后 备块 ， 或 者 某 个 程 序 故 障 行 为 超 出 了 预 料 ， 从 而 导 致 不 可 恢 复 的 后 果 。 在程 序 设 计 时 ， 应 保 证 实 现 主 块 和 后 备 块 之 间 的 独 立 性 ， 避 免 相 关 错 误 的产 生 ， 使 主 块 和 后 备 块 之 间 的 共 性 错 误 降 到 最 低 程 度 。恢 复 块 设 计 依 赖 于 一 个 裁 决 者 ， 那 就 是 验 证 测 试 (可 接 受 测 试 )，系统架构设计师 http:/ 它 来 决 定 同 一 算 法 不 同 实 现 的 计 算 结 果 是 否 正 确 。 带 有 恢

28、 复 块 的 系 统被 分 成 故 障 可 恢 复 的 块 。 整 个 系 统 就 由 这 些 容 错 块 组 成 。 每 一 块 至 少 包含 一 个 一 级 模 块 、 一 个 二 级 模 块 和 一 个 例 外 处 理 模 块 ， 以 及 一 个 验 证 测试 模 块 。 验 证 测 试 模 块 完 成 故 障 检 测 功 能 ， 它 本 身 的 故 障 对 恢 复 块 方 法而 言 是 共 性 的 ， 因 此 ， 必 须 确 保 它 的 正 确 性 。 同 时 ， 验 证 测 试 模 块 是 为了 确 定 模 块 计 算 结 果 的 正 确 性 ， 它 必 须 尽 可 能 的 简 单

29、。 N 版 本 程序 设 计 N 版 本 程 序 设 计 是 一 种 静 态 的 故 障 屏 蔽 技 术 ， 其 设 计 思 想 是 用N 个 具 有 相 同 功 能 的 程 序 同 时 执 行 一 项 计 算 ， 结 果 通 过 多 数 表 决 来 选 择 。其 中 N 个 版 本 的 程 序 必 须 由 不 同 的 人 独 立 设 计 ， 使 用 不 同 的 方 法 、 设 计语 言 、 开 发 环 境 和 工 具 来 实 现 ， 目 的 是 减 少 N 个 版 本 的 程 序 在 表 决点 上 相 关 错 误 的 概 率 。 可 靠 性 计 算 计 算 机 系 统 是 一 个 复 杂 系

30、 统 ， 影响 其 可 靠 性 的 因 素 很 多 ， 很 难 直 接 进 行 可 靠 性 分 析 ， 往 往 需 要 建 立 对 应的 数 学 模 型 。 组 合 模 型 是 分 析 系 统 可 靠 性 的 一 种 常 用 方 法 。 组 合 模 型 下可 靠 度 的 计 算 方 法 如 下 。 串 联 系 统 ： R=R1R2Rn 并 联 系 统 ：R=1-(1-R1)(1-R2)(1-Rn)串 联 和 并 联 混 合 系 统 则 根 据 实 际 情况 ， 灵 活 运 用 上 述 两 个 计 算 公 式 。 M2 采 用 动 态 冗 余 后 ， 成 为 并 联 系统 ， 则 其 可 靠 度

31、 为 ： R=1-(1-0.99)3=0.999999。 李 工 给 出 的 方 案 同时 采 用 了 串 联 和 并 联 方 式 ， 其 计 算 方 法 为 首 先 计 算 出 中 间 M2 和M3 两 个 并 联 系 统 的 可 靠 度 ， 再 按 照 串 联 系 统 的 计 算 方 法 计 算 出 整 个 系统 的 可 靠 度 。 R=0.990.9999990.9999990.99=0.983、 检 错 技 术 实 现 的 代 价 一 股 低 于 容 错 技 术 和 冗 余 技 术 ， 但 有 一 个 明系统架构设计师 http:/ 的 缺 点 ， 就 是 不 能 自 动 解 决 故

32、障 ， 出 现 故 障 后 如 果 不 进 行 人 工 干 预 ，将 最 终 导 致 软 件 系 统 不 能 正 常 运 行 。 检 错 技 术 常 见 的 实 现 方 式 ： 最 直 接的 一 种 实 现 方 式 是 判 断 返 回 结 果 ， 如 果 返 回 结 果 超 出 正 常 范 围 ， 则 进 行异 常 处 理 ； 计 算 运 行 时 间 也 是 一 种 常 用 技 术 ， 如 果 某 个 模 块 或 函 数 运 行时 间 超 过 预 期 时 间 ， 可 以 判 断 出 现 故 障 ； 还 有 置 状 态 标 志 位 等 多 种 方 法 ，自 检 的 实 现 方 式 需 要 根 据

33、 实 际 情 况 来 选 用 。 检 错 技 术 的 处 理 方 式 ， 大 多数 都 采 用 “查 处 故 障 -停 止 软 件 运 行 -报 警 ”的 处 理 方 式 。 但 根 据 故 障的 不 同 情 况 ， 也 有 采 用 不 停 止 或 部 分 停 止 软 件 系 统 运 行 的 情 况 ， 这 一 般由 故 障 是 否 需 要 实 时 处 理 来 决 定 。 本 问 题 考 查 软 件 可 靠 性 设 计 中 的 检 错技 术 。 检 错 技 术 常 见 的 实 现 方 式 有 很 多 种 ， 最 直 接 的 一 种 实 现 方 式 是 判断 返 回 结 果 ， 如 果 返 回

34、结 果 超 出 正 常 范 围 ， 则 进 行 异 常 处 理 ； 计 算 运 行时 间 也 是 一 种 常 用 技 术 ， 如 果 某 个 模 块 或 函 数 运 行 时 间 超 过 预 期 时 间 ，可 以 判 断 出 现 故 障 ； 还 有 置 状 态 标 志 位 等 多 种 方 法 ， 自 检 的 实 现 方 式 需要 根 据 实 际 情 况 来 选 用 。 检 错 技 术 的 处 理 方 式 也 有 多 种 ， 大 多 数 都 采 用“查 处 故 障 -停 止 软 件 运 行 -报 警 ”的 处 理 方 式 。 但 根 据 故 障 的 不 同 情况 ， 也 有 采 用 不 停 止 或 部 分 停 止 软 件 系 统 运 行 的 情 况 ， 这 一 般 由 故 障 是否 需 要 实 时 处 理 来 决 定 。 检 错 技 术 实 现 的 代 价 一 般 低 于 容 错 技 术 和 冗 余技 术 ， 但 有 一 个 明 显 的 缺 点 ， 就 是 不 能 自 动 解 决 故 障 ， 出 现 故 障 后 如 果不 进 行 人 工 干 预 ， 将 最 终 导 致 软 件 系 统 不 能 正 常 运 行 。