软件工程原理、方法及应用史济民第三版答案.pdf

软件工程-原理、方法及应用(史济民第三版)答案绪 论1 .什 么 是 软 件 危 机 ？ 为 什 么 会 产 生 软 件 危 机 ？答 ： 软 件 危 机 是 指 在 计 算 机 软 件 的 开 发 和 维 护 过 程 中 遇 到 的 一 系 列 严 重 问 题 。(1 ).软 件 维 护 费 用 急 剧 上 升 ， 直 接 威 胁 计 算 机 应 用 的 夸 大 。(2 ).软 件 生 产 技 术 进 步 缓 慢2 . 什 么 是 软 件 生 产 工 程 化 ？ 工 程 化 生 产 方 法 与 早 期 的 程 序 设 计 方 法 主 要 差 别 在 哪 里 ？答 ： 结 构 化 程 序 设 计 地 出 现 ， 使 许 多 产 业 界 认 识 认 识 到 必 须 把 软 件 生 产 从 个 人 化 方 式 改 变 为 工 程 化 。采 用 工 程 的 概 念 、 原 理 、 技 术 和 方 法 开 发 与 维 护 软 件 ， 把 经 过 时 间 考 验 而 证 明 正 确 的 管 理 技 术 和 当 前 能 够 得 到 的 最 好 的 技 术 方 法 结 合 起 来 ， 以 经 济 地 开 发 出 高 质 量 的 软 件 并 有 效 地 维 护 它 ， 这 就 是 软 件 工程 ， 同 时 这 也 是 工 程 化 生 产 方 法 。3 . 分 别 说 明 （ 1 ） 软 件 开 发 方 法 与 开 发 工 具 ； （ 2 ） 软 件 技 术 与 软 件 管 理 的 相 互 关 系 。答 ： （ 1 ） 工 具 和 方 法 ， 是 软 件 开 发 技 术 的 两 大 支 柱 ， 它 们 密 切 相 关 。 当 一 种 方 法 提 出 来 并 证 明 有 效 后 ，往 往 随 之 研 制 出 相 应 的 工 具 ， 来 帮 助 实 现 和 推 行 这 种 方 法 。 新 方 法 在 推 行 初 期 ， 总 有 人 不 愿 接 受 和 采用 。 若 将 新 方 法 融 合 于 工 具 之 中 ， 使 人 们 通 过 使 用 工 具 来 了 解 新 方 法 ， 就 能 更 快 促 进 新 方 法 的 推 广 。（ 2 ） 在 工 业 生 产 中 ， 即 使 有 先 进 的 技 术 和 设 备 ， 管 理 不 善 的 企 业 也 不 能 获 得 良 好 的 效 益 。软 件 在 生 产 中 不 能 按 质 按 时 完 成 计 划 ， 管 理 混 乱 往 往 是 其 中 的 重 要 原 因 。 所 以 对 于 一 个 理 想 的 软 件 工程 环 境 ， 应 该 同 时 具 备 技 术 和 管 理 两 个 方 面 。4 .试 从 你 的 亲 身 实 践 ， 谈 谈 软 件 工 具 在 软 件 开 发 中 的 作 用 。答 ： 用 C+开 发 一 个 软 件 ， 是 校 园 一 卡 通 的 模 块 。 首 先 ， 要 在 编 辑 程 序 支 持 下 在 计 算 机 中 输 入 源 程 序 。然 后 编 译 程 序 ， 把 源 程 序 翻 译 成 目 标 程 序 。 如 果 发 现 错 误 ， 就 重 新 调 入 编 辑 程 序 对 源 程 序 进 行 修 改 。编 译 通 过 后 ， 再 调 用 连 接 程 序 吧 所 有 通 过 了 编 译 目 标 程 序 连 同 与 之 有 关 的 程 序 连 接 起 来 ， 构 成 一 个 能 在 计 算 机 上 运 行 的 可 执 行 软 件 。 编 译 程 序 ， 编 辑 程 序 ， 连 接 程 序 以 及 支 持 他 们 的 计 算 机 操 作 系 统 ， 都属 于 软 件 工 具 。 离 开 这 些 工 具 ， 软 件 开 发 就 是 去 了 支 持 ， 变 得 十 分 困 难 和 低 效 ， 甚 至 不 能 运 行 。5 .什 么 是 软 件 工 程 环 境 ？ 谈 谈 你 对 环 境 重 要 性 的 认 识 。答 ： 方 法 与 工 具 相 结 合 ， 再 加 上 配 套 的 软 、 硬 件 支 持 就 形 成 环 境 。 例 如 在 批 处 理 时 代 ， 用 户 开 发 的 程序 是 分 批 送 入 计 算 机 中 心 的 计 算 机 的 ， 有 了 错 误 ， 就 得 下 机 修 改 。 程 序 员 对 自 己 写 的 程 序 只 能 继 续 地跟 踪 ， 思 路 经 常 被 迫 中 断 ， 效 率 难 于 提 高 。 分 时 系 统 的 使 用 ， 使 开 发 人 员 从 此 能 在 自 己 的 终 端 上 跟 踪程 序 的 开 发 ， 仅 此 一 点 ， 就 明 显 提 高 了 开 发 的 效 率 。6 . 何 谓 面 向 对 象 软 件 工 程 ？ 简 述 它 与 传 统 软 件 工 程 在 各 型 软 件 开 发 中 的 作 用 。答 ： 以 面 向 对 象 程 序 设 计 为 基 础 。7 . 软 件 按 规 模 大 小 可 分 成 哪 几 类 ？ 简 述 软 件 工 程 中 各 型 软 件 开 发 中 的 作 用 。答 ： 按 规 模 分 为 极 小 、 小 、 中 、 大 、 甚 大 、 极 大 。（ 1 ） 中 小 型 软 件 ： 软 件 工 程 对 改 进 软 件 质 量 ， 提 高 程 序 员 生 产 率 和 满 足 用 户 的 需 求 ， 有 很 大 的 作 用 。（ 2 ） 大 型 软 件 ： 这 类 软 件 必 须 从 头 至 尾 坚 持 软 件 工 程 的 方 法 ， 严 格 遵 守 标 准 文 档 格 式 和 正 规 的 复 审 制 度 ， 才 能 避 免 或 减 少 混 乱 ， 真 正 开 发 出 大 型 的 软 件 。8 . 什 么 是 形 式 化 软 件 开 发 方 法 ？ 实 现 这 类 开 发 的 困 难 和 出 路 在 哪 里 ？答 ： 它 是 一 种 基 于 数 学 的 开 发 技 术 ， 主 要 采 用 数 学 的 方 法 来 描 述 系 统 的 性 质 （ 例 如 程 序 变 换 和 程 序 验证 等 ） 。 形 式 化 的 方 法 加 上 自 动 化 的 开 发 环 境 ， 可 能 是 解 决 这 一 难 题 的 出 路 。 软 件 开 发 模 型1 什 么 是 软 件 生 存 周 期 ？ 把 生 存 周 期 划 分 为 阶 段 的 目 的 是 什 么 ？答 ： 软 件 生 存 周 期 划 分 为 计 划 、 开 发 和 运 行 3 个 时 期 ； 把 整 个 生 存 周 期 划 分 为 较 小 的 阶 段 ， 给 每 个 阶段 赋 予 确 定 而 有 限 的 任 务 ， 就 能 够 化 简 每 一 步 的 工 作 内 容 ， 使 因 为 软 件 规 模 而 增 长 而 大 大 增 加 了 软 件复 杂 性 变 得 交 易 控 制 和 管 理 。2 传 统 的 瀑 布 模 型 把 生 存 周 期 分 为 哪 些 阶 段 ？ 瀑 布 模 型 软 件 开 发 有 哪 些 特 点 ？答 ： 瀑 布 模 型 在 编 码 以 前 安 排 了 分 析 阶 段 和 设 计 阶 段 ； 阶 段 间 具 有 顺 序 性 和 依 赖 性 。3 说 明 文 档 和 复 审 对 于 软 件 质 量 的 控 制 的 作 用 。答 ： 每 一 阶 段 都 要 完 成 规 定 的 文 档 ， 没 有 完 成 文 档 ， 就 认 为 没 有 完 成 该 阶 段 的 任 务 。 软 件 开 发 是 许 多人 共 同 参 加 的 计 划 ， 完 整 与 合 格 的 文 档 ， 不 仅 是 开 发 时 期 软 件 人 员 之 间 互 相 通 信 的 媒 介 ， 也 是 运 行 时期 对 软 件 进 行 维 护 的 中 要 依 据 。 每 一 阶 段 都 要 对 已 完 成 的 文 档 进 行 复 审 ， 以 便 尽 早 发 现 问 题 ， 消 除 隐患 。 愈 是 早 期 潜 伏 下 来 的 故 障 ， 暴 露 出 来 的 时 间 愈 晚 ， 排 除 故 障 需 付 出 的 代 价 也 就 愈 高 。 及 时 复 审 是 保 证 软 件 质 量 ， 降 低 开 发 成 本 的 重 要 措 施 。4 什 么 是 快 速 原 型 法 ？ 其 快 速 表 现 在 哪 里 ？答 :首 先 建 立 一 个 能 够 反 映 用 户 主 要 需 求 的 原 型 ， 让 用 户 实 际 看 一 看 未 来 系 统 的 概 貌 ， 以 便 判 断 哪 些 功能 是 符 合 需 要 的 ， 哪 些 方 面 还 需 要 改 进 。 然 后 将 原 型 改 进 ， 最 终 建 立 完 全 符 合 用 户 要 求 的 新 系 统 。 它的 快 速 表 现 在 能 够 缩 短 开 发 周 期 的 语 言 和 工 具 ， 能 在 短 时 间 内 提 供 出 成 品 ， 但 不 包 括 成 品 中 的 细 节 ，然 后 让 客 户 进 行 对 比 。5 实 现 快 速 原 型 法 的 最 终 系 统 可 以 有 几 种 方 法 ？ 请 说 明 并 加 以 比 较 。答 ： 原 型 系 统 仅 包 括 未 来 系 统 的 主 要 功 能 ， 以 及 系 统 的 重 要 接 口 。 为 了 尽 快 向 用 户 提 供 原 型 ， 开 发 原型 系 统 时 应 尽 量 使 用 能 缩 短 开 发 周 期 的 语 言 和 工 具 。 最 终 系 统 的 形 成 可 以 采 用 原 型 废 弃 不 用 ， 另 一 方法 是 补 充 修 改 模 型 获 得 最 终 系 统 。 方 法 一 不 包 括 系 统 的 细 节 。 后 一 种 方 法 在 实 际 工 作 中 ， 由 于 原 型 系统 使 用 的 语 言 往 往 存 在 效 率 不 高 等 原 因 ， 除 了 少 数 简 单 的 事 务 系 统 外 ， 大 多 数 原 型 都 废 弃 不 用 ， 仅 把建 立 原 型 的 过 程 当 作 帮 助 定 义 软 件 需 求 的 一 种 手 段 。6 比 较 增 量 模 型 和 螺 旋 模 型 的 特 点 ， 有 什 么 不 同 和 相 似 的 地 方 ？ 答 ： 增 量 模 型 是 瀑 布 模 型 的 顺 序 特 征 与 快 速 原 型 法 的 迭 代 特 征 相 结 合 的 产 物 。 螺 旋 模 型 是 一 种 迭 代 模型 ， 每 迭 代 一 次 ， 螺 旋 线 就 前 进 一 周 。 增 量 模 型 每 个 增 量 具 有 高 内 聚 低 耦 合 ， 高 度 的 独 立 性 。 而 螺 旋模 型 它 在 结 合 瀑 布 模 型 与 快 速 原 型 的 基 础 上 还 增 加 了 风 险 分 析 。7 为 什 么 利 用 转 换 模 型 开 发 软 件 有 一 定 难 度 ？ 什 么 是 净 室 软 件 工 程 ？答 ： 从 理 论 上 说 ， 一 个 正 确 的 ， 满 足 客 户 需 要 的 形 式 化 规 格 说 明 ， 经 过 一 系 列 正 确 的 程 序 变 化 后 ， 可以 确 保 得 到 这 样 一 个 形 式 化 规 格 说 明 ， 目 前 还 有 较 高 的 难 度 ， 同 时 ， 软 件 开 发 者 很 少 具 有 实 用 形 式 化方 法 所 需 的 背 景 知 识 ， 况 且 ， 转 换 模 型 开 发 软 件 现 在 还 很 费 时 和 昂 贵 ！ 净 室 基 本 思 想 是 力 求 在 分 析 和设 计 阶 段 就 消 除 错 误 ， 确 保 正 确 ， 然 后 在 无 缺 陷 或 “ 洁 净 ” 的 状 态 下 实 现 软 件 的 制 作 。8 哪 些 开 发 模 型 适 用 于 面 向 对 象 的 软 件 开 发 ？答 ： 构 件 集 成 模 型9 比 较 螺 旋 模 型 和 构 件 集 成 模 型 的 异 同 。答 ： 构 件 集 成 模 型 利 用 预 先 对 封 装 好 的 软 件 构 件 来 构 造 应 用 软 件 系 统 ， 它 融 合 了 螺 旋 模 型 的 很 多 特 征 ，支 持 软 件 开 发 的 迭 代 方 法 。 软 件 需 求 分 析 1 需 求 分 析 的 任 务 是 什 么 ？ 怎 样 理 解 分 析 阶 段 的 任 务 是 决 定 “ 做 什 么 ” ， 而 不 是 “ 怎 么 做 ” ？答 ： 需 求 分 析 主 要 有 两 个 任 务 ： 第 一 是 通 过 对 问 题 及 其 环 境 的 理 解 、 分 析 和 综 合 建 立 分 析 模 型 ； 第 二是 在 完 全 弄 清 用 户 对 软 件 系 统 的 确 切 要 求 的 基 础 上 ， 用 “ 软 件 需 求 规 格 说 明 书 ” 把 用 户 的 需 求 表 达 出 来 。 需 求 分 析 的 任 务 就 是 为 了 明 确 要 开 发 的 是 一 个 什 么 样 的 系 统 ， 而 不 是 去 怎 么 去 实 现 这 个 系 统 。2 需 求 分 析 要 经 过 哪 些 步 骤 ？答 ： 需 求 获 取 、 需 求 提 炼 、 需 求 描 述 、 需 求 验 证 。3 有 哪 两 种 主 要 的 分 析 模 型 ， 它 们 有 什 么 联 系 ？答 ： 面 向 对 象 分 析 模 型 、 结 构 化 分 析 模 型 。 前 者 是 采 用 面 向 对 象 的 思 想 进 行 软 件 需 求 分 析 的 建 模 过 程 ，而 后 者 模 型 的 核 心 是 DD,它 是 设 计 各 种 数 据 对 象 的 总 和 。 他 们 的 模 型 分 别 起 到 了 描 述 数 据 模 型 ， 功 能模 型 与 行 为 模 型 的 作 用 。4 什 么 是 结 构 化 分 析 ？ 它 的 “ 结 构 化 ” 体 现 在 哪 里 ？答 ： 是 使 用 DFD、 DD、 结 构 化 语 言 、 判 定 表 和 判 定 树 等 工 具 ， 来 建 立 一 种 新 的 、 称 为 结 构 化 说 明 书 的目 标 文 档 。5 什 么 是 面 向 对 象 分 析 ？ 其 主 要 思 想 是 什 么 ？答 : OOA 面 向 对 象 的 分 析 是 采 用 面 向 对 象 的 思 想 进 行 软 件 需 求 分 析 建 模 的 过 程 .主 要 思 想 是 采 用 面 向 对象 的 思 想 。 6 . 需 求 说 明 （ 或 需 求 规 格 说 明 书 ） 由 哪 些 部 分 组 成 ？ 各 部 分 的 主 要 内 容 是 什 么 ？答 ： 引 言 、 信 息 描 述 、 功 能 描 述 、 行 为 描 述 、 质 量 描 述 、 接 口 描 述 、 其 他 描 述 。引 言 ： 主 要 叙 述 在 文 体 定 义 阶 段 确 定 的 关 于 软 件 的 目 标 与 范 围 ， 简 要 介 绍 系 统 背 景 、 盖 帽 、 软 件 项 目约 束 和 按 考 资 料 等 。信 息 描 述 ： 给 出 对 软 件 所 含 信 息 的 详 细 描 述 ， 包 括 信 息 的 内 容 、 关 系 、 数 据 流 向 、 控 制 流 向 和 结 构 等 。功 能 描 述 ： 对 软 件 功 能 要 求 的 说 明 ， 包 括 系 统 功 能 划 分 、 每 个 功 能 的 处 理 说 明 、 限 制 和 控 制 描 述 等 。行 为 描 述 ： 包 括 对 系 统 状 态 变 化 及 事 件 和 动 作 的 描 述 ， 据 此 可 以 检 查 外 部 事 件 和 软 件 内 部 的 控 制 特 征 。质 量 描 述 ： 阐 明 在 软 件 交 付 使 用 前 需 要 进 行 的 共 更 能 测 试 和 性 能 测 试 ， 并 且 规 定 源 程 序 和 文 档 应 该 遵守 的 各 种 标 准 。接 口 描 述 ： 包 括 系 统 的 用 户 界 面 、 硬 件 接 口 、 软 件 接 口 和 通 信 接 口 等 的 说 明 。其 他 描 述 ： 阐 述 系 统 设 计 和 实 现 上 的 限 制 ， 系 统 的 假 设 和 依 赖 等 其 他 需 要 说 明 的 内 容 。7 . 为 什 么 DFD 要 分 层 ？ 画 分 层 DFD 要 遵 循 哪 些 原 则 ？答 ： 大 型 复 杂 的 软 件 系 统 ， 其 DFD 可 能 含 有 数 百 乃 至 数 千 个 加 工 ， 不 能 设 想 一 次 就 将 它 们 全 部 画 齐 。 正 确 的 做 法 是 ： 从 系 统 的 基 本 模 型 （ 把 整 个 系 统 看 成 一 个 加 工 ） 开 始 ， 逐 层 地 对 系 统 进 行 分 解 。 原 则 ：由 顶 向 下 ， 逐 步 细 化 。8 . DFD 和 CFD 有 什 么 区 别 ？答 ：9 . 什 么 是 系 统 的 行 为 模 型 ， 如 何 建 立 ？答 ： 类 对 象 模 型 所 表 示 的 是 面 向 对 象 分 析 模 型 中 的 静 态 部 分 ， 而 对 象 行 为 模 型 则 用 于 描 述 系 统 的 动 态行 为 ， 即 系 统 如 何 对 应 外 部 事 件 -系 统 的 行 为 模 型 。建 立 一 个 对 象 行 为 模 型 一 般 要 经 历 一 些 过 程 ： 评 估 所 以 的 用 例 来 理 解 系 统 中 的 交 互 序 列 ； 找 出 驱 动 交互 序 列 的 事 件 ； 为 每 个 用 例 创 建 事 件 轨 迹 ； 为 对 象 创 建 状 态 转 换 图 。1 0 .选 一 个 系 统 （ 例 如 工 资 处 理 系 统 、 飞 机 订 票 系 统 、 图 书 馆 管 理 系 统 等 ） ， 分 别 用 SA 方 法 和 OOA 方法 对 它 进 行 分 析 ， 并 给 出 分 析 模 型 。答 ： 软 件 设 计 概 述 1 .传 统 软 件 工 程 把 设 计 过 程 分 成 2 步 ： 概 要 设 计 与 详 细 设 计 。 试 述 这 2 个 阶 段 个 字 主 要 完 成 的 任 务 。答 ： 概 要 设 计 ， 包 括 结 构 设 计 和 接 口 设 计 ， 并 编 写 设 计 文 档 。 详 细 设 计 ， 其 任 务 是 确 定 各 个 软 件 组 件的 数 据 结 构 和 操 作 ， 产 生 描 述 个 软 件 组 件 的 详 细 设 计 文 档 。 为 什 么 大 型 软 件 设 计 必 须 分 成 两 步 走 ？答 ： 概 要 设 计 和 详 细 设 计 是 软 件 设 计 的 两 步 ， 概 要 设 计 确 定 模 块 的 划 分 ， 模 块 之 间 的 调 用 关 系 ， 接 口等 ； 详 细 设 计 细 分 模 块 、 数 据 结 构 等 ； 大 型 系 统 中 分 两 步 走 是 必 要 的 ， 概 要 设 计 确 定 模 块 划 分 后 ， 详细 设 计 可 把 各 模 块 交 给 不 同 的 人 做 详 细 设 计 ， 大 型 系 统 中 这 样 的 分 工 是 比 较 合 理 的 ， 能 提 高 效 率 ， 做到 合 理 分 工 。2 .解 释 下 列 名 词 ： （ 1 ） 模 块 ； （ 2 ） 模 块 化 ； （ 3 ） 模 块 化 设 计 。答 ： 模 块 是 一 个 拥 有 明 确 定 义 的 、 输 出 和 特 性 的 程 序 实 体 。模 块 化 是 指 解 决 一 个 复 杂 问 题 时 自 顶 向 下 逐 层 把 软 件 系 统 划 分 成 若 干 模 块 的 过 程 。 每 个 模 块 完成 一 个 特 定 的 子 功 能 ， 所 有 的 模 块 按 某 种 方 法 组 装 起 来 ， 成 为 一 个 整 体 ， 完 成 整 个 系 统 所 要 求的 功 能 。模 块 化 设 计 是 把 大 型 软 件 按 照 规 定 的 原 则 划 分 成 一 个 个 较 小 的 、 相 对 独 立 但 又 相 互 关 联 的 模 块 。 但 又相 互 关 联 的 模 块 。3 .什 么 是 模 块 独 立 性 ？ 用 什 么 度 量 ？ 答 ： 模 块 独 立 性 指 每 个 模 块 只 完 成 系 统 要 求 的 独 立 的 子 功 能 ,并 且 与 其 他 模 块 的 联 系 最 少 且 接 口 简 单 。模 块 独 立 的 概 念 是 模 块 化 、 抽 象 、 信 息 隐 蔽 和 局 部 化 概 念 的 直 接 结 果 。独 立 性 可 以 从 两 个 方 面 来 度 量 ： 模 块 本 身 的 内 聚 性 (Cohesion)和 模 块 之 间 的 耦 合 (Coupling)。4 .具 体 说 明 “ 一 个 模 块 ， 一 个 功 能 ” 的 含 义 ， 并 试 讨 论 这 类 模 块 的 优 点 。答 ：5 .什 么 是 自 顶 向 下 设 计 ？ 为 什 么 说 它 尤 其 适 用 于 大 型 软 件 的 开 发 ？答 ： 设 计 时 首 先 对 所 设 计 的 系 统 有 一 个 全 面 的 理 解 。 然 后 从 顶 层 开 始 ， 连 续 的 逐 层 向 下 分 解 ， 直 至 系统 的 所 有 模 块 都 笑 道 便 于 掌 握 为 止 。自 底 向 上 设 计 反 映 了 软 件 规 模 较 小 的 设 计 思 想 ， 随 着 软 件 规 模 的 增 长 ， 这 种 方 法 的 缺 点 逐 渐 暴 露 出 来 。而 自 顶 向 下 的 设 计 需 要 进 行 详 细 的 可 行 性 论 证 ， 易 于 修 改 和 扩 展 ， 整 体 测 试 较 易 通 过 。6 .自 顶 向 下 逐 步 细 化 的 方 法 也 适 用 于 编 写 教 材 。 使 用 这 种 方 法 说 明 编 写 一 本 教 材 的 过 程 。答 ： 7 .输 入 三 角 形 的 3 条 边 长 （ 假 定 这 些 边 确 实 能 组 成 一 个 三 角 形 ） ， 用 它 们 来 鉴 别 三 角 形 的 性 质 （ 等 腰 、等 边 、 任 意 或 者 直 角 ） ， 并 输 出 结 果 。 试 用 逐 步 细 化 的 方 法 设 计 这 一 程 序 ， 并 用 结 构 化 语 言 （ 汉 语 或英 语 ） 写 出 细 化 过 程 中 每 一 步 的 过 程 描 述 。答 ：8 .比 较 概 要 设 计 复 审 和 过 程 设 计 复 审 的 评 审 内 容 ， 并 说 明 他 们 采 取 的 复 审 方 式 有 何 异 同 。答 ： 概 要 设 计 复 审 的 重 点 放 在 系 统 的 总 体 结 构 、 模 块 划 分 、 内 外 结 构 等 方 面 。 例 如 软 件 结 构 是 否 满 足需 求 ？ 结 构 形 态 是 否 合 理 ？ 层 次 是 否 清 晰 ？ 模 块 的 划 分 是 不 是 符 合 优 化 原 则 ？ 系 统 的 人 机 界 面 、 内 外部 接 口 、 以 及 出 错 处 理 是 不 是 合 理 等 。过 程 设 计 复 审 的 重 点 放 在 模 块 的 具 体 设 计 上 。 例 如 模 块 设 计 能 否 满 足 其 功 能 与 性 能 要 求 ？ 选 择 算 法 与数 据 结 构 是 否 合 理 ， 是 否 符 合 编 程 语 言 的 特 点 ？ 设 计 描 述 简 单 、 清 晰 等 。概 要 设 计 复 审 常 用 的 复 审 方 式 是 正 式 复 审 。传 统 的 设 计 方 法 1 .简 释 事 务 、 事 务 型 结 构 和 变 换 型 结 构 。答 ： 一 次 动 作 、 时 间 或 状 态 变 化 也 可 以 成 为 一 次 事 务 。事 务 型 结 构 由 至 少 一 条 接 受 路 径 、 一 个 事 务 中 心 与 若 干 条 动 作 路 径 组 成 。 变 换 型 结 构 由 至 少 一 条 传 入 路 径 、 变 换 中 心 和 传 出 路 径 组 成 。2 .简 述 从 DFD 图 到 SC 图 的 映 射 规 则 。答 ： （ 1 ） 复 审 DFD 图 ， 必 要 时 可 再 次 进 行 修 改 或 细 化 ；（ 2 ） 鉴 别 DFD 图 所 表 示 的 软 件 系 统 的 结 构 特 征 ， 确 定 它 所 代 表 的 软 件 结 构 是 属 于 变 换 型 还 是 事 务 型 。（ 3 ） 按 照 SD 方 法 规 定 一 组 规 则 ， 把 DFD 图 转 换 为 初 始 的 SC 图 ； （ 4 ） 按 照 优 化 设 计 的 指 导 原 则 改 进 初 始 的 SC 图 ， 获 得 最 终 SC 图 。5 .某 事 务 系 统 具 有 下 列 功 能 ：（ 1 ） 读 入 用 户 命 令 ， 并 检 查 其 有 效 性 ;（ 2 ） 按 照 命 令 的 编 号 （ 1 -4 号 ） 进 行 分 类 处 理（ 3 ） 1 号 命 令 计 算 产 品 共 识 ， 能 根 据 用 户 给 出 的 各 种 产 品 数 量 ， 计 算 出 各 工 种 的 需 要 工 时 和 缺 额 工 时 ；（ 4 ） 2 号 命 令 计 算 材 料 消 耗 ， 根 据 产 品 的 材 料 定 额 和 用 户 给 出 的 生 产 数 量 ， 计 算 各 种 材 料 的 需 求 量（ 5 ） 3 号 命 令 编 制 材 料 订 货 计 划（ 6 ） 4 号 命 令 计 算 产 品 成 品试 用 结 构 化 分 析 和 设 计 方 法 画 出 该 系 统 的 DFD 图 并 据 此 到 处 系 统 的 SC 图 。 对 动 作 分 支 中 的 1 号 和 2号 命 令 要 详 细 描 述 和 设 计 ， 3 号 命 令 和 4 号 命 令 允 许 从 略 ， 可 仅 用 示 意 图 表 示 。答 ：7 .简 述 过 程 （ 详 细 ） 设 计 说 明 书 的 主 要 内 容 ， 怎 样 对 它 进 行 复 审 ？答 ： (1 )为 每 个 模 块 确 定 采 用 的 算 法 。 选 择 某 种 适 当 的 工 具 表 达 算 法 的 过 程 ， 写 出 模 块 的 详 细 过 程 描 述 ； (2 )确 定 每 一 模 块 使 用 的 数 据 结 构 ； (3 )确 定 模 块 接 口 的 细 节 ， 包 括 对 系 统 外 部 的 接 口 和 用 户 界 面 ， 对 系统 内 部 其 它 模 块 的 接 口 ， 以 及 关 于 模 块 输 入 数 据 、 输 出 数 据 及 局 部 数 据 的 全 部 细 节 。8 .简 化 比 较 本 章 讲 解 的 几 种 过 程 设 计 表 达 工 具 的 优 缺 点 。答 ： 流 程 图 和 N-S 图 ,伪 代 码 和 PDL 语 言 。流 程 图 具 有 能 随 意 表 达 任 何 程 序 逻 辑 的 有 点 ， 随 着 结 构 化 程 序 设 计 方 法 的 普 及 ， 流 程 图 在 描 述 程 序 逻辑 时 的 随 意 性 与 灵 活 性 恰 恰 变 成 了 它 的 缺 点 。N-S 图 所 有 的 程 序 结 构 均 用 方 框 来 表 示 ， 无 论 并 列 或 者 嵌 套 ， 程 序 的 结 构 清 晰 可 见 。 容 易 养 成 良 好 的程 序 设 计 风 格 。 缺 点 是 当 程 序 内 嵌 的 层 数 增 多 时 ， 内 层 的 方 块 越 画 越 小 ， 不 仅 增 加 画 图 的 困 难 ， 也 使图 形 的 清 晰 性 受 到 影 响 。伪 代 码 工 作 量 比 画 图 小 ， 又 容 易 转 换 为 真 正 的 代 码 ， PDL 具 有 很 强 的 描 述 功 能 ， 是 一 种 十 分 灵 活 和 有用 的 过 程 表 达 工 具 。9 .任 选 一 种 排 序 （ 从 小 到 大 ） 算 法 ， 分 别 用 流 程 图 、 N-S 图 和 PDL 语 言 描 述 其 详 细 过 程 。 1 0 .试 将 下 列 用 PDL 伪 代 码 表 示 的 某 种 模 块 的 过 程 性 描 述 改 用 N-S 图 表 示 。 Execute process aREPEAT UNTIL condition X8Execute process b IF condition X1THEN BEGINExecute process fIF condition X6THENREPEAT UNTIL condition X7Execute process iENDREPELSE BEGINExecute process gExecute process hENDENDIF ELSE CASE OF XiWHEN contdition X2 SELECTDO WHILE contition X5execute process CENDDOWHEN condition X3 SELECT process dWHEN condition X4 SELECT process eENDCASEENDIFENDREPExecute process jEND execute process a execute process bT X1 Fexecute process f T X3 F T X4 FT X6 F executeprocess d executeprocess eexecute process i execute process gREPEAT UNTIL X7 execute process hexecute process jREPEAT UNTIL condition X8 1 2 .图 5 -6 3 显 示 了 某 仓 库 零 件 收 发 管 理 程 序 的 数 据 结 构 ， 用 Jackson 图 表 示 。 图 中 Part 表 示 零 件 ， Issue和 Recept 分 别 表 示 零 件 的 出 库 量 和 入 库 量 。 现 要 求 ：（ 1 ） 找 出 输 入 结 构 与 输 出 结 构 之 间 的 对 应 单 元（ 2 ） 画 出 用 Jackson 图 表 示 的 程 序 结 构（ 3 ） 列 出 程 序 所 需 要 的 操 作 ， 并 加 到 第 （ 2 ） 步 画 出 的 程 序 结 构 图 上 （ 4 ） 用 伪 代 码 写 出 收 发 管 理 程 序 的 过 程 性 表 示1 3 .某 工 资 管 理 程 序 的 输 入 /输 出 数 据 中 包 括 ： 输 入 数 据 ： 职 工 姓 名 ， 日 工 资 率 ， 工 作 天 数 ， 加 班 天 数 ， 病 事 假 天 数 ， 补 贴 变 更 ， 扣 款 变 更 等 ；输 出 数 据 ： 职 工 姓 名 ， 基 本 工 资 ， 各 项 补 贴 ， 各 项 扣 款 ， 事 发 工 资 等 ；试 用 Jackson 方 法 设 计 这 一 程 序 。 软 件 测 试1 .软 件 测 试 的 基 本 任 务 是 什 么 ？ 测 试 与 纠 错 有 什 么 不 同 ？测 试 的 目 的 是 发 现 程 序 错 误 ； 测 试 的 任 务 是 通 过 在 计 算 机 上 执 行 程 序 ， 暴 露 程 序 中 潜 在 的 错 误 。纠 错 的 目 的 是 定 位 和 纠 正 错 误 ； 纠 错 的 任 务 是 软 件 故 障 ， 保 证 程 序 的 可 靠 运 行 。通 常 把 一 次 程 序 执 行 需 要 的 测 试 数 据 成 为 一 个 测 试 用 例 ， 每 个 测 试 用 例 产 生 一 个 相 应 的 测 试 结 果 ， 如果 它 与 期 望 结 果 不 符 ， 便 说 明 程 序 中 存 在 错 误 ， 需 要 用 纠 错 来 改 正 。2 .怎 样 理 解 下 面 的 话 所 蕴 含 的 意 义 ： “ 程 序 测 试 只 能 证 明 错 误 的 存 在 ， 但 不 能 证 明 错 误 不 存 在 ” 、 “ 测试 是 为 了 证 明 程 序 有 错 ， 而 不 是 证 明 程 序 无 错 ” 揭 示 了 测 试 固 有 的 一 个 重 要 性 质 不 彻 底 性 。 彻 底 测 试 就 是 让 被 测 程 序 在 一 切 可 能 的 输 入 情 况 下 全部 执 行 一 遍 ， 又 称 穷 举 测 试 。 在 实 际 情 况 中 是 根 本 无 法 实 现 的 。 这 就 注 定 了 一 切 实 际 测 试 都 是 不 彻 底的 ， 当 然 也 就 不 能 保 证 测 试 后 的 程 序 不 存 在 遗 留 的 错 误 。 测 试 的 分 类 Input filepart group*receptMovement record*issue Net movement line*bodyheading Output report 测 试 方 法 测 试 用 例 和 测 试 结 果测 试 用 例 =测 试 数 据 +期 望 结 果 测 试 结 果 =测 试 数 据 +期 望 结 果 +实 际 结 果 黑 盒 测 试1 等 价 测 试把 输 入 数 据 的 可 能 值 划 分 为 若 干 个 等 价 类 ， 使 每 类 中 的 任 何 一 个 测 试 用 例 ， 都 能 代 表 同 一 等 价 类中 的 其 它 测 试 用 例 。采 用 等 价 测 试 注 意 以 下 两 点 ：划 分 等 价 类 不 仅 要 考 虑 代 表 “ 有 效 ” 输 入 值 的 有 效 等 价 类 ， 还 要 考 虑 代 表 “ 无 效 ” 输 入 值 得 无 效等 价 类 ； 每 一 无 效 等 价 类 至 少 要 用 一 个 测 试 用 例 ， 不 然 可 能 漏 掉 某 一 类 错 误 ， 但 允 许 若 干 个 有 效等 价 类 合 用 一 个 测 试 用 例 ， 以 便 进 一 步 减 少 测 试 的 次 数 。 【 例 】 某 工 厂 公 开 招 工 ， 规 定 报 名 者 年 龄 在 1 6 周 岁 至 3 5 周 岁 (在 1 9 6 7 年 2 月 到 1 9 8 6 年 3 月 )。如 果 出 生 年 月 不 在 上 述 范 围 内 ， 将 拒 绝 接 受 ， 并 显 示 “ 年 龄 不 合 格 ” 等 出 错 信 息 。 试 用 等 价 分 类法 设 计 这 一 程 序 功 能 的 测 试 用 例 。第 一 步 ： 划 分 等 价 类输 入 数 据 有 效 等 价 类 无 效 等 价 类出 生 年 月 (1 )6 位 数 字 字 符 (2 )有 非 数 字 字 符(3 )少 于 6 个 数 字 字 符(4 )多 于 6 个 数 字 字 符对 应 数 值 (5 )在 1 9 6 7 0 2 -1 9 8 6 0 3 之 间 (6 )1 9 8 6 0 3月 份 对 应 数 值 (8 )在 1 -1 2 之 间 (9 )等 于 “ 0 ” (1 0 )1 2第 二 步 ： 设 计 有 效 等 价 类 需 要 的 测 试 用 例测 试 数 据 期 望 结 果 测 试 范 围1 9 7 0 1 1 输 入 有 效 (1 )、 (5 )、 (8 )第 三 步 ： 为 每 一 无 效 等 价 类 设 计 一 个 测 试 用 例测 试 数 据 期 望 结 果 测 试 范 围MAY,7 0 输 入 无 效 (2 )1 9 7 0 5 输 入 无 效 (3 )1 9 6 8 0 1 1 输 入 无 效 (4 )1 9 5 5 1 2 年 龄 不 合 格 (6 )1 9 6 0 0 6 年 龄 不 合 格 (7 ) 1 9 6 2 0 0 输 入 无 效 (9 )1 9 7 2 2 2 输 入 无 效 (1 0 ) 2 边 界 测 试程 序 员 在 处 理 边 界 情 况 时 ， 很 容 易 因 忽 略 或 考 虑 不 周 发 生 编 码 错 误 。 例 如 ， 数 组 容 量 、 循 环 次 数以 及 输 入 数 据 与 输 出 数 据 在 边 界 值 附 近 程 序 出 错 概 率 往 往 较 大 。采 用 边 界 值 分 析 法 就 是 要 这 样 来 选 择 测 试 用 例 ， 使 得 被 测 试 程 序 能 在 边 界 值 及 其 附 近 运 行 ，从 而 更 有 效 地 暴 露 程 序 中 潜 在 的 错 误 。例 如 程 序 可 能 设 有 语 句If(1 9 6 7 0 2 =value(birthdate)=1 9 8 6 0 3 )then read(birthdate)else write “invalid age”将 上 式 =写 成 3 5 周 岁1 6 周 岁 1 9 6 7 0 11 9 8 6 0 4 不 合 格 年 龄 恰 大 于 合 格 年 龄恰 小 于 合 格 年 龄 月 份 对 应 数值 月 份 为 1月 份 为 1 2 1 9 6 8 0 11 9 8 5 1 2 输 入 有 效 最 小 月 份最 大 月 份月 份 1 2 1 9 6 8 0 01 9 7 4 1 3 输 入 无 效 恰 小 于 最 小 月 份恰 大 于 最 大 月 份3 错 误 猜 测 法猜 错 就 是 猜 测 被 测 程 序 放 在 哪 些 地 方 容 易 出 错 ， 然 后 针 对 可 能 的 薄 弱 环 节 来 设 计 测 试 用 例 。一 般 先 用 等 价 分 类 法 和 边 界 值 分 析 法 设 计 测 试 用 例 ， 然 后 用 猜 错 法 补 充 一 些 例 子 作 为 辅 助 的 手段 。白 盒 测 试 1 逻 辑 覆 盖 测 试 ： 用 流 程 图 来 设 计 测 计 用 例 。 主 要 考 察 的 重 点 是 图 中 的 判 定 框 (选 择 或 循 环 )。按 照 被 测 试 程 序 所 作 测 试 的 有 效 程 度 ， 逻 辑 测 试 可 由 弱 到 强 区 分 5 种 覆 盖 标 准 ：语 句 覆 盖 ： 每 条 语 句 至 少 执 行 一 次 。判 定 覆 盖 ： 每 一 判 定 的 每 个 分 支 至 少 执 行 一 次 。条 件 覆 盖 ： 每 一 判 定 中 的 每 个 条 件 ， 分 别 按 “ 真 ” 、 “ 假 ” 至 少 各 执 行 一 次 。判 定 /条 件 覆 盖 ： 同 时 满 足 判 定 覆 盖 和 条 件 覆 盖 的 要 求 。条 件 组 合 覆 盖 ： 求 出 判 定 中 所 有 条 件 的 各 种 可 能 组 合 值 ， 每 一 可 能 的 条 件 子 和 至 少 执 行 一 次 。 覆 盖 标 准 程 序 结 构 举 例 测 试 用 例 应 满 足 的 条 件语 句 覆 盖 AB=.T.判 定 覆 盖 AB=.T.， AB=.F.条 件 覆 盖 A=.T.， A=.F.B=.T.， B=.F.判 定 /条 件 覆 盖 AB=.T.， AB=.F. A=.T.， A=.F.B=.T.， B=.F.条 件 组 合 覆 盖 A=.T. B=.T.A=.T. B=.F.A=.F.B=.T.A=.F.B=.F. 路 径 测 试 法程 序 图 ： 是 一 种 简 化 的 流 程 图 。 对 程 序 图 中 每 一 条 可 能 的 程 序 执 行 路 径 至 少 测 试 一 次 。 如 果 程 序 中 含 有 循 环 (在 程 序 中 表 现 为 环 )，则 每 个 循 环 至 少 执 行 一 次 。路 径 测 试 具 有 如 下 特 征 ： 满 足 结 构 测 试 的 最 低 要 求 。 语 句 覆 盖 加 判 定 覆 盖 是 对 白 盒 测 试 的 最 低 要求 ， 同 时 满 足 这 两 种 标 准 的 覆 盖 为 “ 完 全 覆 盖 ” 。 从 对 路 径 测 试 的 要 求 可 见 ， 它 本 身 就 包 含 了 语句 覆 盖 和 判 定 覆 盖 (在 程 序 图 上 分 别 为 点 覆 盖 与 边 覆 盖 )。 软 件 复 用1 .什 么 是 软 件 复 用 ？答 ： 在 构 造 新 的 软 件 系 统 的 过 程 中 ， 对 已 存 在 的 软 件 人 工 制 品 的 使 用 技 术 。2 .什 么 是 领 域 工 程 ？ 简 述 其 活 动 内 容 。答 : 领 域 工 程 是 指 通 过 领 域 分 析 找 出 最 优 复 用 ， 把 它 们 设 计 和 构 造 为 可 复 用 构 件 ， 进 而 建 立 大 规 模 的软 件 构 件 仓 库 的 过 程 。答 ： 按 复 用 活 动 所 应 用 的 领 域 范 围 ， 复 用 可 划 分 为 横 向 复 用 和 纵 向 复 用 。 横 向 复 用 是 指 复 用 不 同 应 用领 域 中 的 软 件 元 素 如 数 据 结 构 、 分 类 算 法 等 。 纵 向 复 用 是 指 在 一 类 具 有 较 多 公 共 性 的 应 用 领 域 之 间 进行 软 部 分 复 用 。 纵 向 复 用 包 括 以 下 几 个 方 面 的 活 动 ：(1 )实 施 领 域 分 析 ： 根 据 应 用 领 域 的 特 征 及 相 似 性 ， 可 预 测 软 构 件 的 可 复 用 性 ， 发 现 并 描 述 可 复 用 实 体 ，进 而 建 立 相 关 的 模 型 和 需 求 规 约 。 (2 )开 发 可 复 用 构 件 ： 一 旦 确 认 了 构 件 的 复 用 价 值 ， 即 可 进 行 构 件 的 开 发 ， 并 对 具 有 复 用 价 值 的 软 构 件进 行 抽 象 、 一 般 化 和 参 数 化 ， 以 便 它 们 能 够 适 应 新 的 类 似 的 应 用 领 域 。(3 )建 立 可 复 用 构 件 库 ： 将 软 件 构 件 及 其 文 档 进 行 分 类 归 并 ， 形 成 相 关 的 分 类 检 索 机 制 ， 成 为 可 供 后 继项 目 使 用 的 可 复 用 资 源 。3 .什 么 是 CBSD？ 实 施 软 件 构 件 技 术 要 解 决 哪 些 问 题 ？答 ： 基 于 构 件 的 软 件 开 发 (Component-Based Software Development,简 称 CBSD)是 在 一 定 构 件 模 型 的 支 持下 ,复 用 构 件 库 中 的 一 个 或 多 个 软 件 构 件 ,通 过 组 合 构 件 来 构 造 应 用 软 件 系 统 的 开 发 过 程 。要 解 决 的 问 题 ：构 件 应 具 有 的 特 征 ： 通 用 性 、 可 变 性 、 易 组 装 性 。在 建 造 构 件 时 ， 必 须 考 略 应 用 领 域 的 特 征 。 领 域 构 件 设 计 框 架 ： 标 准 数 据 、 标 准 接 口 协 议 、 程 序 模 板 。软 件 维 护 1 .为 什 么 说 软 件 维 护 是 不 可 避 免 的 ？答 ： 满 足 用 户 对 已 开 发 产 品 的 性 能 与 运 行 环 境 不 断 提 高 的 需 要 ， 进 而 达 到 延 长 软 件 的 寿 命 。2 .纠 错 和 纠 错 性 维 护 有 哪 些 异 同 ？答 ： 纠 错 的 目 的 是 定 位 和 纠 正 错 误 ； 纠 错 的 任 务 是 软 件 故 障 ， 保 证 程 序 的 可 靠 运 行 。纠 错 性 维 护 是 由 于 软 件 测 试 的 不 彻 底 性 ， 任 何 大 型 软 件 交 付 使 用 后 ， 都 会 继 续 发 现 潜 在 的 错 误 ， 对 它们 进 行 诊 断 和 改 正 。 目 的 在 于 纠 正 在 开 发 期 间 未 能 发 现 的 遗 留 错 误 。5 .什 么 是 软 件 配 置 ？ 说 明 搞 好 维 护 时 期 配 置 的 意 义 与 方 法 。答 ： 软 件 配 置 是 一 个 软 件 在 生 存 周 期 内 ， 它 的 各 种 形 式 、 各 种 版 本 的 文 档 与 程 序 的 总 称 。对 软 件 配 置 进 行 科 学 的 管 理 ， 是 保 证 软 件 质 量 的 重 要 手 段 。 配 置 管 理 贯 穿 于 整 个 生 存 周 期 ， 在 运 行 和维 护 时 期 ， 其 任 务 尤 为 繁 重 。为 了 方 便 对 多 种 产 品 和 多 种 版 本 进 行 跟 踪 和 控 制 ， 常 常 借 助 于 自 动 的 配 置 管 理 工 具 ： 配 置 管 理 数 据 库工 具 和 版 本 控 制 库 工 具 。 8 .什 么 是 软 件 再 工 程 ？ 软 件 再 工 程 的 主 要 活 动 有 哪 些 ？答 ： 软 件 再 工 程 是 将 新 技 术 和 新 工 具 应 用 于 老 的 软 件 的 一 种 较 “ 彻 底 ” 的 预 防 性 维 护 。主 要 活 动 有 6 类 ： 软 件 再 工 程 与 软 件 维 护 差 异 ？答 ： 软 件 维 护 是 局 部 的 ， 以 完 成 纠 错 或 适 应 需 求 变 化 为 目 的 ； 软 件 再 工 程 是 运 用 逆 向 工 程 、 重 构 等 技术 ， 在 充 分 理 解 原 有 软 件 的 基 础 上 ， 进 行 分 解 、 综 合 、 并 重 新 构 建 软 件 ， 用 以 提 高 软 件 的 可 理 解 性 、可 维 护 性 或 演 化 性 。 软 件 工 程 管 理2 .一 个 4 万 行 规 模 的 应 用 程 序 ， 花 5 0 万 美 元 可 以 在 市 场 上 买 到 。 如 果 自 己 开 发 ， 则 没 人 一 月 的 总 花费 需 4 0 0 0 美 元 。 试 问 是 购 买 合 算 呢 ？ 还 是 自 己 开 发 合 算 呢 ？ （ 注 ： 开 发 成 本 用 COCOMO 模 型 计 算 ）答 ：6 .下 图 是 某 软 件 项 目 的 PERT 图 。 起 点 H 2 I 3 J 2 E 3F 5 G 8 D 3A 3 B 6 C 5 终 点图 框 中 的 数 字 代 表 活 动 所 需 的 周 数 。 要 求 ： (1 )找 出 关 键 路 径 和 完 成 项 目 的 最 短 时 间 ；(2 )标 出 每 项 活 动 的 最 早 起 止 时 间 与 最 迟 起 止 时 间 。答 ：7 .在 上 题 中 ， 若 活 动 G 的 持 续 时 间 分 别 缩 短 为 7 周 、 6 周 或 5 周 ， 试 问 ， 完 成 项 目 的 最 短 时 间 有 何 变化 。答 ：8 .将 第 2 题 的 内 容 改 用 Gantt 图 表 示 。答 ： 软 件 质 量 管 理3 .解 释 下 列 各 队 名 词 ， 并 说 明 他 们 的 相 互 关 系 和 差 别 ： （ 1 ） 验 证 与 确 认答 ：（ 2 ） 软 件 质 量 保 证 与 软 件 质 量 认 证答 ： 软 件 质 量 保 证 着 眼 于 每 一 个 软 件 ， 保 证 提 供 给 用 户 的 产 品 都 达 到 规 定 的 质 量 水 平 。软 件 质 量 认 证 注 重 软 件 企 业 的 整 体 资 质 ， 目 的 在 于 全 面 考 察 企 业 的 质 量 体 系 ， 判 断 它 是 否 具 备 设 计 、开 发 和 生 产 符 合 质 量 要 求 的 软 件 产 品 的 能 力 。4 .什 么 是 软 件 可 靠 性 ？ 怎 样 对 他 进 行 定 量 表 示 ？答 ： 在 给 定 时 间 内 ， 程 序 按 照 规 定 的 条