软件工程基础(胡思康)第2章.pptx

S E Y 软 件 需 求 工 程 S E Y 软 件 需 求 的 基 本 概 念1 需 求 工 程 的 过 程2 需 求 获 取 技 术3 结 构 化 需 求 分 析 和 建 模4 案 例 ： 简 历 自 动 获 取 和 查 询 系 统 的 需 求 建 模5 需 求 评 审6 实 际 项 目 经 验 表 明 ： 用 户 自 身 对 将 要 开 发 的 系 统也 并 不 是 完 全 理 解 ， 对 需 求 目 标 的 陈 述 带 有 主 观 片面 性 、 模 糊 性 、 不 一 致 性 ， 甚 至 还 会 出 现 错 误 ； 用户 不 会 把 需 求 按 照 功 能 、 性 能 、 行 为 、 约 束 等 特 性对 需 求 分 门 别 类 。 只 有 运 用 系 统 的 方 法 学 ， 并 借 助 需 求 分 析 提 供的 方 法 和 工 具 ， 才 能 把 软 件 系 统 功 能 、 性 能 的 总体 陈 述 转 化 为 具 体 的 软 件 需 求 规 格 说 明 ， 奠 定 软件 开 发 的 基 础 。 软 件 需 求 实 际 上 就 是 准 确 回 答 “ 系 统 必 须 做 什么 ” 的 问 题 。 这 一 阶 段 还 不 能 确 定 系 统 如 何 实 现 ，而 是 确 定 系 统 必 须 完 成 的 任 务 是 什 么 ， 用 户 操 作流 程 是 什 么 顺 序 ， 系 统 约 束 条 件 如 何 规 定 。 定 义 软 件 的 使 用领 域 和 必 须 满 足的 约 束 542 任 务确 定 系 统 功 能 、 性能 、 领 域 等 内 容 31确 定 软 件 与 其他 成 分 间 的 接口 和 通 信 建 立 数 据 模 型 、功 能 模 型 和 行 为模 型最 终 定 义 需 求 规 格 说明 书 、 并 经 过 技 术 审查 和 管 理 复 审 ， 用 作评 价 确 认 测 试 和 质 量评 估 的 依 据 系 统 中 最 主 要 、 最 基 本 的 需 求 是 功 能 需 求 。 功 能 体 现计 算 机 能 在 多 大 程 度 上 辅 助 用 户 完 成 任 务 ， 是 用 户 体验 中 最 重 要 的 部 分 。 恰 当 的 给 用 户 提 出将 来 系 统 可 能 进 行的 扩 充 和 修 改 数 据 从 哪 里 来 （ 收 集 过 程 ） ， 到 哪 里 去 （ 存 储 过 程 ） ，系 统 内 部 如 何 操 作 和 转 换 这 些 数 据 ， 如 果 表 示 数 据 ， 如何 共 享 数 据 等 问 题 。 数 据 分 析 将 数 据 从 物 理 实 体 映 射为 逻 辑 实 体 ， 分 析 逻 辑 数 据 间 的 连 接 、 视 图 模 型 。 把 问 题 域 中 的 问 题 转 换 成 信 息 领 域问 题 。 结 构 化 方 法 采 用 数 据 流 图 、数 据 字 典 等 图 形 工 具 定 义 。 面 向 对象 方 法 采 用 例 图 、 类 -对 像 图 。 基 线 是 进 行 需 求 变 更 的 界 线 。 在 需 求 分 析 的 基 线 定 义之 前 ， 能 够 随 时 进 行 需 求 变 更 ， 若 在 基 线 定 义 之 后 变更 ， 则 需 要 重 新 进 行 审 查 和 复 审 。 功 能 是 否 有 约 束 ， 系 统 如 何 使 用 更 能 符 合 用 户 的 操 作 习惯 。 在 需 求 评 审 中 ， 软 件 人 员 需 要 在 用 户 的 配 合 下 ， 对需 求 规 格 说 明 进 行 管 理 复 审 ， 以 确 保 和 用 户 对 需 求 规 格说 明 的 理 解 达 成 一 致 。 通 过 用 户 对 流 程 的 描 述 ， 将 有 关 概 念 和 内 容 连 接 起 来 ，如 信 息 、 组 织 结 构 、 处 理 规 则 、 操 作 流 程 等 ， 使 得 对 问题 的 定 义 既 有 宏 观 描 述 ， 也 有 微 观 解 释 。 设 计 模 式 重 用 （ 需 求 阶 段 考 虑 的 重 点 ） 和 代 码 重 用 。 例 如 ： 增 量 开 发 模 型 中 迭 代 过 程 的 增 量 选 择 ，主 要 就 是 通 过 需 求 分 析 优 先 级 来 确 定 的 立 即 通 知 所 有 相 关 人 员 ，并 积 极 讨 论 变 更 带 来 的 影响 和 组 织 新 的 实 施 方 案 。 描 述 系 统 提 供 的 服 务 和 在 特 定 条 件 下 的 行 为 。 包括 系 统 登 录 、 输 入 、 响 应 、 输 出 、 异 常 等 ， 有 时还 需 要 特 别 说 明 系 统 不 应 该 做 什 么 。 通 过 需 求 分析 ， 划 分 出 系 统 必 须 完 成 的 所 有 功 能 。完 整 性 （ 尽 量 得 到 所 有 用 户 提 出 的 服 务 ） 和 一 致性 （ 功 能 需 求 不 能 有 相 互 矛 盾 之 处 ） 。 “ 简 历 信 息 自 动 获 取 系 统 ”u基 本 业 务 功 能 u用 户 管 理 功 能u数 据 管 理 功 能 规 定 了 软 件 必 须 满 足 的 时 间 上 或 空 间 上 的 约 束 ，通 常 包 括 系 统 响 应 时 间 、 主 存 容 量 、 存 储 容 量 、安 全 性 、 压 力 等 方 面 的 需 求 。“ 简 历 信 息 自 动 获 取 系 统 ”u提 取 简 历 信 息 准 确 性 的 要 求u对 系 统 安 全 性 的 要 求u对 系 统 可 靠 性 的 要 求 具 体 应 用 范 围 。“ 简 历 信 息 自 动 获 取 系 统 ”u简 历 文 本 内 容 符 合 一 般 简 历 的 要 求 ， 包 括 姓名 、 年 龄 、 专 业 等 必 要 信 息 ， 否 则 该 简 历 文本 会 被 系 统 自 动 放 弃 。 与 软 件 系 统 有 关 的 外 在 约 束 ， 如 法 律 需 求 、 道 德需 求 、 外 部 数 据 交 换 需 求 、 预 期 需 求 等 。“ 简 历 信 息 自 动 获 取 系 统 ”u随 着 互 联 网 文 件 格 式 标 准 和 企 业 发 展 的 需 要 ，对 以 XML格 式 或 企 业 提 供 的 简 历 模 版 编 写 的 简历 ， 系 统 预 期 将 要 能 自 动 获 取 信 息 。 S E Y 软 件 需 求 的 基 本 概 念1 需 求 工 程 的 过 程2 需 求 获 取 技 术3 结 构 化 需 求 分 析 和 建 模4 案 例 ： 简 历 自 动 获 取 和 查 询 系 统 的 需 求 建 模5 需 求 评 审6 需 求 工 程 过 程 是 一 个 可 行 性 研 究 、 需 求 获 取 、 需求 分 析 与 建 模 、 需 求 评 审 的 迭 代 过 程 。u可 行 性 研 究 ： 最 初 的 计 划 阶 段 -确 定 问 题 是否 能 够 解 决 。 其 目 的 不 是 确 定 问 题 如 何 去 解 决 ，而 是 确 定 问 题 是 否 值 得 去 解 （ 技 术 可 行 性 、 操作 可 行 性 、 经 济 可 行 性 、 法 律 可 行 性 ） 。 需 求 工 程 过 程 是 一 个 可 行 性 研 究 、 需 求 获 取 、 需求 分 析 与 建 模 、 需 求 评 审 的 迭 代 过 程 。u需 求 获 取 ： 通 过 获 取 技 术 （ 对 系 统 领 域 知 识有 一 定 了 解 的 前 提 下 ） ， 得 到 用 自 然 语 言 描 述的 问 题 陈 述 和 功 能 陈 述 。 需 求 工 程 过 程 是 一 个 可 行 性 研 究 、 需 求 获 取 、 需 求 分 析 与建 模 、 需 求 评 审 的 迭 代 过 程 。u需 求 分 析 与 建 模 ： 以 需 求 获 取 文 档 为 基 础 ， 逐 步 细 化 需求 中 的 软 件 功 能 ， 找 出 系 统 各 元 素 间 的 依 赖 和 调 用 关 系 、接 口 特 性 和 设 计 上 的 性 能 约 束 。 之 后 用 软 件 开 发 方 法 提 供的 图 形 工 具 ， 用 形 式 化 或 半 形 式 化 的 定 义 来 描 述 初 步 需 求 。将 目 标 系 统 的 物 理 模 型 转 换 为 详 细 的 逻 辑 模 型 ， 形 成 最 终的 软 件 需 求 规 格 说 明 书 和 初 步 的 用 户 手 册 。 需 求 工 程 过 程 是 一 个 可 行 性 研 究 、 需 求 获 取 、 需求 分 析 与 建 模 、 需 求 评 审 的 迭 代 过 程 。u需 求 评 审 ： 进 行 技 术 审 查 和 管 理 复 审 ， 再 次确 保 所 采 纳 的 技 术 方 案 在 技 术 上 是 可 行 的 ， 在操 作 上 是 符 合 用 户 习 惯 的 ， 在 经 济 上 是 有 效 的 ，在 法 律 上 是 合 法 的 。 需 求 工 程 的 管 理 贯 穿 整 个 需 求 工 程 的 全 过 程 。在 需 求 工 程 管 理 过 程 中 存 在 两 大 难 题 ： 一 是 需 求确 认 困 难 ； 二 是 需 求 不 断 变 更 。 对 传 统 的 需 求 变 更 管 理 过 程 来 说 ， 主 要 包 括 软 件 配 置 、 软件 基 线 和 变 更 审 查 。u软 件 配 置 的 目 的 是 确 保 所 做 的 工 作 是 可 回 朔 的 ， 能 够 恢复 原 来 工 作 的 文 档 、 代 码 等 内 容 ， 也 能 跟 踪 目 前 工 作 结 果的 来 龙 去 脉 。 需 要 进 行 软 件 配 置 的 内 容 称 为 软 件 配 置 项 ，主 要 有 两 类 ： 一 是 属 于 产 品 自 身 需 要 的 内 容 ， 如 开 发 文 档 、代 码 、 数 据 等 ； 二 是 为 软 件 产 品 服 务 的 内 容 ， 如 进 度 计 划 、人 员 安 排 、 报 告 等 。 对 传 统 的 需 求 变 更 管 理 过 程 来 说 ， 主 要 包 括 软 件 配 置 、 软件 基 线 和 变 更 审 查 。u软 件 基 线 由 一 组 软 件 配 置 项 组 成 。 当 软 件 配 置 项 处 于 稳定 状 态 后 （ 如 需 求 文 档 经 过 评 审 以 后 ） ， 就 确 定 了 这 组 软件 配 置 项 的 基 线 。 在 后 续 的 开 发 过 程 中 ， 软 件 配 置 项 发 生变 更 ， 则 这 一 变 更 须 通 过 变 更 审 查 并 确 定 ， 变 更 才 能 记 录在 软 件 配 置 项 中 ， 并 通 知 与 之 有 关 的 人 员 。 需 求 获 取 是 需 求 分 析 的 前 提 ， 没 有 完 整 、 正 确 的获 取 用 户 需 求 ， 就 不 能 保 证 软 件 产 品 质 量 。 因 此 ，软 件 人 员 与 用 户 交 流 需 要 好 的 方 法 ， 以 便 能 达 成共 识 。 S E Y 软 件 需 求 的 基 本 概 念1 需 求 工 程 的 过 程2 需 求 获 取 技 术3 结 构 化 需 求 分 析 和 建 模4 案 例 ： 简 历 自 动 获 取 和 查 询 系 统 的 需 求 建 模5 需 求 评 审6 个 别 会 谈 ： 会 谈 的 双 方 是 分 析 员 、 用 户 以 及 系 统领 域 专 家 。 用 户 提 供 对 系 统 功 能 、 性 能 等 方 面 的需 求 ； 领 域 专 家 提 供 系 统 背 景 知 识 、 领 域 需 求 等方 面 的 知 识 。 在 这 个 过 程 中 ， 分 析 员 学 习 和 掌 握系 统 背 景 知 识 ， 保 证 需 求 获 取 的 正 确 性 。 小 组 会 议 ： 对 于 系 统 的 不 同 用 户 ， 由 于 操 作 流 程的 不 同 ， 使 用 功 能 的 不 同 ， 对 软 件 运 行 环 境 要 求的 不 同 ， 他 们 对 系 统 的 需 求 也 不 尽 相 同 。 小 组 会议 保 证 各 方 需 求 获 取 的 完 整 性 、 一 致 性 。 谈 话 提 纲u用 户 背 景u系 统 背 景u维 护 分 析 员 给 用 户 提 供 规 范 的 问 卷 表 ， 帮 助 用 户明 晰 问 题 的 主 旨 。P40 表 2-1 分 析 员 实 际 观 察 用 户 的 手 工 操 作 过 程 ， 体 验 用户 在 工 作 中 所 遇 到 的 不 便 和 困 难 。用 户 环 境 就 是 将 来 系 统 运 行 的 场 景 ， 用 户 的 一次 手 工 操 作 过 程 就 是 一 个 用 例 。防 止 场 景 陷 阱 。 快 速 原 型 技 术 的 基 本 思 想 是 ： 在 系 统 开 发 时 期 就让 用 户 尽 早 地 接 触 系 统 ， 对 系 统 原 型 进 行 评 估 ， 指出 不 足 之 处 并 提 出 修 改 意 见 。分 析 员 和 开 发 人 员 按 照 用 户 的 需 求 修 改 原 型 或 重新 开 发 原 型 ， 最 终 得 到 满 足 用 户 需 求 的 软 件 系 统 。 快 速 原 型 法 有 两 种 不 同 类 型 ： 抛 弃 型 原 型 法 和 演 化 型 原 型 法 。u演 化 型 原 型 法 ： 构 造 一 个 功 能 简 单 但 满 足 一 定 质 量 的 系统 原 型 ， 通 常 这 个 原 型 是 最 终 系 统 的 核 心 部 分 ， 然 后 通 过不 断 地 增 加 功 能 ， 修 改 原 型 中 存 在 的 不 足 ， 最 后 得 到 符 合用 户 需 求 的 、 高 质 量 的 软 件 系 统 。 快 速 原 型 法 有 两 种 不 同 类 型 ： 抛 弃 型 原 型 法 和 演 化 型 原 型 法 。u抛 弃 型 原 型 法 ： 构 造 一 个 功 能 简 单 且 质 量 要 求 不 高 的 系统 原 型 ， 针 对 这 个 原 型 ， 用 户 和 设 计 人 员 提 出 意 见 、 不 足和 错 误 ， 形 成 新 的 需 求 和 设 计 方 案 。 据 此 不 用 原 有 模 型 而重 新 设 计 更 加 完 整 、 准 确 、 一 致 、 可 靠 的 软 件 原 型 。 如 此往 复 迭 代 ， 最 终 得 到 符 合 用 户 需 求 的 、 高 质 量 的 软 件 系 统 S E Y 软 件 需 求 的 基 本 概 念1 需 求 工 程 的 过 程2 需 求 获 取 技 术3 结 构 化 需 求 分 析 和 建 模4 案 例 ： 简 历 自 动 获 取 和 查 询 系 统 的 需 求 建 模5 需 求 评 审6 结 构 化 分 析 的 核 心 是 数 据 。 数据 包 括 在 分 析 、 设 计 和 实 现 中涉 及 的 概 念 、 术 语 、 属 性 等 所有 内 容 ， 并 把 这 些 内 容 定 义 在数 据 字 典 中 。 围 绕 数 据 字 典 ，完 成 功 能 模 型 、 数 据 模 型 和 行为 模 型 的 结 构 化 建 模 过 程 。主 要 描 述 数 据 建 模 过程 ， 刻 画 系 统 的 静 态状 态 ， 它 包 括 实 体 的属 性 和 属 性 间 的 关 系 完 成 对 功 能 、 操 作 流 程 的 抽 象 和 分 解 ，完 成 功 能 建 模 。 通 过 将 复 杂 问 题 自 顶向 下 逐 层 分 解 ， 把 操 作 流 程 由 物 理 过程 抽 象 为 逻 辑 过 程 ， 完 成 对 问 题 的 分解 和 抽 象 ， 最 终 解 决 问 题是 系 统 的 行 为 建 模 ， 通过 外 部 事 件 的 触 发 ， 导致 系 统 采 取 相 应 操 作 数 据 建 模 需 要 回 答 以 下 几 个 问 题 ：系 统 中 有 哪 些 数 据 对 象 ？数 据 对 象 具 有 哪 些 属 性 ？数 据 对 象 间 有 什 么 关 系 ？数 据 对 象 分 别 处 于 系 统 的 哪 些 功 能 或 流 程 中 ？在 面 向 对 象 建 模 中 ， 从 数 据 对 象 里 能 抽 象 出 更 高 层 次 的 对 象吗 ？ 或 者 数 据 对 象 能 组 合 吗 ？在 面 向 对 象 建 模 中 ， 从 数 据 对 象 里 能 细 化 出 更 具 体 的 数 据 吗 ？或 者 数 据 对 象 能 分 解 吗 ？ 实 体 关 系 模 型 （ ER） 是 结 构 化 建 模 的 可 视 化 图形 工 具 ， 它 描 述 数 据 对 象 （ 实 体 ） 、 对 象 属 性 和对 象 间 关 系 。 软 件 系 统 中 涉 及 的 概 念 、 术 语 、 属 性 ， 或 需 求 描 述 中 的 名 词 、主 谓 结 构 短 语 都 能 作 为 候 选 数 据 对 象 。 如 外 部 实 体 （ 电 子 简 历文 件 ） 、 事 件 （ 生 成 各 部 门 视 图 ） 、 事 物 （ 简 历 检 索 结 果 ） 、角 色 （ 各 部 门 的 不 同 用 户 ） 、 组 织 单 位 （ 企 业 内 部 ） 、 结 构（ 简 历 库 ） 等 对 象 。 这 些 对 象 分 别 用 一 组 属 性 来 定 义 。在 结 构 化 数 据 建 模 中 ， 数 据 对 象 是 属 性 的 集 合 。 而 在 面 向 对象 建 模 中 ， 数 据 对 象 是 属 性 和 行 为 的 集 合 ， 更 体 现 了 对 象 是 动静 相 结 合 的 有 机 体 。 属 性 是 对 象 的 静 态 特 征 ， 通 常 是 系 统 需 求 描 述中 的 名 词 。在 ER模 型 的 模 型 元 素 中 ， 用 矩 形 表 示 实 体 、 圆矩 形 表 示 属 性 、 并 用 无 向 边 将 对 象 与 属 性 相 连 接 。 关 系 表 明 了 数 据 对 象 间 的 关 联 关 系 。 基 数 则 表 明数 据 对 象 在 关 系 上 的 数 量 约 束 。关 系 用 菱 形 表 示 ， 它 通 常 是 一 个 动 词 或 动 宾 短 语 。三 种 基 数 关 系 （ 1： 1， 1： N， M： N） 。关 系 也 可 以 具 有 属 性 。 用 户 简 历部 门工 号 * 姓 名 *所 属 部门 编 号 *权 限 *参 加 工作 时 间 *专 业 *特 长 编 号 * 姓 名 *性 别 *年 龄 *专 业 *手 机特 长编 号 * 名 称 * 职 责 * 隶 属 * 管 理隶 属 N1 查 看M N 数 据 流 图 （ DFD） 是 结 构 化 建 模 中 最 流 行 的 功 能建 模 工 具 ， 描 述 从 数 据 输 入 、 数 据 转 换 到 数 据 输出 的 全 过 程 。 能 对 DFD图 分 层 ， 分 层 的 DFD更 进 一 步 刻 画 了 系统 的 功 能 分 解 。 外 部 系 统用 户 目 标系 统输 入 数 据输 入 数 据 输 出 数 据输 出 数 据 外 部 系 统用 户 或或或 数 据 加 工 ， 实 现 数 据 变 换 。 其 中 要 注 明加 工 的 名 字 。外 部 实 体 ， 即 数 据 源 或 外 部 系 统 。 其 中要 注 明 数 据 源 或 外 部 系 统 的 名 字 。数 据 存 储 。 其 中 注 明 数 据 存 储 名 字 或 编号 。数 据 流 ， 描 述 变 换 的 加 工 数 据 及 数 据 流方 向 。 箭 头 上 部 要 注 明 数 据 流 的 名 字 。 如 果 数 据 加 工 中 不 同 的 数 据 流 同 时 “ 流 ” 向 一个 数 据 加 工 ， 或 当 数 据 加 工 间 同 时 输 出 多 条 数 据流 时 ， 需 要 用 下 图 所 示 的 图 例 来 定 义 语 义 信 息 更明 确 的 DFD图 。 AB T* CAB T+ CAB T+ C A BT * CA BT + CA BT + C DFD图 可 以 用 来 表 示 任 何 抽 象 级 别 的 系 统 功 能 ， 随 着 系 统 功能 和 信 息 的 逐 渐 增 加 ， DFD图 通 过 分 解 来 逐 层 细 化 用 户 需 求 。 分 解 步 骤 如 下 ：l确 定 系 统 的 外 部 信 息 源 、 数 据 源 或 与 外 部 系 统 的 接 口 。l画 出 顶 层 （ 0层 ） DFD图 。 l第 一 次 精 化 ： 划 分 系 统 的 子 系 统 。l逐 层 求 精 ： 对 各 子 系 统 进 一 步 精 化 。 简 历 信 息 自 动 获 取 和 查 询 系 统l数 据 源 ： 企 业 各 部 门 用 户 ；l数 据 终 点 ： 企 业 各 部 门 用 户 （ 简 历 查 询 结 果 的 显 示 ）l主 要 数 据 流 ： 简 历 、 查 询 信 息 ；l数 据 存 储 ： 原 始 简 历 库 、 简 历 库 ；l主 要 处 理 过 程 ： 简 历 的 自 动 获 取 、 简 历 查 询 ； 0层 DFD图部 门 用 户 简 历 自动 获 取和 查 询系 统 部 门 用 户F1 原 始 简 历 库 F2 简 历 库简 历 文 件 简 历查 询 信 息登 录 信 息 简 历 第 一 步 求 精 ： 1层 DFD图部 门 用 户 部 门 用 户F1 原 始 简 历 库 F2 简 历 库简 历 文 件 简 历查 询 信 息登 录 信 息 简 历1登 录 F3 用 户 信 息 库权 限2自 动 获取 简 历信 息权 限 3 查 询查 询 信 息 简 历 逐 步 求 精 ： 对 各 系 统 进 一 步 精 化F1 原 始 简 历 库 F2 简 历 库简 历 文 件 2.1电 子 收集 电 子简 历 2.2读 取 电子 简 历权 限 2.3 分 析关 键 词 简 历简 历 文 件 简 历文 件 2.4 自 动 获取 简 历信 息关 键词 逐 步 求 精 ： 对 各 系 统 进 一 步 精 化F2 简 历 库3.1分 析 查询 信 息 3.2查 询查 询信 息 3.3 生 成 查询 结 果简 历关 键 词权 限 关 键 词 简 历 对 DFD图 中 各 部 分 元 素 的 命 名 切 忌 用 空 洞 的 名词 ， 这 样 不 仅 会 给 系 统 设 计 带 来 歧 义 ， 而 且 难以 确 定 数 据 的 结 构 和 组 织 方 式 。 命 名 时 应 遵 循以 下 原 则 ： 用 名 词 或 名 词 短 语 ， 避 免 使 用 空 洞 、 无 意 义 的 词 汇 ；尽 量 使 用 需 求 描 述 中 的 已 有 词 和 领 域 术 语 ；命 名 出 现 困 难 时 ， 考 虑 是 否 是 数 据 流 划 分 是 否 正 确 ， 并 重获 需 求 ；顶 层 DFD图 中 的 加 工 名 就 是 软 件 项 目 的 名 字 ；分 层 DFD图 中 ， 数 据 存 储 一 般 局 限 在 某 一 层 或 少 数 几 层 中 。 逐 层 细 化 DFD图 时 ， 还 要 注 意 以 下 几 点 ：u父 图 和 子 图 的 平 衡 关 系 ： 父 子 图 （ 上 下 层 图 ） 中 的 输入 、 输 出 必 须 保 持 一 致 ， 不 能 随 意 修 改 数 据 流 。uDFD图 的 编 号 ： 按 层 次 进 行 ， 体 现 对 系 统 加 工 过 程 中 自顶 向 下 的 分 解 。u平 衡 规 则 ： 所 有 子 图 中 涉 及 的 外 部 环 境 ， 需 要 与 顶 层图 的 外 部 环 境 保 持 一 致 。 状 态 转 换 图 （ Status Transition Diagram，STD） 通 过 描 述 系 统 状 态 及 引 起 状 态 转 换 的 事 件 来表 示 系 统 行 为 。 STD图 同 时 也 反 映 了 事 件 执 行 的 行为 。 STD图 主 要 由 状 态 、 转 换 和 事 件 的 图 形 符 号 构成 。 状 态 是 可 观 察 到 的 行 为 ， 是 同 一 数 据 对 象 在 系统 的 不 同 运 行 时 刻 所 具 有 的 行 为 属 性 值 ， 是 事 件触 发 后 一 系 列 动 作 的 结 果 。 初 态 中 间 状 态 终 态 由 一 个 状 态 转 换 到 另 一 个 状 态 的 关 联 就 是 状 态转 换 ， 它 表 明 状 态 变 换 是 有 序 变 换 过 程 ， 用 有 向箭 头 表 示 。 状 态 变 换 是 由 事 件 或 条 件 触 发 的 ， 因而 箭 头 上 应 说 明 事 件 名 称 或 触 发 条 件 。 如 果 状 态间 转 换 没 有 事 件 触 发 ， 则 前 一 状 态 结 束 信 息 就 是转 换 到 下 一 状 态 的 触 发 条 件 。 事 件 是 指 在 某 一 时 刻 发 生 的 事 情 ， 是 触 发 状 态 转 换 的 条 件或 一 系 列 动 作 。 在 中 间 状 态 的 符 号 中 ， 活 动 即 是 事 件 。 STD图 定 义 了 3个 标 准 事 件 ， 它 们 都 没 有 参 数 ：uentry事 件 ： 用 于 说 明 转 换 到 该 状 态 的 特 定 动 作 ；uexit事 件 ： 用 于 说 明 触 发 该 状 态 的 特 定 动 作 ；udo事 件 ： 用 于 说 明 处 于 当 前 状 态 时 执 行 的 动 作 检 索Do： 连 接 简 历 库 验 证 用 户Do： 连 接 用 户 信 息 库 验 证查 询 输 入Do： 要 求 事 物主 窗 口Do： 要 求 事 物 等 待 用户 登 录 用 户 名密 码关 键 词检 索成 功 显 示 查 询 数 据检 索失 败 显 示 无 效 信 息 选 择退 出 数 据 字 典 以 结 构 化 方 式 定 义 了 在 数 据 建 模 、 功能 建 模 和 行 为 建 模 过 程 中 涉 及 到 的 所 有 数 据 信 息 、控 制 信 息 。DD的 定 义 形 式 多 种 多 样 ： 词 条 描 述 、 定 义 式 和Warnier图 的 定 义 方 式 。 定 义 式 （ BF范 式 ） -适 用 于 定 义 的 数 据 或 控 制信 息 具 有 良 好 的 数 据 结 构 的 情 况 。 简 历 信 息 自 动 获 取 和 查 询 系 统简 历 =编 号 +姓 名 +性 别 +年 龄 +专 业 +手 机 号 码 +特 长用 户 =工 号 +姓 名 +所 属 部 门 编 号 +权 限 +参 加 工 作 时 间 +专 业 +特 长 +简 历部 门 =编 号 +姓 名 +职 责 +隶 属 +管 理姓 名 =2汉 字 字 符 8 注 ： 姓 名 最 多 为 8个 汉 字性 别 =男 |女 年 龄 =18. . 120专 业 = 2汉 字 字 符 20手 机 =13|5|89数 字 9特 长 = 2字 符 1024权 限 =0|1|2工 号 =1|2|3|4|5|6|7|8|97数 字 7编 号 =2数 字 3关 键 词 =1姓 名 |性 别 |年 龄 |专 业 |爱 好 N 词 条 描 述 详 细 说 明 了 数 据 和 控 制 信 息 在 系 统 内的 传 播 途 径 。它 分 为 数 据 流 词 条 、 数 据 元 素 词 条 、 加 工 词 条和 存 储 文 件 词 条 等 内 容 的 定 义 。P50 图 2-21 简 历 信 息 自 动 获 取 和 查 询 系 统名 字 ： 原 始 简 历 库别 名 ： 简 历 文 件 数 据 库描 述 ： 保 存 原 始 的 电 子 简 历文 件定 义 ： 电 子 文 件 格 式=pdf+doc+wps+txt+html 名 字 ： 简 历 库别 名 ： 简 历 信 息 数 据 库描 述 ： 保 存 从 原 始 简 历 文 件 中提 取 的 信 息定 义 ： 简 历 =姓 名 +性 别 +年 龄 +专 业 +手 机 号 码 +特 长 Warnier图 ， 是 描 述 信 息 层 次 结 构 的 一 种 工 具 。类 似 于 一 种 结 构 式 语 言 ， 它 用 到 下 列 三 种 符 号 : 顺 序 执 行 选 择 执 行 循 环 执 行 用 Warnier图 形 工 具 描 述 的 超 市 收 银员 一 天 的 工 作 流 程 。上 班 刷 卡收 银 业 务结 算下 班 刷 卡 初 始 化 单 笔 业 务结 束 单 笔 业 务n 清 点 货 物收 款 取 一 件 商 品扫 描 商 品 信 息m银 行 卡+现 金 加 工 逻 辑 也 称 为 过 程 说 明 ， 用 于 描 述 DFD加 工 部 分的 流 程 或 算 法 。 加 工 逻 辑 的 形 式 主 要 有 “ 过 程 描 述语 言 ” 、 “ 判 定 树 ” 、 和 “ 判 定 表 ” 等 。过 程 描 述 语 言 （ PDL） 也 称 为 伪 代 码 语 言 （ PL） ，它 是 一 种 介 于 自 然 语 言 和 形 式 化 语 言 之 间 的 结 构 化语 言 。 顺 序 结 构选 择 结 构u if 条 件 表 达 式 then BLOCKu if 条 件 表 达 式 then BLOCK1 else BLOCK2u Select 表 达 式 case值 1： BLOCK1； case值 2： BLOCK2； case值 N Block N； end select 循 环 结 构u while （ 条 件 表 达 式 ） BLOCK;u Do BLOCK; while (条 件 表 达 式 )；u Repeat BLOCK; until (条 件 表 达 式 ); 程 序 注 释 。 用 符 号 “ /” 或 “ /* */表 示 对 程序 语 句 的 注 释 P52 图 2-25 S E Y 软 件 需 求 的 基 本 概 念1 需 求 工 程 的 过 程2 需 求 获 取 技 术3 结 构 化 需 求 分 析 和 建 模4 案 例 ： 简 历 自 动 获 取 和 查 询 系 统 的 需 求 建 模5 需 求 评 审6 在 需 求 工 程 完 成 之 前 ， 必 须 编 写 软 件 需 求 规 格 说 明 和 数 据 规格 说 明 ， 形 成 初 步 的 用 户 手 册 ， 并 按 照 评 审 标 准 对 软 件 需 求 过程 和 规 格 说 明 进 行 评 审 ， 目 的 是 发 现 并 消 除 其 中 存 在 的 遗 漏 、错 误 和 不 足 ， 使 得 规 格 说 明 符 合 标 注 及 规 范 的 要 求 。 通 过 了 评审 的 软 件 需 求 规 格 说 明 和 数 据 规 格 说 明 将 成 为 基 线 配 置 项 ， 并纳 入 需 求 管 理 过 程 。 主 要 包 括 ： 软 件 需 求 规 格 说 明 和 软 件 数 据 需 求 说 明 等 文 档 。 软 件 需 求 规 格 说 明 （ SRS） 描 述 用 户 的 功 能 需 求 、性 能 需 求 、 领 域 需 求 ， 以 及 对 软 件 环 境 、 硬 件 环境 等 约 束 ， 明 确 定 义 系 统 安 全 性 、 可 靠 性 、 可 操作 性 的 性 能 指 标 ， 确 保 用 户 需 求 描 述 的 完 整 性 、一 致 性 、 可 验 证 性 和 可 追 踪 性 等 特 征 。 便 于 用 户 和 分 析 人 员 进 行 理 解 和 交 流便 于 分 析 人 员 和 设 计 人 员 的 沟 通 ， 并 作 为 设 计 的基 础 ， 得 出 系 统 软 件 结 构 。支 持 最 终 目 标 系 统 的 确 认 。便 于 软 件 开 发 的 管 理 ， 有 效 控 制 需 求 变 更 。 SRS没 有 统 一 的 标 准 ， 目 的 就 是 体 现 用 户 需 求 ，特 别 是 性 能 需 求 、 领 域 需 求 等 方 面 的 约 束 。SRS的 基 本 框 架 （ P57-P59) 数 据 需 求 说 明 （ DRD） 描 述 在 软 件 生 命 周 期 内 所处 理 的 数 据 ， 包 括 数 据 采 集 、 数 据 存 储 、 数 据 结构 等 的 技 术 信 息 。DRD的 基 本 框 架 （ P59-P60) 需 求 评 审 应 发 现 SRS/DRD中 存 在 的 错 误 、 遗 漏 和不 足 ， 及 时 对 SRS/DRD进 行 修 改 ， 重 新 进 行 需 求 分析 和 建 模 ， 再 完 成 评 审 。确 认 后 的 SRS/DRD应 该 满 足 以 下 要 求 ： 正 确 性 ： SRS/DRD中 表 述 的 功 能 、 性 能 、 定 义 、 规 定 等 内 容都 真 实 反 映 了 用 户 的 意 图 ， 是 用 户 对 软 件 产 品 的 期 望 。完 整 性 ： SRS/DRD包 含 了 用 户 全 部 的 需 求 ， 没 有 遗 漏 任 何 必要 的 信 息 。无 二 义 性 ： 用 户 、 分 析 员 和 设 计 人 员 对 于 SRS/DRD中 任 何 内容 的 理 解 应 只 有 唯 一 的 解 释 。一 致 性 ： SRS/DRD中 各 部 分 的 定 义 和 描 述 不 能 互 相 矛 盾 。 可 理 解 性 ： SRS/DRD面 对 的 是 用 户 和 软 件 人 员 。 既 要 保 证 用户 能 够 正 确 理 解 SRS/DRD中 描 述 的 方 案 和 技 术 ， 也 要 保 证 软件 人 员 能 正 确 系 统 的 领 域 需 求 。可 验 证 性 ： 对 SRS/DRD中 所 有 需 求 ， 都 能 通 过 技 术 手 段 或 成本 /效 益 方 法 来 验 证 。可 修 改 性 ： SRS/DRD 应 能 修 改 、 增 加 和 删 除 需 求 。可 追 踪 性 ： SRS/DRD中 任 何 需 求 的 来 源 和 使 用 都 是 清 晰 的 ，为 后 续 生 成 的 文 档 和 开 发 引 用 这 些 需 求 提 供 方 便 。 P62 12题 S E Y THANK YOU!