软 件 工 程 课 程 复 习 大 纲 第 一 章 软 件 工 程 概 论 本 章 作 为 全 书 的 概 论, 主 要 讲 述 了 软 件 软 件 工 程 概 念 和 软 件 开 发 的 目 标 和 本 质 基 本 要 求 : 1 软 件 概 念 : 软 件 一 词 具 有 三 层 含 义 : (1) 一 为 个 体 含 义, 即 指 计 算 机 系 统 中 的 程 序 及 其 文 档 ; (2) 二 为 整 体 含 义, 即 指 在 特 定 计 算 机 系 统 中 所 有 上 述 个 体 含 义 下 的 软 件 的 总 称, 亦 指 计 算 机 系 统 中 硬 件 除 外 的 所 有 成 分 ; (3) 三 为 学 科 含 义, 即 指 在 研 究 开 发 维 护 以 及 使 用 前 述 含 义 下 的 软 件 所 涉 及 的 理 论 方 法 技 术 所 构 成 的 学 科 2 软 件 工 程 概 念 : (1) 一 方 面, 软 件 工 程 是 一 类 求 解 软 件 的 工 程 它 应 用 计 算 机 科 学 数 学 及 管 理 科 学 等 原 理, 借 鉴 传 统 工 程 的 原 则 方 法 创 建 软 件 以 达 到 提 高 质 量, 降 低 成 本 的 目 的 ; (2) 另 一 方 面, 软 件 工 程 也 是 一 门 指 导 计 算 机 软 件 开 发 和 维 护 的 工 程 学 科 3 模 型 概 念 : 模 型 是 在 特 定 意 图 下 所 确 定 的 角 度 和 抽 象 层 次 上 对 物 理 系 统 的 描 述, 通 常 包 含 对 该 系 统 边 界 的 描 述, 给 出 系 统 内 各 模 型 元 素 以 及 它 们 之 间 的 语 义 关 系 重 点 要 求 : 1 软 件 开 发 的 本 质 : 实 现 问 题 域 中 的 概 念 和 处 理 逻 辑 到 运 行 平 台 的 概 念 和 处 理 逻 辑 的 映 射 第 二 章 软 件 过 程 本 章 围 绕 软 件 过 程 这 一 主 题, 讲 解 了 三 方 面 的 内 容 : 一 : 介 绍 了 软 件 生 存 周 期 过 程 按 照 承 担 软 件 开 发 工 作 的 主 体, 软 件 生 存 周 期 过 程 分 三 类 : 基 本 过 程 支 持 过 程 和 组 织 过 程 每 类 过 程 又 包 含 一 些 确 定 的 过 程, 每 一 过 程 又 是 由 一 组 确 定 的 活 动 定 义 的 二 : 介 绍 了 几 种 常 用 的 软 件 生 存 模 型 : 瀑 布 模 型 增 量 模 型 演 化 模 型 螺 旋 模 型 和 喷 泉 模 型 等, 分 析 了 这 些 模 型 的 优 缺 点 及 它 们 的 适 用 情 况 等 三 讲 解 了 一 个 软 件 项 目 生 存 周 期 过 程 的 规 划 和 监 控 一 个 软 件 项 目 生 存 周 期 过 程 规 划 包 括 三 个 阶 段 : 第 一 阶 段 的 目 标 是 选 取 一 个 适 合 该 项 目 特 点 的 软 件 生 存 周 期 模 型 ; 第 二 阶 段 的 目 标 是 确 定 项 目 需 要 的 过 程 活 动 和 任 务, 并 将 它 们 映 射 到 所
选 取 的 软 件 生 存 周 期 模 型 中, 形 成 软 件 项 目 生 存 周 期 过 程 及 相 应 的 文 档 ; 第 三 阶 段 的 目 标 是 针 对 已 形 成 的 软 件 项 目 生 存 周 期 过 程, 配 以 适 当 的 组 织 过 程 资 产, 使 软 件 项 目 生 存 周 期 过 程 成 为 一 个 可 实 施 的 过 程 基 本 要 求 : 1) 软 件 生 存 周 期 和 软 件 生 存 周 期 模 型 概 念 软 件 生 存 周 期 (Software life cycle): 软 件 产 品 或 软 件 系 统 从 产 生 投 入 使 用 到 被 淘 汰 的 全 过 程 通 常 将 软 件 生 存 周 期 分 为 5 个 阶 段, 即 需 求 设 计 实 现 ( 编 码 ) 测 试 和 维 护 软 件 生 存 周 期 模 型 ( 有 时 称 为 软 件 开 发 模 型 ): 它 是 整 个 软 件 生 存 周 期 内 的 系 统 开 发 运 行 和 维 护 所 实 施 的 全 部 过 程 活 动 和 任 务 的 框 架 软 件 开 发 模 型 表 达 的 是 软 件 生 存 周 期 内 各 种 活 动 如 何 组 织, 以 及 各 个 阶 段 应 该 如 何 衔 接 重 点 要 求 : 1) 软 件 过 程 : 软 件 生 存 周 期 中 的 一 系 列 相 关 过 程 又 称 为 软 件 生 存 周 期 过 程 过 程 是 活 动 的 集 合, 活 动 是 任 务 的 集 合, 任 务 是 将 输 入 加 工 成 输 出 的 操 作 2) 软 件 过 程 的 分 类 : 按 照 不 同 人 员 的 工 作 内 容 来 分, 将 软 件 生 存 周 期 过 程 分 为 三 类 : 基 本 过 程 支 持 过 程 和 组 织 过 程 : 基 本 过 程 是 指 那 些 与 软 件 生 产 直 接 相 关 的 过 程 包 括 5 个 过 程 : 获 取 过 程 供 应 过 程 开 发 过 程 运 行 过 程 维 护 过 程 支 持 过 程 是 有 关 各 方 按 他 们 的 支 持 目 标 所 从 事 的 一 系 列 相 关 活 动 集 包 括 8 个 过 程 : 文 档 过 程 配 置 管 理 过 程 质 量 保 证 过 程 验 证 过 程 确 认 过 程 联 合 评 审 过 程 审 计 过 程 问 题 解 决 过 程 等 组 织 过 程 是 指 那 些 与 软 件 生 产 组 织 有 关 的 过 程 包 括 7 个 过 程 :a) 管 理 过 程 ; b) 基 础 设 施 过 程 ; c) 改 进 过 程 ; d) 人 力 资 源 过 程 ; f) 资 产 管 理 过 程 ; g) 复 用 程 序 管 理 过 程 h) 领 域 软 件 工 程 过 程 3) 软 件 过 程 和 软 件 开 发 模 型 的 区 别? 软 件 过 程 : 系 统 化 地 给 出 了 软 件 开 发 所 需 要 的 任 务 ; 软 件 开 发 模 型 : 如 何 根 据 软 件 项 目 特 点 环 境 因 素 等, 选 择 并 组 织 这 些 开 发 任 务 4) 软 件 开 发 模 型 的 概 念 : 软 件 开 发 模 型 是 软 件 开 发 全 部 过 程 活 动 和 任 务 的 结 构 框 架 软 件 开 发 模 型 能 清 晰 直 观 地 表 达 软 件 开 发 全 部 过 程, 明 确 规 定 要 完 成 的 主 要 活 动 和 任 务, 它 用 来 作 为 软 件 项 目 工 作 的 基 础 - 外 征 : 软 件 开 发 活 动 的 组 织 - 内 涵 : 求 解 软 件 的 计 算 逻 辑
5) 各 模 型 之 间 的 差 异 ( 这 些 差 异 本 质 上 体 现 了 求 解 软 件 所 采 用 的 不 同 计 算 逻 辑 ) 例 如 : 瀑 布 模 型 和 喷 泉 模 型 的 区 别? 演 化 模 型 和 增 量 模 型 的 区 别 等? 第 三 章 软 件 需 求 与 软 件 需 求 规 约 不 论 是 采 用 自 顶 向 下 的 软 件 开 发, 还 是 采 用 自 底 向 上 的 软 件 开 发, 软 件 需 求 是 软 件 开 发 的 工 作 基 础 基 本 要 求 : 1) 需 求 的 定 义 : 一 个 需 求 是 一 个 有 关 要 予 构 造 的 陈 述, 描 述 了 待 开 发 产 品 / 系 统 ( 或 项 ) 功 能 上 的 能 力 性 能 参 数 或 者 其 它 性 质 2) 常 用 的 需 求 发 现 技 术 有 哪 些? 常 用 的 发 现 初 始 需 求 的 技 术, 包 括 : 自 悟 (Introspection) 需 求 人 员 把 自 己 作 为 系 统 的 最 终 用 户, 审 视 该 系 统 并 提 出 问 题 : 如 果 是 我 使 用 这 一 系 统, 则 我 需 要 适 用 条 件 : 需 求 工 程 师 不 能 直 接 与 用 户 进 行 交 流 交 谈 (Individual interviews) 为 了 确 定 系 统 应 该 提 供 的 功 能, 需 求 人 员 通 过 提 出 问 题, 用 户 回 答, 直 接 询 问 用 户 想 要 的 是 一 个 什 么 样 的 系 统 成 功 条 件 : 交 谈 通 常 是 一 种 比 自 悟 更 好 的 技 术 这 种 途 径 成 功 与 否 依 赖 于 : -- 需 求 人 员 是 否 具 有 正 确 提 出 问 题 的 能 力, -- 回 答 人 员 是 否 具 有 揭 示 需 求 本 意 的 能 力 观 察 (Observation) 通 过 观 察 用 户 执 行 其 现 行 的 任 务 和 过 程, 或 通 过 观 察 他 们 如 何 操 作 与 所 期 望 的 新 系 统 有 关 的 现 有 系 统, 了 解 系 统 运 行 的 环 境, 特 别 是 了 解 要 建 的 新 系 统 与 现 存 系 统 过 程 以 及 工 作 方 法 之 间 必 须 进 行 的 交 互 小 组 会 (Group session) 举 行 客 户 和 开 发 人 员 的 联 席 会 议, 与 客 户 组 织 的 一 些 代 表 共 同 开 发 需 求 提 炼 (Extraction) 复 审 技 术 文 档 ( 例 如, 有 关 需 要 的 陈 述, 功 能 和 性 能 目 标 的 陈 述, 系 统 规 约 接 口 标 准, 硬 件 设 计 文 档 以 及 ConOps 文 档 ), 并 提 出 相 关 的 信 息 适 用 条 件 : 提 炼 方 法 是 针 对 已 经 有 了 部 分 需 求 文 档 的 情 况 依 据 产 品 的 本 来 情 况, 可 能 有 很 多 文 档 需 要 复 审, 以 确 定 其 中 是 否 包 含 相 关 联 的 信 息 3) 软 件 需 求 规 约 的 概 念 : 一 个 需 求 规 约 是 一 个 软 件 项 / 产 品 / 系 统 所 有 需 求 陈 述 的 正 式 文 档, 是 一 个 软 件 产 品 / 系 统 的 概 念 模 型
4) 软 件 需 求 规 约 的 基 本 性 质 : 一 般 来 说,SRS 应 必 须 具 有 以 下 4 个 性 质 : 重 要 性 和 稳 定 性 程 度 (Ranked for importance and stability) 可 修 改 的 (Modifiable) 在 不 过 多 地 影 响 其 它 需 求 的 前 提 下, 可 以 容 易 地 修 改 一 个 单 一 需 求 完 整 的 (Complete) 没 有 被 遗 漏 的 需 求 一 致 的 (Consistent) 不 存 在 互 斥 的 需 求 重 点 要 求 : 1) 需 求 分 哪 几 类? 功 能 需 求 功 能 需 求 规 约 了 系 统 或 系 统 构 件 必 须 执 行 的 功 能 功 能 需 求 是 整 个 需 求 的 主 体, 即 没 有 功 能 需 求, 就 没 有 非 功 能 需 求, 即 性 能 需 求 外 部 接 口 需 求 设 计 约 束 和 质 量 属 性 性 能 需 求 性 能 需 求 (Performance requirement) 规 约 了 一 个 系 统 或 系 统 构 件 必 须 具 有 的 性 能 特 性 性 能 需 求 隐 含 了 一 些 满 足 功 能 需 求 的 设 计 方 案, 经 常 对 设 计 产 生 一 些 关 键 的 影 响 例 如 : 排 序, 关 于 花 费 时 间 的 规 约 将 确 定 哪 种 算 法 是 可 行 的 外 部 接 口 需 求 外 部 接 口 需 求 (External interface requirement) 规 约 了 系 统 或 系 统 构 件 必 须 与 之 交 互 的 硬 件 软 件 或 数 据 库 元 素 它 也 可 能 规 约 其 格 式 时 间 或 其 他 因 素 设 计 约 束 设 计 约 束 限 制 了 系 统 或 系 统 构 件 的 设 计 方 案 为 了 满 足 功 能 性 能 和 其 它 需 求, 许 多 设 计 约 束 将 对 软 件 项 目 规 划 所 需 要 的 附 加 成 本 和 工 作 产 生 直 接 影 响 质 量 属 性 质 量 属 性 (Quality attribute) 规 约 了 软 件 产 品 必 须 具 有 的 一 个 性 质 是 否 达 到 质 量 方 面 一 个 所 期 望 的 水 平 2) 什 么 样 的 陈 述 可 以 作 为 需 求?( 即 需 求 的 基 本 性 质 ) IEEE 标 准 830-1998 要 求 单 一 需 求 必 须 具 有 5 个 基 本 性 质 : 必 要 的 (Necessary) 是 要 求 的 吗? 无 歧 义 的 (Unambiguous) 只 能 用 一 种 方 式 解 释 吗? 可 测 的 (testable) 可 以 对 它 进 行 测 试 吗? 可 跟 踪 的 (Traceable) 可 以 从 一 个 开 发 阶 段 到 另 一 个 阶 段 对 它 进 行 跟 踪 吗? 可 测 量 的 (Measurable) 可 以 对 它 进 行 测 量 吗? 3) 需 求 规 约 的 作 用? 需 求 规 约 的 作 用 可 概 括 为 :
第 一 也 是 最 重 要 的, 作 为 软 件 开 发 组 织 和 用 户 之 间 一 份 事 实 上 的 技 术 合 同 书 ; 是 产 品 功 能 及 其 环 境 的 体 现 第 二, 对 于 项 目 的 其 余 大 多 数 工 作, 它 是 一 个 管 理 控 制 点 第 三, 对 于 产 品 的 设 计, 它 是 一 个 正 式 的 受 控 的 起 始 点 第 四, 是 创 建 产 品 验 收 测 试 计 划 和 用 户 指 南 的 基 础, 即 基 于 需 求 分 析 规 约 一 般 还 会 产 生 另 外 两 个 文 档 初 始 测 试 计 划 和 用 户 系 统 操 作 描 述 SRS 所 不 能 实 现 的 作 用 : 第 一, 它 不 是 一 个 设 计 文 档 它 是 一 个 为 了 设 计 的 文 档 第 二, 它 不 是 进 度 或 规 划 文 档, 不 应 该 包 含 更 适 宜 包 含 在 工 作 陈 述 (SOW) 软 件 项 目 管 理 计 划 (SPMP) 软 件 生 存 周 期 管 理 计 划 (SLCMP) 软 件 配 置 管 理 计 划 (SCMP) 或 软 件 质 量 保 证 计 划 (SQAP) 等 文 档 中 的 信 息 因 此, 在 SRS 中 不 应 给 出 : 项 目 成 本 ; 交 付 进 度 ; 报 告 规 程 ; 软 件 开 发 方 法 ; 质 量 保 证 规 程 ; 配 置 管 理 规 程 ; 验 证 和 确 认 规 程 ; 验 收 规 程 ; 安 装 规 程 4) 项 目 的 需 求 和 软 件 需 求 规 约 的 区 别? 项 目 需 求 是 客 户 和 开 发 者 之 间 有 关 技 术 合 同 - 产 品 / 系 统 需 求 的 理 解, 应 记 录 在 工 作 陈 述 SOW 中 或 其 他 某 一 项 目 文 档 ( 例 如, 项 目 管 理 计 划 ) 中 即 SRS 应 只 关 注 产 品 需 求, 即 : 产 品 / 系 统 需 求 - 交 付 给 客 户 的 产 品 是 什 么 SOW 应 关 注 项 目 工 作 与 管 理, 即 : 项 目 需 求 - 开 发 组 要 做 的 是 什 么 第 四 章 结 构 化 分 析 方 法 本 章 主 要 介 绍 了 通 常 所 说 的 需 求 分 析 根 据 软 件 工 程 框 架, 软 件 工 程 活 动 包 括 需 求 设 计 实 现 确 认 和 支 持 通 常, 我 们 把 其 中 的 需 求 看 作 是 软 件 开 发 的 一 个 阶 段, 在 这 一 阶 段 中, 主 要 包 括 需 求 获 取 需 求 分 析 和 需 求 验 证 等 活 动 需 求 获 取 的 任 务 是 给 出 软 件 系 统 的 需 求 定 义, 即 软 件 需 求 的 完 整 定 义 它 是 软 件 开 发 人 员 与 用 户 密 切 合 作, 了 解 用 户 的 需 求 目 的 和 期 望, 并 进 一 步 表 述 而 成 的 定 义 性 陈 述 ( 参 见 计 算 机 科 学 技 术 百 科 全 书 ( 第 二 版 ), 清 华 大 学 出 版 社 ) 需 求 分 析 的 任 务 是 通 过 形 式 化 或 半 形 式 化 手 段, 建 立 系 统 模 型, 该 模 型 正 确 地 系 统 地 表 达 了 系 统 的 需 求, 即 建 立 完 整 的 需 求 规 约 (SRS, Software Requirement Specification), 为 此, 人 们 提 出 了 不 同 范 型 的 软 件 需 求 分 析 方 法, 例 如 结 构 化 分 析 方 法 面 向 对 象 分 析 方 法 以 及 面 向 数 据 结 构 的 系 统 分 析 方 法 等, 狭 义 地 说, 这 些 分 析 方 法 也 可 称 为 方 法 学
需 求 验 证 的 任 务 是 保 证 需 求 规 约 的 正 确 性 ( 即 SRS 中 陈 述 的 每 个 需 求 都 表 达 了 将 要 构 造 的 系 统 的 某 种 要 求 ) 完 整 性 ( 即 未 来 系 统 所 做 的 任 何 事 情 均 包 括 在 SRS 的 陈 述 中 ; 在 SRS 中 包 括 了 未 来 系 统 在 所 有 可 能 的 情 况 下 对 所 有 可 能 输 入 - 有 效 输 入 和 无 效 输 入 - 的 响 应 ; SRS 中 没 有 任 何 内 容 被 标 为 待 定 无 二 义 性 ( 即 在 SRS 中 陈 述 的 每 个 需 求 都 只 有 唯 一 的 一 种 解 释 ) 一 致 性 ( 即 在 SRS 中 的 陈 述, 没 有 与 以 前 的 文 档 发 生 冲 突,SRS 中 陈 述 的 各 个 需 求 之 间 也 不 发 生 冲 突 ) 以 及 可 验 证 性 可 理 解 性 可 修 改 性 等 重 点 要 求 : 支 持 需 求 分 析 的 结 构 化 方 法 1) 结 构 化 分 析 方 法 中 引 入 的 基 本 概 念 及 表 示 结 构 化 分 析 方 法 是 一 种 基 于 数 据 流 的 方 法, 为 此 引 入 了 数 据 流 变 换 ( 加 工 ) 数 据 存 储 数 据 源 和 数 据 潭 等 概 念 结 构 化 分 析 的 结 果 是 建 立 了 系 统 模 型, 并 采 用 数 据 流 图 作 为 工 具 表 示 之 结 构 化 分 析 方 法 所 建 立 的 系 统 模 型 包 括 三 个 方 面 : DFD( 数 据 流 图 ) 数 据 字 典 小 说 明 2) 结 构 化 分 析 过 程 结 构 化 分 析 过 程 可 概 括 为 : (1) 确 定 系 统 边 界, 画 出 系 统 环 境 图 (2) 自 顶 向 下, 画 出 各 层 数 据 流 图 (3) 定 义 数 据 字 典 (4) 定 义 小 说 明 (5) 汇 总 各 步 结 果 3) 针 对 一 个 简 单 的 需 求 定 义 ( 文 字 叙 述 的 系 统 需 求 说 明 ), 能 够 给 出 该 系 统 的 DFD( 三 层 ), 并 能 给 出 相 应 的 数 据 字 典 和 加 工 小 说 明 第 五 章 结 构 化 设 计 系 统 分 析 的 结 果 是 建 立 的 一 个 系 统 的 系 统 模 型, 以 此 确 定 了 系 统 做 什 么 软 件 设 计 是 在 需 求 分 析 的 基 础 上 来 确 定 怎 么 做, 即 以 软 件 需 求 规 格 说 明 书 为 基 础, 形 成 软 件 的 具 体 设 计 方 案, 即 给 出 系 统 的 整 体 模 块 结 构 和 每 一 模 块 过 程 属 性 的 描 述 算 法 设 计 其 中, 给 出 系 统 整 体 模 块 结 构 的 过 程 称 为 总 体 设 计 或 概 要 设 计, 给 出 每 一 模 块 过 程 属 性 描 述 的 过 程 称 为 详 细 设 计 就 结 构 化 总 体 设 计 而 言, 其 主 要 任 务 就 是 如 何 将 一 个 系 统 的 DFD 转 化 为 模 块 结 构 图 (MSD), 或 者 说 把 系 统 的 功 能 需 求 分 配 给 模 块 结 构 图 为 此, 首 先 要 对 诸 多 系 统 的 DFD 进 行 分 类, 以 便 控 制 求 解 这 一 问 题 的 复 杂 性 DFD 可 分 为 两 类, 一 类 是 事 务 型 数 据 流 图, 一 类 是 变 换 型 数 据 流 图 在 此 基 础 上, 给 出 了 每 一 类 DFD 转 换 为 模 块 结 构 图 的 方 法
详 细 设 计 的 主 要 任 务 是 定 义 模 块, 即 给 出 实 现 模 块 功 能 的 实 现 机 制, 包 括 算 法 和 数 据 结 构 基 本 要 求 : 1) 变 换 型 事 务 型 数 据 流 图 的 概 念 ; 变 换 型 数 据 流 图 : 具 有 较 明 显 的 输 入 变 换 ( 或 称 主 加 工 ) 输 出 界 面 的 数 据 流 图, 称 为 变 换 型 数 据 流 图 事 务 型 数 据 流 图 : 数 据 达 到 一 个 处 理 T, 该 处 理 T 根 据 输 入 数 据 的 类 型 或 数 据 值, 在 其 后 的 若 干 动 作 序 列 ( 称 为 一 个 事 务 ) 中 选 出 一 个 来 执 行, 这 类 数 据 流 图 称 为 事 务 型 数 据 流 图 2) 如 何 将 变 换 型 DFD 转 换 为 初 始 的 模 块 结 构 图 ; 3) 如 何 将 事 务 型 DFD 转 换 为 初 始 的 模 块 结 构 图 ; 4) 如 何 根 据 低 耦 合 高 内 聚 的 模 块 独 立 性 等 原 则, 将 初 始 的 模 块 结 构 图 转 换 为 最 终 可 供 详 细 设 计 使 用 的 模 块 结 构 图 5) 详 细 设 计 工 具 : 程 序 框 图 N-S 图 PAD 图 伪 码 熟 练 掌 握 以 上 设 计 工 具 的 表 示 重 点 要 求 : 1) 如 何 将 变 换 型 DFD 转 换 为 初 始 的 模 块 结 构 图 ; 2) 如 何 将 事 务 型 DFD 转 换 为 初 始 的 模 块 结 构 图 ; 3) 详 细 设 计 工 具 的 各 种 表 示 以 及 详 细 设 计 不 同 表 示 形 式 的 转 换 第 七 章 面 向 对 象 方 法 - UML 及 OOA 本 章 复 习 请 认 真 阅 读 课 程 讲 义 胶 片
就 软 件 开 发 方 法 学 而 言,UML 作 为 一 种 半 形 式 化 语 言, 给 出 了 方 法 学 中 可 用 于 不 同 抽 象 层 次 的 术 语 表, 给 出 了 表 达 各 种 模 型 的 表 达 格 式 表 达 模 型 的 工 具 -USE CASE 图 表 达 模 型 的 工 具 - 类 图 交 互 图 等 表 达 模 型 的 工 具 - 类 图 交 互 图 等 表 达 模 型 的 工 具 需 求 获 取 层 需 求 分 析 层 设 计 基 于 面 向 对 象 方 法 的 世 界 观, 即 大 千 世 界 是 由 对 象 组 成 的, 对 象 有 其 自 己 的 属 性 和 运 动 规 律, 对 象 之 间 的 相 互 作 用 构 成 了 客 观 世 界 各 种 各 样 的 系 统, 为 了 支 持 软 件 开 发, 面 向 对 象 方 法 主 要 提 供 了 两 类 术 语 : 一 类 是 结 构 化 地 表 达 客 观 事 物 的 术 语 ; 一 类 是 表 达 客 观 事 物 之 间 关 系 ( 相 互 作 用 \ 相 互 影 响 ) 的 术 语 除 了 这 两 类 术 语 之 外, 为 了 控 制 信 息 组 织 和 文 档 组 织 的 复 杂 性, 还 引 入 了 用 于 组 织 特 定 对 象 结 构 的 包 包 是 模 型 元 素 的 一 个 分 组 一 个 包 本 身 可 以 嵌 套 在 其 他 包 中, 并 且 可 以 具 有 子 包 和 其 他 种 类 的 模 型 元 素 为 了 使 建 造 的 系 统 模 型 容 易 理 解, 引 入 了 术 语 - 注 解, 用 于 对 模 型 增 加 一 些 辅 助 性 说 明 基 本 要 求 : 1 结 构 化 地 表 达 客 观 事 物 的 术 语 : (1) 类 与 对 象 - 体 现 数 据 抽 象 1 ) 类 和 对 象 的 定 义 与 表 示 : 类 (Class): 是 一 组 具 有 相 同 属 性 操 作 关 系 和 语 义 的 对 象 的 描 述 对 象 (object): 对 象 是 类 的 一 个 实 例 a) 类 表 示 为 具 有 三 个 栏 目 的 矩 形, 如 下 所 示 :
b) 依 据 类 出 现 的 场 景, 可 以 给 出 如 下 简 化 的 表 示 : 类 所 在 的 包 名 简 单 名 限 定 名 c) 类 可 以 是 抽 象 类, 即 没 有 实 例 的 类, 此 时 类 名 采 用 斜 体 字 : Window Window size:area visibility:boolean display( ) hide( ) d) 主 动 类 的 表 示 e) 对 象 的 表 示 2) 属 性
属 性 是 类 的 一 个 命 名 特 性, 由 该 类 的 所 有 对 象 所 共 享, 用 于 表 达 对 象 状 态 的 数 据 属 性 是 用 来 描 述 对 象 静 态 特 征 的 一 个 数 据 项 a) 属 性 的 作 用 范 围 : 实 例 范 围 的 属 性 : 一 个 类 的 所 有 对 象 具 有 相 同 的 属 性 即 属 性 的 个 数 名 称 数 据 类 型 相 同, 但 属 性 值 可 不 同, 并 随 程 序 的 执 行 而 变 化. 实 例 范 围 的 属 性 是 默 认 的, 不 需 要 附 加 的 符 号. 类 范 围 的 属 性 : 描 述 类 的 所 有 对 象 共 同 特 征 的 一 个 数 据 项, 对 于 任 何 对 象 实 例, 它 的 属 性 值 都 是 相 同 的, 通 常 对 属 性 加 下 划 线 来 表 示 该 属 性 为 实 例 范 围 的 属 性. 注 : 如 C++ 中 冠 以 static 的 成 员 变 量 和 smalltalk 中 的 class attribute 都 是 类 属 性 Frame header:frameheader uniqueid:long 实 例 范 围 的 属 性 类 范 围 的 属 性 b) 定 义 属 性 的 格 式 为 : [ 可 见 性 ] 属 性 名 [: 类 型 ][ 多 重 性 ][= 初 始 值 ][{ 特 性 串 }] 可 见 性 表 明 该 属 性 是 否 可 以 被 其 它 类 所 使 用 其 可 见 性 的 值 可 以 为 : + 公 有 的 : 可 供 其 它 类 使 用 之 ; # 受 保 护 的 : 其 子 类 可 以 使 用 之 ; - 私 有 的 : 只 有 本 类 的 操 作 才 能 使 用 之 ; 包 内 的 : 只 有 在 同 一 包 中 声 名 的 类 才 能 使 用 之 也 可 以 使 用 关 键 字 public protected private 和 package, 分 别 表 示 公 有 的 受 保 护 的 私 有 的 和 包 内 的 引 入 可 见 性 的 目 的, 是 为 了 支 持 信 息 隐 蔽 这 一 软 件 设 计 原 则 所 谓 信 息 隐 蔽 是 指 在 每 个 模 块 中 所 包 含 的 信 息 ( 包 括 表 达 信 息 的 数 据 以 及 表 达 信 息 处 理 的 过 程 ) 不 允 许 其 它 不 需 要 这 些 信 息 的 模 块 访 问 信 息 隐 蔽 是 实 现 模 块 低 耦 合 的 一 种 有 效 途 径 属 性 名 属 性 名 是 一 个 表 示 属 性 名 字 的 标 识 串 通 常 以 小 写 字 母 开 头, 左 对 齐 类 型 类 型 是 对 属 性 实 现 类 型 的 规 约, 与 具 体 实 现 语 言 有 关 多 重 性 多 重 性 用 于 表 达 属 性 值 的 数 目 即 该 类 实 例 的 这 一 特 性 可 以 具 有 的 值 的 范 围 例 如 :points[2..*]:point
初 始 值 初 始 值 是 与 语 言 相 关 的 表 达 式, 用 于 为 新 建 立 的 对 象 赋 予 初 始 值 例 如 : origin:point=(0,0) 性 质 串 如 果 说 类 型 多 重 性 以 及 初 始 值 都 是 围 绕 一 个 属 性 的 可 取 值 而 给 出 的, 那 么 性 质 串 是 为 了 表 达 该 属 性 所 具 有 的 性 质 而 给 出 的 例 如 : a:integer=1{frozen} 3) 操 作 操 作 是 对 一 个 类 中 所 有 对 象 要 做 的 事 情 的 抽 象. 操 作 是 用 来 描 述 对 象 动 态 特 征 ( 行 为 ) 的 一 个 动 作 序 列 a) 操 作 的 作 用 范 围 b) 表 达 操 作 的 完 整 语 法 格 式 为 : [ 可 见 性 ] 操 作 名 [( 参 数 表 )][: 返 回 类 型 ][{ 性 质 串 }] 其 中 : 可 见 性 如 同 属 性 的 可 见 性 一 样, 其 值 可 以 为 : + 公 有 的 可 供 其 它 类 访 问 之 ; # 受 保 护 的 其 子 类 能 访 问 之 ; - 私 有 的 只 有 本 类 的 操 作 才 能 访 问 之 ; 包 内 的 只 有 在 同 一 包 中 声 名 的 类 才 能 访 问 之 当 把 可 见 性 作 为 操 作 分 栏 中 的 性 质 串 时, 使 用 关 键 字 public protected private 和 package, 分 别 表 示 公 有 的 受 保 护 的 私 有 的 和 包 内 的 操 作 名 操 作 名 一 般 是 一 动 词 或 动 词 短 语, 通 常 以 小 写 字 母 开 头, 左 对 齐 参 数 表 给 出 该 操 作 的 参 数 返 回 类 型 返 回 类 型 是 对 操 作 的 实 现 类 型 或 操 作 的 返 回 值 类 型 的 规 约, 它 与 具 体 的 实 现 语 言 有 关 性 质 串 给 出 应 用 于 该 操 作 的 性 质 值
(2) 接 口 -- 体 现 功 能 抽 象 接 口 (interface) 是 操 作 的 一 个 集 合, 其 中 每 个 操 作 描 述 了 类 或 构 件 的 一 个 服 务 可 以 用 带 有 分 栏 和 关 键 字 <<interface>> 的 矩 形 符 号 来 表 示 接 口 其 中 : 在 操 作 分 栏 中 给 出 接 口 支 持 的 操 作 列 表 接 口 的 属 性 分 栏 总 是 空 的 类 提 供 的 接 口 ( 供 接 口 ) 类 需 要 的 接 口 ( 需 接 口 ) (3) 协 作 (collaboration)-- 体 现 行 为 结 构 抽 象 协 作 是 一 个 交 互, 涉 及 交 互 三 要 素 : 交 互 各 方 交 互 方 式 以 及 交 互 内 容 交 互 各 方 的 共 同 工 作 提 供 了 某 种 协 作 行 为 统 计 学 生 成 绩 分 布 (4) 用 况 (use case)-- 体 现 功 能 抽 象 是 对 一 组 动 作 序 列 的 描 述, 系 统 执 行 这 些 动 作 应 产 生 对 特 定 的 参 与 者 有 值 的 可 观 察 的 结 果 (5) 主 动 类 (active class)-- 体 现 并 发 行 为 抽 象 是 一 种 至 少 具 有 一 个 进 程 或 线 程 的 类, 因 此 它 能 够 启 动 控 制 活 动
(6) 构 件 (component) 是 系 统 设 计 的 模 块 化 部 件, 通 过 外 部 接 口 隐 藏 了 它 的 内 部 实 现. 构 件 遵 循 并 提 供 了 一 组 接 口 的 实 现. (7) 制 品 (artifact) 是 系 统 中 物 理 的 可 替 代 的 部 件, 其 中 包 含 物 理 信 息 ( 比 特 ) 表 示 : artifact Window.dll (8) 节 点 (node) 是 在 运 行 时 存 在 的 物 理 元 素, 通 常 它 表 示 一 种 具 有 记 忆 能 力 和 处 理 能 力 的 计 算 机 资 源 Server 小 结 1 抽 象 客 观 世 界 中 任 何 实 体 的 基 本 术 语 UML 给 出 了 以 上 八 个 术 语 ( 模 型 化 概 念 ) -- 类 接 口 协 作 用 况 主 动 类 构 件 制 品 节 点, 它 们 是 可 包 含 在 一 个 UML 模 型 中 的 基 本 模 型 化 元 素 它 们 存 在 一 些 变 体, 例 如 : 类 的 变 体 - 参 与 者 信 号 实 用 程 序 ; 主 动 类 的 变 体 - 进 程 和 线 程 ; 制 品 的 变 体 - 应 用 文 档 库 页 和 表 等 在 UML 中, 把 以 上 结 构 化 概 念 统 称 为 类 目 (classifier)
2 表 达 关 系 的 术 语 在 UML 中, 提 供 了 以 下 4 种 关 系, 作 为 UML 模 型 中 的 基 本 关 系 构 造 块, 表 达 类 目 之 间 的 关 系, 以 构 造 一 个 结 构 良 好 的 UML 模 型. 关 联 (association) 泛 化 (generalization) 实 现 (realization) 依 赖 (dependency) (1) 泛 化 泛 化 是 一 般 性 事 物 ( 称 为 超 类 或 父 类 ) 和 它 的 较 为 特 殊 种 类 ( 称 为 子 类 ) 之 间 的 一 种 关 系, 有 时 称 为 is-a-kind-of 关 系 如 果 类 A 具 有 类 B 的 全 部 属 性 和 全 部 操 作, 而 且 具 有 自 己 特 有 的 某 些 属 性 或 操 作, 则 A 叫 做 B 的 特 殊 类,B 叫 做 A 的 一 般 类 特 殊 类 的 对 象 拥 有 其 一 般 类 的 全 部 属 性 和 操 作, 称 作 特 殊 类 对 一 般 类 的 继 承 继 承 关 系 又 称 为 一 般 - 特 殊 关 系, 在 UML 中 把 继 承 关 系 称 为 泛 化 关 系 (2) 聚 合 一 种 特 殊 形 式 的 关 联, 表 达 一 种 整 体 / 部 分 关 系 即 一 个 类 表 示 了 一 个 大 的 事 物, 它 是 有 一 些 小 的 事 物 ( 部 分 ) 组 成 的 一 个 类 的 对 象, 以 另 一 个 类 的 对 象 作 为 其 组 成 部 分, 这 样 的 对 象 之 间 具 有 a part of 或 has a 语 义 聚 合 是 对 象 实 例 之 间 的 关 系 组 合 是 聚 合 的 一 种 形 式, 其 部 分 和 整 体 之 间 具 有 很 强 的 属 于 关 系, 整 体 类 的 对 象 管 理 部 分 类 的 对 象, 决 定 部 分 类 的 对 象 何 时 属 于 它, 何 时 不 属 于 它
具 有 聚 合 关 系 的 对 象 之 间 的 关 系, 有 两 种 实 现 方 式 : 第 一 种 方 式 是 用 部 分 对 象 的 类 作 为 一 种 广 义 的 数 据 类 型 来 定 义 整 体 对 象 的 一 个 属 性, 构 成 一 个 嵌 套 对 象 ; 采 用 嵌 套 对 象 方 式 时, 一 个 部 分 对 象 称 为 整 体 对 象 不 可 分 割 的 一 部 分, 其 数 据 空 间 包 含 在 整 体 对 象 之 中, 从 生 存 时 间 看 它 与 整 体 对 象 同 生 同 灭 这 种 方 式 适 合 于 表 达 紧 密 的 固 定 不 变 的 聚 合 关 系, 如 飞 机 和 发 动 机 人 体 和 消 化 系 统 等 第 二 种 方 式 是 独 立 地 定 义 和 创 建 整 体 对 象 和 部 分 对 象, 并 在 整 体 对 象 中 设 立 一 个 属 性, 它 的 值 是 部 分 对 象 的 对 象 标 识, 或 是 一 个 指 向 部 分 对 象 的 指 针 采 用 对 象 指 针 或 对 象 标 识 方 式 时, 整 体 对 象 和 部 分 对 象 是 各 自 独 立 创 建 的 这 种 方 式 适 合 于 表 达 松 散 的 动 态 变 化 的 聚 合 关 系, 并 可 表 达 一 个 部 分 对 象 能 同 时 属 于 多 个 整 体 的 情 况 如 一 个 企 业 与 它 的 法 律 顾 问 就 是 这 种 松 散 的 聚 合 关 系 (3) 关 联 关 联 是 类 目 之 间 的 结 构 关 系, 描 述 了 一 组 具 有 相 同 结 构 相 同 语 义 的 链 (links). 链 是 对 象 之 间 的 连 接 (connection) 它 指 明 一 个 类 的 对 象 与 另 一 个 类 的 对 象 间 的 联 系 如 果 类 的 对 象 之 间 通 过 属 性 有 连 接 关 系, 那 么 这 些 类 之 间 的 语 义 关 系 就 是 关 联 两 个 类 之 间 可 以 有 多 个 关 联 链 是 关 联 的 实 例, 是 对 象 间 的 语 义 连 接, 是 对 象 引 用 的 元 组 ( 列 表 ) 在 最 常 见 的 情 况 下, 它 是 一 对 对 象 引 用 关 联 表 示 对 象 之 间 的 静 态 联 系 ( 即 通 过 对 象 ( 实 例 ) 属 性 体 现 的 联 系 ), 如 教 师 和 学 生 之 间 的 任 课 关 系, 在 实 现 中 可 以 通 过 对 象 ( 实 例 ) 的 属 性 表 达 出 来 关 联 与 整 体 部 分 结 构 很 相 似, 但 是 它 没 有 明 显 的 整 体 与 部 分 语 义
(4) 依 赖 依 赖 是 一 种 使 用 关 系, 说 明 一 个 事 物 ( 如 类 windows) 使 用 另 一 个 事 物 ( 如 类 event) 的 信 息 和 服 务 显 然 在 这 种 情 况 下, 如 果 被 使 用 的 类 发 生 变 化, 那 么 另 一 个 类 的 操 作 也 会 受 到 一 定 影 响 在 UML 中, 把 依 赖 表 示 为 一 条 有 向 虚 线 段, 如 下 图 所 示 (5) 细 化 (realization) 定 义 : 细 化 是 类 目 之 间 的 一 种 语 义 关 系, 其 中 一 个 类 目 规 约 了 保 证 另 一 个 类 目 执 行 的 契 约 说 明 : 在 以 下 2 个 地 方 会 使 用 细 化 关 系 : 接 口 与 实 现 它 们 的 类 和 构 件 之 间 ; 用 况 与 实 现 它 们 的 协 作 之 间 多 态 性 对 象 的 多 态 性 是 指 在 一 般 类 中 定 义 的 属 性 或 操 作 被 特 殊 类 继 承 之 后, 可 以 具 有 不 同 的 数 据 类 型 或 表 现 出 不 同 的 行 为 这 使 得 一 个 属 性 或 操 作 名 在 一 般 类 及 其 各 个 特 殊 类 中 具 有 不 同 的 语 义 重 点 要 求 :
1 熟 练 掌 握 UML 的 各 种 概 念 及 表 示 方 法 : 可 用 于 抽 象 客 观 世 界 中 任 何 实 体 的 基 本 术 语 : 类 接 口 协 作 用 况 主 动 类 构 件 制 品 节 点, 以 及 相 关 的 变 体 在 UML 中, 把 以 上 结 构 化 概 念 统 称 为 类 目 (classifier) 可 用 于 组 织 信 息 的 术 语 包, 以 及 可 用 于 解 释 信 息 的 术 语 注 解 可 用 于 抽 象 客 观 世 界 中 任 何 实 体 关 系 的 基 本 术 语 : 关 联, 泛 化, 细 化, 依 赖, 以 及 相 关 的 特 殊 形 式 其 中 为 了 增 强 关 系 语 义 的 表 达, 还 给 出 了 一 些 基 本 概 念, 例 如 角 色 名, 多 重 性, 限 定 符, 关 联 类 等 2 针 对 一 个 简 单 的 问 题, 能 够 建 立 用 况 图 类 图 以 及 包 图 状 态 图 并 以 一 个 交 互 为 例, 给 出 其 顺 序 图 3 OOA 的 过 程 : (1) 发 现 对 象 定 义 它 们 的 类 ; (2) 识 别 对 象 的 内 部 特 征 ; 定 义 属 性 定 义 操 作 (3) 识 别 对 象 的 外 部 关 系 分 类 关 系 继 承 泛 化 ( 一 般 - 特 殊 ) 泛 化 一 般 类 特 殊 类 构 成 关 系 聚 合 ( 整 体 - 部 分 ) 聚 合 聚 集 成 分 组 合 静 态 联 系 关 联 ( 实 例 连 接 ) 关 联 链 多 重 性 角 色 多 元 关 联 关 联 类 使 用 关 系 ( 行 为 依 赖 ) 依 赖 依 赖 (4) 给 出 系 统 的 相 关 顺 序 图 通 讯 图 和 活 动 图 等, 以 建 立 系 统 的 动 态 模 型 (5) 划 分 包, 建 立 系 统 的 包 图 (6) 建 立 系 统 的 详 细 说 明 4 面 向 对 象 分 析 方 法 与 结 构 化 分 析 方 法 的 比 较 (1) 面 向 对 象 方 法 在 建 造 系 统 模 型 时, 捕 获 的 是 比 较 稳 定 的 原 子 - 对 象, 而 结 构 化 方 法 捕 获 的 是 相 对 不 太 稳 定 的 加 工 和 数 据, 因 此, 用 面 向 对 象 方 法 建 造 的 模 型 是 比 较 稳 定 的 (2) 面 向 对 象 方 法 在 分 析 阶 段 和 设 计 阶 段 采 用 了 统 一 的 符 号 体 系, 而 结 构 化 方 法 不 然, 因 此, 从 分 析 到 设 计 需 要 一 个 映 射, 即 分 析 和 设 计 之 间 存 在 一 个 所 谓 的 鸿 沟, 但 面 向 对 象 方 法 几 乎 没 有 这 一 问 题 (3) 采 用 面 向 对 象 方 法 建 造 的 系 统 模 型 由 于 使 用 接 近 客 观 的 对 象 和 关 系, 作 为 模 型 的 基 本 元 素, 因 此 使 模 型 结 构 几 乎 与 客 观 世 界 保 持 一 致, 这 对 系 统 的 维 护 提 供 了 很 大 的 方 便 而 结 构 化 方 法 则 不 然, 由 于 使 用 过
程 抽 象 和 数 据 抽 象, 使 建 造 的 模 型 结 构 与 客 观 世 界 的 结 构 具 有 很 大 的 差 异 (4) 面 向 对 象 方 法 由 于 使 用 了 继 承 和 多 态 性 等 概 念, 因 此 可 以 支 持 复 用, 而 结 构 化 方 法 在 复 用 方 面, 也 不 及 面 向 对 象 方 法 5 面 向 对 象 分 析 方 法 中 复 杂 度 控 制 的 机 制 a) 信 息 组 织 的 复 杂 性 : 抽 象 : 从 许 多 事 物 中 舍 弃 个 别 的 非 本 质 的 特 征, 抽 取 共 同 的 本 质 性 的 特 征 : 系 统 中 的 对 象 是 对 现 实 世 界 中 事 物 的 抽 象 ; 类 是 对 象 的 抽 象 ; 一 般 类 是 对 特 殊 类 的 抽 象 ; 属 性 是 事 物 静 态 特 征 的 抽 象 ; 操 作 是 事 物 动 态 特 征 的 抽 象 分 类 机 制 : 把 具 有 相 同 属 性 和 操 作 的 对 象 划 分 为 一 类, 用 类 作 为 这 些 对 象 的 抽 象 描 述 继 承 : 特 殊 类 的 对 象 拥 有 其 一 般 类 的 全 部 属 性 和 服 务 ( 一 般 - 特 殊 结 构 ); 聚 合 : 把 一 个 复 杂 的 事 物 看 成 若 干 比 较 简 单 的 事 物 的 组 装 体, 从 而 简 化 对 复 杂 事 物 的 描 述 ( 整 体 - 部 分 结 构 ) 消 息 通 讯 : 要 求 对 象 之 间 只 能 通 过 消 息 进 行 通 讯, 而 不 允 许 在 对 象 之 外 直 接 地 存 取 对 象 内 部 的 属 性 多 个 视 图 : 从 多 个 角 度 认 识 系 统 b) 文 档 组 织 的 复 杂 性 控 制 机 制 包 : 使 模 型 具 有 大 小 不 同 的 粒 度 层 次, 以 利 于 控 制 复 杂 性 本 章 复 习 请 认 真 阅 读 课 程 讲 义 胶 片 第 七 章 面 向 对 象 设 计 主 要 介 绍 了 面 向 对 象 设 计 (OOD) 根 据 OOD 模 型, 比 较 详 细 地 讲 述 了 问 题 域 部 分, 人 机 交 互 部 分, 控 制 驱 动 部 分 和 数 据 管 理 部 分 的 设 计 并 针 对 每 一 部 分 设 计, 给 出 了 主 要 任 务 及 实 施 策 略
OOD 模 型 从 两 个 侧 面 来 描 述 基 本 要 求 : 1 OOD 模 型 的 四 个 组 成 部 分 : 问 题 域 部 分 : 将 OOA 结 果 搬 到 OOD, 并 根 据 实 现 条 件 ( 例 如 编 程 语 言 可 复 用 构 件 机 器 性 能 存 储 方 案 等 ) 做 必 要 的 补 充 与 调 整, 其 结 果 就 是 OOD 的 问 题 域 部 分 人 机 交 互 部 分 : 根 据 选 用 的 图 形 用 户 界 面 和 特 定 用 户 对 人 机 界 面 的 要 求 而 设 计 的 系 统 人 机 界 面 它 是 由 新 定 义 的 关 于 人 机 界 面 的 类 及 对 象 构 成 的 OOA: 通 过 人 机 界 面 反 映 需 求 ( 原 型 开 发 ) OOD: 设 计 人 机 交 互 的 细 节 控 制 驱 动 部 分 : 用 于 定 义 系 统 中 需 要 并 发 执 行 的 各 个 任 务 该 部 分 由 系 统 中 全 部 主 动 类 构 成 这 些 主 动 类 描 述 了 整 个 系 统 中 所 有 的 主 动 对 象, 每 个 主 动 对 象 是 系 统 中 的 一 个 控 制 流 的 驱 动 者 数 据 管 理 部 分 : 按 选 定 的 数 据 管 理 系 统 而 设 计 的 负 责 对 象 存 储 及 检 索 的 系 统 组 成 部 分 2 OOD 过 程 : 针 对 四 个 部 分, 进 行 四 个 相 应 的 设 计 活 动 : (1) 问 题 域 部 分 的 设 计
(2) 人 机 交 互 部 分 的 设 计 (3) 控 制 驱 动 部 分 的 设 计 (4) 数 据 管 理 部 分 的 设 计 3 OOD 每 一 部 分 设 计 的 主 要 任 务 第 八 章 软 件 测 试 本 章 主 要 针 对 程 序 测 试, 介 绍 了 两 种 常 有 的 测 试 技 术 基 于 白 盒 的 路 径 测 试 技 术 和 基 于 黑 盒 的 事 务 处 理 流 程 测 试 技 术 基 本 要 求 : 1) 软 件 测 试 与 调 试 的 差 异 ; 2) 测 试 过 程 模 型 ; 3) 路 径 测 试 技 术, 其 中 要 掌 握 该 技 术 的 基 本 概 念 ; 控 制 流 程 图 路 径 以 及 路 径 测 试 策 略, 并 能 针 对 一 个 特 定 的 控 制 流 程 图, 设 计 最 少 的 测 试 用 例, 实 现 语 句 覆 盖 分 支 覆 盖 和 条 件 组 合 覆 盖 ; 4) 事 务 流 测 试 技 术, 其 中 要 理 解 事 务 的 概 念, 并 清 楚 这 一 技 术 与 路 径 测 试 技 术 的 相 同 点 和 不 同 点 ; 5) 软 件 测 试 步 骤 ; 单 元 测 试 ( 往 往 采 用 白 盒 测 试 技 术 ): 集 中 于 每 个 独 立 的 模 块 该 测 试 以 详 细 设 计 文 档 为 指 导, 测 试 模 块 内 的 重 要 控 制 路 径 集 成 测 试 : 集 中 于 模 块 的 组 装 其 目 标 是 发 现 与 接 口 有 关 的 错 误, 将 经 过 单 元 测 试 的 模 块 构 成 一 个 满 足 设 计 要 求 的 软 件 结 构 有 效 性 测 试 : 目 标 是 发 现 软 件 实 现 的 功 能 与 需 求 规 格 说 明 书 不 一 致 的 错 误 ( 通 常 采 用 黑 盒 测 试 技 术 ) 系 统 测 试 : 集 中 检 验 系 统 所 有 元 素 ( 包 括 硬 件 软 件 ) 之 间 协 作 是 否 合 适, 整 个 系 统 的 性 能 功 能 是 否 达 到 单 元 测 试 在 实 现 阶 段 进 行, 它 所 依 据 的 模 块 功 能 描 述 和 内 部 细 节 以 及 测 试 方 案 应 在 详 细 设 计 阶 段 完 成, 目 的 是 发 现 编 程 错 误 集 成 测 试 所 依 据 的 模 块 说 明 书 和 测 试 方 案 应 在 概 要 设 计 阶 段 完 成, 它 能 发 现 设 计 错 误 有 效 性 测 试 应 在 模 拟 的 环 境 中 进 行 强 度 测 试 的 基 础 上, 测 试 计 划 应 在 软 件 需 求 分 析 阶 段 完 成 6) 测 试 技 术 与 测 试 模 型 的 关 系
不 同 测 试 技 术, 对 同 一 被 测 对 象 程 序, 可 产 生 不 同 的 测 试 程 序 模 型 这 一 简 化 或 着 重 于 程 序 的 控 制 结 构, 或 着 重 于 处 理 过 程, 于 是 形 成 了 所 谓 的 白 盒 测 试 和 黑 盒 测 试 重 点 内 容 : 上 述 第 2 3 和 5 点 : (1) 测 试 过 程 模 型 (2) 路 径 测 试 技 术, 要 求 熟 练 掌 握 白 盒 测 试 中 各 种 逻 辑 覆 盖, 并 能 针 对 一 个 特 定 的 控 制 流 程 图, 设 计 最 少 的 测 试 用 例, 实 现 语 句 覆 盖 分 支 覆 盖 和 条 件 组 合 覆 盖 ; (3) 软 件 测 试 步 骤 第 九 章 软 件 工 程 项 目 管 理 概 述 基 本 要 求 : 1 项 目 管 理 九 大 知 识 领 域 是 指 项 目 经 理 必 须 具 备 的 一 些 重 要 的 知 识 和 能 力 项 目 管 理 的 四 大 核 心 知 识 领 域 是 指 范 围 时 间 成 本 和 质 量 这 四 个 方 面 会 形 成 具 体 项 目 的 项 目 目 标 四 大 项 目 管 理 辅 助 知 识 领 域 包 括 人 力 资 源 管 理 风 险 管 理 沟 通 管 理 和 采 购 管 理 之 所 以 称 其 为 辅 助 知 识 领 域, 是 因 为 项 目 目 标 是 通 过 他 们 来 实 现 的 项 目 整 体 管 理 包 括 在 项 目 生 命 周 期 中 协 调 所 有 其 他 项 目 管 理 知 识 领 域 所 涉 及 的 过 程 2 CMM 五 级 模 型 第 十 章 计 算 辅 助 软 件 工 程 CASE 本 章 主 要 对 CASE 概 念 作 了 一 般 性 介 绍, 并 对 CASE 系 统 进 行 了 分 类 在 此 基 础 上, 针 对 工 作 台 和 软 件 开 发 环 境, 给 出 了 相 应 的 概 念 框 架 最 后, 简 要 介 绍 了 我 国 自 行 研 制 的 大 型 软 件 开 发 环 境 青 鸟 系 统 本 章 的 基 本 要 求 : 1) CASE 概 念 ; 2) CASE 系 统 分 类 ; 3) 软 件 工 程 环 境 的 定 义 ; 4) 集 成 化 软 件 工 程 环 境 的 五 级 模 型 SEE 模 型 ; 5) 程 序 设 计 工 作 台 分 析 和 设 计 工 作 台 测 试 工 作 台 的 概 念 模 型 ;
6) 青 鸟 系 统 总 体 结 构, 并 能 简 单 扼 要 地 说 明 其 中 的 主 要 成 分 以 及 各 成 分 之 间 的 关 系 重 点 要 求 : 以 上 3 4 5 点 即 : 1) 软 件 工 程 环 境 的 定 义 ; 2)wasserman 提 出 的 集 成 化 软 件 工 程 环 境 的 五 级 模 型 : 平 台 集 成 数 据 集 成 表 示 集 成 控 制 集 成 过 程 集 成 SEE 模 型 3) 程 序 设 计 工 作 台 分 析 和 设 计 工 作 台 测 试 工 作 台 的 概 念 模 型