软件工程第3章-需求分析

LOGO 第 三 章需 求 分 析主 讲 ： 李 辉 第 3章 需 求 分 析3.1 需 求 分 析 的 任 务3.2 与 用 户 沟 通 获 取 需 求 的 方 法3.3 分 析 建 模 与 规 格 说 明3.4 实 体 -联 系 图3.5 数 据 规 范 化3.6 状 态 转 换 图3.7 其 他 图 形 工 具3.8 验 证 软 件 需 求 为 什 么 要 进 行 需 求 分 析软 件 需 求 分 析 是 软 件 开 发 的 基 础 。 在 需 求 阶段 修 复 一 个 错 误 的 费 用 是 编 码 阶 段 的 1/5-1/10，是 维 护 阶 段 修 复 费 用 的 1/100-1/200， 即 设 计 错 误的 修 复 费 用 要 远 远 高 于 编 码 错 误 的 修 复 费 用 。通 过 “ 分 析 ” ， 理 解 用 户 的 各 种 需 求 ， 通 过“ 规 格 说 明 ” 把 需 求 表 达 出 来 。 要 求 大 家 ：（ 1） 掌 握 具 体 的 步 骤 和 方 法（ 2） 提 高 分 析 问 题 和 解 决 问 题 的 能 力（ 3） 熟 练 运 用 一 些 图 形 工 具 为 什 么 需 求 分 析 比 较 困 难l问 题 空 间 的 复 杂 性l分 析 人 员 和 用 户 之 间 的 交 流 障 碍l需 求 的 不 断 变 化 基 本 概 念目 的 澄 清 用 户 的 各 种 需 求基 本 任 务 （ 1 ） 软 件 定 义 时 期 的 最 后 一 个 阶 段 ， 它 的 基 本任 务 是 准 确 地 回 答 “ 系 统 必 须 做 什 么 ?”这 个 问 题 。 （ 2 ） 确 定 系 统 必 须 完 成 哪 些 工 作 ， 也 就 是 对 目标 系 统 提 出 完 整 、 准 确 、 清 晰 、 具 体 的 要 求 。 （ 3 ） 写 出 软 件 需 求 规 格 说 明 书 ， 以 书 面 形 式 准确 地 描 述 软 件 需 求 。 结 构 化 分 析 方 法 遵 守 的 准 则(1) 必 须 理 解 并 描 述 问 题 的 信 息 域 ， 根 据 这条 准 则 应 该 建 立 数 据 模 型 。(2) 必 须 定 义 软 件 应 完 成 的 功 能 ， 这 条 准 则要 求 建 立 功 能 模 型 。(3) 必 须 描 述 作 为 外 部 事 件 结 果 的 软 件 行 为 ，这 条 准 则 要 求 建 立 行 为 模 型 。(4) 必 须 对 描 述 信 息 、 功 能 和 行 为 的 模 型 进行 分 解 ， 用 层 次 的 方 式 展 示 细 节 。 需 求 ： 正 在 构 建 的 系 统 必 须 符 合 的 事 务 。 需 求 管 理 ： 是 一 种 获 取 、 组 织 并 记 录 系 统 需 求 的系 统 化 方 案 以 及 一 个 使 客 户 与 项 目 团 队 不 断 变 更的 系 统 需 求 达 成 并 保 持 一 致 的 过 程 。 传 统 需 求 分 析 ： 强 调 需 求 的 记 录 ， 以 一 成 不 变 的观 点 对 待 需 求 ， 不 重 视 需 求 实 现 与 维 护 。 现 代 需 求 过 程 ： 包 括 需 求 的 获 取 、 分 析 、 处 理 、验 证 、 实 现 和 全 过 程 的 需 求 管 理 。 需 求 管 理 覆 盖软 件 工 程 的 整 个 过 程 。有 关 需 求 的 概 念 传 统 与 现 代 需 求 方 法 的 比 较 ： 需 求 管 理 过 程 需 求 管 理 功 能 需 求 管 理 思 想 方 法传 统 局 限 于 需 求 分析 这 一 个 阶 段 注 重 具 体 的 需求 分 析 方 法 一 成 不 变 的 观 点 ，注 重 “ 描 述 ” 的 方法 和 过 程 ， 是 纯 技术 性 的 转 换现 代 全 过 程 的 ， 注重 整 个 产 品 过程 的 全 部 功 能 范 围 更 广 ，包 括 获 取 、 分析 、 处 理 、 验证 、 实 现 和 全过 程 的 需 求 管理 注 重 需 求 实 现 与 维护 过 程 ， 处 理 不 断变 更 的 系 统 需 求 需 求 管 理 存 在 的 问 题 ： 范 围 问 题 ： 系 统 目 标 、 边 界 未 被 良 好 定 义， 用 户 和 开 发 团 队 理 解 不 一 致 。 理 解 问 题 ： 用 户 不 能 完 全 了 解 自 己 需 要 什么 ， 对 系 统 能 力 、 局 限 更 加 不 清 楚 ； 工 程师 不 理 解 用 户 的 问 题 域 和 应 用 环 境 。 易 变 问 题 ： 需 求 随 时 间 发 生 变 化 。 3.1 需 求 分 析 的 任 务 确 定 对 系 统 的 综 合 要 求 功 能 需 求 性 能 需 求 可 靠 性 和 可 用 性 需 求 出 错 处 理 需 求 接 口 需 求 约 束 逆 向 需 求 将 来 可 能 提 出 的 要 求 3.1 需 求 分 析 的 任 务 分 析 系 统 的 数 据 要 求 建 立 数 据 模 型 （ 实 体 联 系 图 ） 分 析 数 据 结 构 （ 层 次 方 框 图 、 Warnier图 ） 规 范 数 据 结 构 （ 范 式 ） 导 出 系 统 的 逻 辑 模 型 数 据 流 图 实 体 联 系 图 状 态 转 换 图 数 据 字 典 主 要 的 处 理 算 法 修 正 系 统 开 发 计 划 需 求 分 析 的 过 程需 求 分 析 阶 段 可 分 为 四 个 过 程 ： 需 求 获 取 、 需 求 提炼 、 需 求 描 述 、 需 求 验 证 。（ 1） 需 求 获 取 需 求 分 析 员 调 查 、 分 析 用 户 的 需 求 ， 客 户 或 用 户 提供 必 要 需 求 信 息 。 需 求 调 查 的 目 的 是 通 过 各 种 途 径 获取 用 户 需 求 信 息 ， 产 生 用 户 需 求 说 明 书 。（ 2） 需 求 提 炼 需 求 提 炼 的 过 程 就 是 分 析 建 模 的 过 程 。 目 的 是 构 造系 统 的 详 细 逻 辑 模 型 。 需 求 分 析 的 过 程（ 3） 需 求 描 述 需 求 规 格 说 明 书 初 步 的 用 户 手 册 修 改 、 完 善 与 确 定 软 件 开 发 实 施 计 划（ 4） 需 求 验 证 系 统 定 义 的 目 标 是 否 与 用 户 的 要 求 一 致 系 统 需 求 分 析 阶 段 提 供 的 文 档 资 料 是 否 齐 全 文 档 中 的 所 有 描 述 是 否 完 整 、 清 晰 、 准 确 地 反 映 用 户要 求 与 所 有 其 它 系 统 成 分 的 重 要 接 口 是 否 都 已 经 描 述 用 户 需 求 说 明 书 与 软 件 需 求 规 格 说明 书 的 主 要 区 别 与 联 系 ： 1) 前 者 主 要 采 用 自 然 语 言 和 应 用 域 语 言 来 表 达 用 户 需 求 ， 其内 容 相 对 于 后 者 而 言 比 较 粗 略 ， 不 够 详 细 。2) 后 者 是 前 者 的 细 化 ， 更 多 地 采 用 计 算 机 语 言 和 图 形 符 号 来刻 画 需 求 。3) 软 件 需 求 规 格 说 明 书 是 软 件 系 统 设 计 的 直 接 依 据 ， 软 件 开发 人 员 应 当 依 据 软 件 需 求 规 格 说 明 书 来 开 发 产 品 。 3.2 需 求 获 取 的 方 法l 访 谈l 面 向 数 据 流 自 顶 向 下 求 精l 简 易 的 应 用 规 格 说 明 技 术l 快 速 建 立 软 件 原 型 访 谈 访 谈 有 正 式 访 谈 和 非 正 式 访 谈 两 种 形 式 。 正 式 访 谈 时 ， 系 统 分 析 员 将 提 出 一 些 事 先 准 备 好 的 具体 问 题 。 非 正 式 访 谈 中 ， 分 析 员 将 提 出 一 些 用 户 可 以 自 由 回 答的 开 放 性 问 题 ， 以 鼓 励 被 访 问 人 员 说 出 自 己 的 想 法 。 向 被 调 查 人 分 发 调 查 表 是 一 个 十 分 有 效 的 做 法 ， 经 过仔 细 考 虑 写 出 的 书 面 回 答 可 能 比 被 访 者 对 问 题 的 口 头 回 答更 准 确 。 情 景 分 析 技 术是 对 用 户 将 来 使 用 目 标 系 统 解 决 某 个 具 体 问 题 的方 法 和 结 果 进 行 分 析 。 系 统 分 析 人 员 利 用 情 景 分析 技 术 往 往 能 获 知 用 户 的 具 体 需 求 。 情 景 （ 场 景 ） 分 析 是 从 软 件 系 统 的 一 个 交 互 情 景 示 例 中得 到 需 求 分 析 信 息 。 情 景 分 析 中 用 户 在 某 种 程 度 上 演 示产 品 的 应 用 “ 样 本 ” ， 通 过 交 互 实 例 片 断 细 节 （ 情 景 ）的 描 述 ， 实 现 对 某 个 目 标 产 品 的 表 述 。 每 个 情 景 可 能 包 含 一 个 或 多 个 交 互 ， 它 们 能 在 不 同 的 细节 层 次 上 提 供 不 同 类 型 的 情 景 信 息 。 情 景 分 析 技 术 的 用 处 ： (1) 它 能 在 某 种 程 度 上 演 示 目 标 系 统 的 行 为 ，从 而 便 于 用 户 理 解 ， 而 且 还 可 能 进 一 步 揭 示 出 一些 分 析 员 目 前 还 不 知 道 的 需 求 。 (2) 由 于 情 景 分 析 较 易 为 用 户 所 理 解 ， 使 用 这种 技 术 能 保 证 用 户 在 需 求 分 析 过 程 中 始 终 扮 演 一个 积 极 主 动 的 角 色 。 让 用 户 起 积 极 主 动 的 作 用 对需 求 分 析 工 作 获 得 成 功 是 至 关 重 要 的 。 面 向 数 据 流 自 顶 向 下 求 精l 软 件 系 统 本 质 上 是 信 息 处 理 系 统 ， 基 本 功 能 是把 输 入 数 据 转 变 成 需 要 的 输 出 信 息 。 数 据 决 定 了需 要 的 处 理 和 算 法 ， 数 据 显 然 是 需 求 分 析 的 出 发点 。l 通 过 可 行 性 研 究 已 经 得 出 了 目 标 系 统 的 高 层 数据 流 图 ， 但 当 时 许 多 实 际 的 数 据 元 素 被 忽 略 了 ，需 求 分 析 的 目 标 之 一 就 是 把 数 据 流 和 数 据 存 储 定义 到 元 素 级 。 面 向 数 据 流 自 顶 向 下 求 精 的 过 程（ 1） 沿 数 据 流 图 从 输 出 端 往 输 入 端 回 溯 ， 确 定 每 个 数 据元 素 的 来 源 ， 初 步 定 义 了 有 关 的 算 法 。 通 常 把 有 关 数 据 元素 的 信 息 记 录 在 数 据 字 典 中 ， 把 对 算 法 的 简 明 描 述 记 录 在IPO图 中 。 （ 2） 从 数 据 流 图 输 入 端 开 始 ， 分 析 员 借 助 数 据 流 图 、 数据 字 典 和 IPO图 向 用 户 解 释 输 入 数 据 是 怎 样 一 步 一 步 地 转变 成 输 出 数 据 的 。 请 用 户 对 分 析 结 果 仔 细 地 复 查 ， 验 证 已知 的 元 素 ， 补 充 未 知 的 元 素 ， 填 补 文 档 中 的 空 白 。（ 3） 反 复 进 行 上 述 两 个 过 程 ， 分 析 员 通 过 功 能 分 解 完 成数 据 流 图 的 细 化 。 最 终 得 到 对 系 统 数 据 和 功 能 要 求 的 满 意了 解 。 示 意 图图 3.1 面 向 数 据 流 自 顶 向 下 求 精 过 程 简 易 的 应 用 规 格 说 明 技 术是 一 种 面 向 团 队 的 需 求 收 集 法 。l访 谈 或 面 向 数 据 流 自 顶 向 下 求 精 方 法 定 义 需 求时 ， 用 户 处 于 被 动 地 位 。 由 于 不 能 像 同 一 个 团 队的 人 那 样 齐 心 协 力 地 识 别 和 精 化 需 求 ， 这 两 种 方法 的 效 果 有 时 并 不 理 想 。l为 此 ， 人 们 研 究 出 一 种 面 向 团 队 的 需 求 收 集 法 ，称 为 简 易 的 应 用 规 格 说 明 技 术 。 这 种 方 法 提 倡 用户 与 开 发 者 密 切 合 作 ， 共 同 分 析 问 题 ， 解 决 问 题 。 分 析 需 求 的 典 型 过 程 如 下 ：1. 初 步 访 谈 ， 准 备 会 议 首 先 进 行 初 步 的 访 谈 ， 初 步 确 定 待 解 决 的 问 题 的 范 围 和 解 决 方 案 。 然 后 开 发 者 和 用 户 分 别 写 出 “ 产 品 需 求 ” 。 选 定 会 议 的 时 间 和 地 点 ， 并 选 举协 调 人 。2. 会 前 审 查 需 求 ， 确 定 列 表 要 求 每 位 与 会 者 在 开 会 的 前 几 天 认 真 审 查 产 品 需 求 ， 并 且 列 出 对 象 、 操 作 这些 对 象 或 与 这 些 对 象 交 互 的 服 务 、 约 束 条 件 和 性 能 标 准 。3. 会 上 讨 论 列 表 ， 创 建 组 合 列 表 每 位 与 会 者 展 示 列 表 供 大 家 讨 论 。 大 家 共 同 创 建 一 张 组 合 列 表 。 由 协 调 人 主持 讨 论 这 些 列 表 。4. 分 组 制 定 小 型 规 格 说 明 与 会 者 分 成 更 小 的 小 组 ， 为 每 张 列 表 中 的 项 目 制 定 小 型 规 格 说 明 。 每 个 小 组 都 向 全 体 与 会 者 展 示 他 们 制 定 的 小 型 规 格 说 明 ， 供 大 家 讨 论 。5. 制 定 确 认 标 准 ， 起 草 需 求 规 格 说 明 书 每 个 与 会 者 都 制 定 出 产 品 的 一 整 套 确 认 标 准 ， 并 提 交 会 议 讨 论 ， 以 创 建 出 意见 一 致 的 确 认 标 准 。 最 后 ， 起 草 完 整 的 软 件 需 求 规 格 说 明 书 。 简 易 的 应 用 规 格 说 明 技 术 的 优 点 ： 开 发 者 与 用 户 不 分 彼 此 ， 齐 心 协 力 ， 密 切合 作 ； 即 时 讨 论 并 求 精 ； 有 能 导 出 规 格 说 明 的 具 体 步 骤 。 3.2.4 快 速 建 立 软 件 原 型 快 速 建 立 软 件 原 型 是 最 准 确 、 最 有 效 、 最 强 大 的需 求 分 析 技 术 。 快 速 原 型 就 是 快 速 建 立 起 来 的 旨 在 演 示 目 标 系 统主 要 功 能 的 可 运 行 的 程 序 。 构 建 原 型 的 要 点 是 ， 它 应 该 实 现 用 户 看 得 见 的 功能 ， 省 略 目 标 系 统 的 “ 隐 含 ” 功 能 。 快 速 原 型 的 特 性 ： “ 快 速 ” 。 快 速 原 型 的 目 的 是 尽 快 向 用 户 提 供 一个 可 在 计 算 机 上 运 行 的 目 标 系 统 的 模 型 。 因 此 ，原 型 的 某 些 缺 陷 是 可 以 忽 略 的 。 “ 容 易 修 改 ” 。 如 果 原 型 的 第 一 版 不 是 用 户 所 需要 的 ， 就 必 须 根 据 用 户 的 意 见 迅 速 地 修 改 它 ， 构建 出 原 型 的 第 二 版 ， 以 更 好 地 满 足 用 户 需 求 。 如果 修 改 耗 时 过 多 ， 势 必 延 误 软 件 开 发 时 间 。 快 速 原 型 通 常 使 用 下 述 3种 方 法 和 工 具 ：(1) 第 四 代 技 术 （ 4GL） 第 四 代 技 术 包 括 众 多 数 据 库 查 询 （ 如 SQL） 和 报 表 语 言 （ 如ADF） 、 程 序 和 应 用 系 统 生 成 器 （ 如 Power Builder和 Oracle的 应 用 开 发 环 境 ） 以 及 其 他 非 常 高 级 的 非 过 程 语 言 。 第 四 代 技 术 使 得 软 件 工 程 师 能 够 快 速 地 生 成 可 执 行 的 代 码 ，它 们 是 较 理 想 的 快 速 原 型 工 具 。 第 四 代 技 术 特 点 ： 简 单 易 学 ， 用 户 界 面 良 好 ， 面 向 问 题 、 非 过 程 化 程 度 高 ，用 户 只 需 告 知 系 统 做 什 么 ， 而 无 需 说 明 怎 么 做 。 用 4GL编程 使 用 的 代 码 量 较 少 ， 并 可 成 数 量 级 地 提 高 软 件 生 产 率 。程 序 设 计 语 言 划 代 ： 1GL是 汇 编 语 言 ； 2GL是 高 级 程 序 设 计 语 言 ， 如 FORTRAN， ALGOL，BASIC， LISP等 ； 3GL是 增 强 性 的 高 级 程 序 设 计 语 言 ， 如 PASCAL，ALGOL68， FORTRAN77等 ； 4GL是 按 计 算 机 科 学 理 论 指 导 设 计 出 来 的 结 构 化 语 言 ， 如ADA， MODULA 2， SMALLTALK 80， JAVA， VB，VC， VF等 。 (2) 可 重 用 的 软 件 构 件 另 外 一 种 快 速 构 建 原 型 的 方 法 ， 是 使 用 一 组 已 有 的 软 件 构件 (也 称 为 组 件 )来 装 配 (而 不 是 从 头 构 造 )原 型 。 软 件 构 件 可 以 是 数 据 结 构 (或 数 据 库 )， 或 软 件 体 系 结 构 构件 (即 程 序 )， 或 过 程 构 件 (即 模 块 )。(3) 形 式 化 规 格 说 明 和 原 型 环 境 非 形 式 化 方 法 ： 自 然 语 言 描 述 半 形 式 化 方 法 ： 数 据 流 图 或 实 体 -联 系 图 形 式 化 方 法 ： 基 于 数 学 的 技 术 快 速 原 型 过 程 示 意 图短 时 间 内 建 立 原 型用 户 满 意修 改 ， 完 善 原 型否 是 完 成 原 型 3.3 分 析 建 模 与 规 格 说 明分 析 建 模l模 型 ， 就 是 为 了 理 解 事 物 而 对 事 物 做 出 的 一 种抽 象 ， 是 对 事 物 的 一 种 无 歧 义 的 书 面 描 述 。 通常 ， 模 型 由 一 组 图 形 符 号 和 组 织 这 些 符 号 的 规则 组 成 。l分 析 建 模 是 指 通 过 抽 象 、 概 括 和 一 般 化 的 方 法 ，把 研 究 的 具 体 对 象 或 问 题 转 化 为 本 质 相 同 的 抽象 对 象 或 问 题 ， 从 而 加 以 解 决 。 分 析 建 模 的 目的 是 构 造 系 统 的 详 细 逻 辑 模 型 。 建 模 过 程 物 理 模 型 和 逻 辑 模 型l物 理 模 型 ： 具 体 描 述 系 统 是 如 何 在 物 理 上实 现 的 。l逻 辑 模 型 ： 抽 象 描 述 系 统 的 业 务 功 能 ， 不关 心 系 统 是 如 何 实 施 的 。 分 析 建 模 过 程 示 意(1)通 过 对 现 实 环 境 的 调 查 ， 获 得 当 前 系 统 的 物 理 模 型 。 分 析 建 模 过 程 示 意 (2)去 掉 物 理 模 型 中 的 非 本 质 因 素 ， 抽 象 出 当 前 系 统 的 逻 辑 模 型 。 分 析 建 模 过 程 示 意 (3)分 析 当 前 系 统 与 目 标 系 统 的 差 别 ， 建 立 目 标 系 统 的 逻 辑 模 型 。 分 析 建 模 的 方 法l结 构 化 分 析 方 法 (SA)l面 向 对 象 的 分 析 方 法 (OOA) SAl结 构 化 分 析 方 法 （ Structured Analysis ， 简称 SA方 法 ） 是 一 种 面 向 数 据 流 自 顶 向 下 逐步 求 精 进 行 需 求 分 析 的 方 法 。 这 个 方 法 通常 与 设 计 阶 段 的 结 构 化 设 计 方 法 （ SD） 衔接 起 来 。l自 顶 向 下 逐 步 求 精 体 现 了 分 解 和 抽 象 的 原则 ， 可 以 有 控 制 地 逐 步 实 现 更 多 的 细 节 ，所 以 SA方 法 有 效 地 控 制 了 复 杂 性 。 结 构 化 分 析 方 法 示 意 图 结 构 化 分 析 方 法 中 使 用 的 建 模 工 具 ：l 数 据 模 型 -实 体 -联 系 图l 功 能 模 型 -数 据 流 图l 行 为 模 型 -状 态 转 换 图 结 构 化 分 析 模 型 的 体 系 结 构 l 模 型 的 核 心 是 数 据 字 典 （ DD） ， 它 描 述 了 目 标 系 统 中 所 有 的 数 据 对象 。l 数 据 流 图 （ DFD） 描 绘 当 数 据 在 软 件 系 统 中 移 动 时 被 变 换 的 逻 辑 过 程 ，指 明 系 统 具 有 的 变 换 数 据 的 功 能 ， 因 此 ， 数 据 流 图 是 建 立 功 能 模 型 的基 础 。l 实 体 -联 系 图 （ E-RD） 描 述 数 据 对 象 及 相 互 之 间 的 关 系 ， 是 用 于 建 立数 据 模 型 的 图 形 。l 状 态 转 换 图 （ STD） 描 述 系 统 对 外 部 事 件 如 何 响 应 ， 如 何 动 作 ， 是 行为 建 模 的 基 础 。l 模 型 的 外 层 是 描 述 信 息 。 在 实 体 -关 系 图 中 出 现 的 每 个 数 据 对 象 可 以 使用 数 据 对 象 描 述 来 描 述 。 在 数 据 流 图 中 出 现 的 每 个 加 工 /处 理 的 功 能 描述 包 含 在 加 工 规 约 中 。 软 件 控 制 方 面 的 附 加 信 息 包 含 在 控 制 规 约 中 。各 模 型 图 说 明 软 件 需 求 规 格 说 明l 通 过 需 求 分 析 除 了 创 建 分 析 模 型 之 外 ， 还 应 该 写 出 软 件 需求 规 格 说 明 书 ， 它 是 需 求 分 析 阶 段 得 出 的 最 主 要 的 文 档 。l 通 常 用 自 然 语 言 完 整 、 准 确 、 具 体 地 描 述 系 统 的 数 据 要 求 、功 能 需 求 、 性 能 需 求 、 可 靠 性 和 可 用 性 要 求 、 出 错 处 理 需求 、 接 口 需 求 、 约 束 、 逆 向 需 求 以 及 将 来 可 能 提 出 的 要 求 。 l 通 常 用 自 然 语 言 或 形 式 化 方 法 描 述 。 我 国 定 义 了 GB856D-1988国 家 标 准 ， 给 出 了 需 求 规 格 说明 的 内 容 框 架 ： 1 引 言 1.1 编 写 目 的 1.2 项 目 背 景 （ 单 位 和 其 他 系 统的 关 系 ） 1.3 定 义 （ 专 门 术 语 和 缩 写 词 ）2 任 务 概 述 2.1 目 标 2.2 运 行 环 境 2.3 条 件 限 制3 数 据 描 述 3.1 静 态 数 据 3.2 动 态 数 据 3.3 数 据 库 描 述 3.4 数 据 字 典 3.5 数 据 采 集 4 功 能 需 求 4.1 功 能 划 分 4.2 功 能 描 述5 性 能 需 求 5.1 数 据 精 确 度 5.2 时 间 特 性 5.3 适 应 性6 运 行 需 求 6.1 用 户 界 面 6.2 硬 件 接 口 6.3 软 件 接 口 6.4 故 障 处 理7 其 他 需 求（ 检 测 或 验 收 标 准 、 可 用 性 、 可维 护 性 、 可 移 植 性 、 安 全 保 密 性 ） 3.4 实 体 -联 系 图 为 了 把 用 户 的 数 据 要 求 清 楚 、 准 确 地 描 述 出 来 ，系 统 分 析 员 通 常 建 立 一 个 概 念 性 的 数 据 模 型 。 概 念 性 数 据 模 型 是 一 种 面 向 问 题 的 数 据 模 型 ， 是按 照 用 户 的 观 点 对 数 据 建 立 的 模 型 。 它 描 述 了 从用 户 角 度 看 到 的 数 据 ， 它 反 映 了 用 户 的 现 实 环 境， 且 与 在 软 件 系 统 中 的 实 现 方 法 无 关 。 数 据 模 型 中 包 含 3种 相 互 关 联 的 信 息 ： 数 据 对 象 数 据 对 象 的 属 性 数 据 对 象 彼 此 间 相 互 连 接 的 关 系 3.4 实 体 -联 系 图1.数 据 对 象数 据 对 象 是 指 具 有 一 系 列 不 同 性 质 或 属 性 的 事 物 ， 仅 有 单 个值 的 事 物 (例 如 ， 宽 度 )不 是 数 据 对 象 。 数 据 对 象 可 以 是 现 实世 界 的 人 、 物 、 抽 象 的 概 念 、 事 物 之 间 的 联 系 等 。数 据 对 象 可 以 是 外 部 实 体 （ 例 如 产 生 或 使 用 信 息 的 任 何 事物 ） 、 事 物 （ 如 报 表 ） 、 行 为 （ 如 打 电 话 ） 、 事 件 （ 如 响 警报 ） 、 角 色 （ 如 教 师 、 学 生 ） 、 单 位 （ 如 会 计 科 ） 、 地 点（ 如 仓 库 ） 等总 之 ， 可 以 由 一 组 属 性 来 定 义 的 实 体 都 可 以 被 认 为 是 数 据 对象 。 3.4 实 体 -联 系 图2 属 性“ 属 性 ” 定 义 了 数 据 对 象 的 性 质 。 属 性 是 对 实 体 的进 一 步 描 述 。 如 学 生 实 体 可 由 学 号 、 姓 名 、 年 龄 、性 别 、 学 院 、 年 级 等 属 性 来 刻 画 。 (属 性 有 属 性 名 和属 性 值 的 概 念 )。例 如 ， 汽 车 属 性 有 品 牌 、 型 号 、 发 动 机 号 码 、 车 体类 型 、 颜 色 、 生 产 日 期 等 3.4 实 体 -联 系 图3 联 系现 实 世 界 里 的 事 物 总 是 存 在 着 这 样 或 那 样 的 联 系 ，这 种 联 系 必 然 要 在 信 息 世 界 中 得 到 反 映 。 在 信 息 世 界 中 ，事 物 之 间 的 联 系 可 分 为 两 类 ： 一 是 实 体 内 部 的 联 系 ， 如 组成 实 体 的 各 属 性 之 间 的 关 系 ； 另 一 是 实 体 之 间 的 联 系 ， 这里 我 们 主 要 讨 论 实 体 与 实 体 之 间 的 联 系 。实 体 彼 此 间 的 联 系 分 为 三 类 ： 一 对 一 （ 1:1） 联 系 ，一 对 多 （ 1:N） 联 系 ， 多 对 多 （ M:N） 联 系 。 一 对 一 联 系 （ 1 1） 如 果 对 于 A中 的 每 一 个 实 体 ， B中 至 多 有 一 个 实 体 与 其 对 应 ； B中 的 每 一个 实 体 也 至 多 对 应 A中 的 一 个 实 体 ， 则 称 A与 B是 一 对 一 的 ， 记 作 1:1。 比 如 ：学 校校 长领 导 11 工 厂厂 长管 理 11 科 室 主 任病 区负 责 11属 性 1属 性 n 属 性 1属 性 n校 名 属 性 n属 性 1校 址 姓 名 职 称 属 性 1 属 性 n 属 性 1 属 性 n属 性 1 属 性 n 属 性 1 属 性 n 一 对 多 联 系 （ 1 N）如 果 对 于 A中 的 一 个 实 体 ， B中 有 一 个 以 上 的 实 体 与 之 对 应 ； B中 的 每 一个 实 体 至 多 对 应 A中 的 一 个 实 体 ， 则 称 A与 B是 一 对 多 的 ， 记 作 1:n。 比 如 ：学 校班 级下 设 1n 工 厂车 间有 1n 病 区医 生拥 有 1n 属 性 1属 性 n属 性 1属 性 n属 性 1属 性 n校 名 校 址 属 性 1 属 性 n 属 性 1 属 性 n 班 名 人 数 属 性 1 属 性 n 属 性 1 属 性 n 多 对 多 联 系 （ M N）如 果 A中 有 实 体 对 应 B中 一 个 以 上 实 体 ； B中 也 有 实 体 对 应 A中 一 个 以 上 实 体 ， 则 称 A与 B为 多 对 多 的 ， 记 作 m:n。 比 如 ： 学 生课 程选 课 mn 项 目职 工参 加 mn 医 生病 人诊 治 mn成 绩 属 性 1属 性 n 记 录学 号 姓 名 属 性 1 属 性 n 属 性 1 属 性 n 课 程 号 课 程 名 属 性 1 属 性 n 属 性 1 属 性 n 3.4.4 实 体 联 系 图 的 符 号 通 常 ， 使 用 实 体 -联 系 图 (entity-relationship diagram)来建 立 数 据 模 型 。 可 以 把 实 体 -联 系 图 简 称 为 ER图 ， 相 应 地可 把 用 ER图 描 绘 的 数 据 模 型 称 为 ER模 型 。 ER图 中 包 含 了 实 体 (即 数 据 对 象 )、 关 系 和 属 性 3 种 基 本成 分 ， 通 常 用 矩 形 框 代 表 实 体 ， 用 连 接 相 关 实 体 的 菱 形 框表 示 关 系 ， 用 椭 圆 形 或 圆 角 矩 形 表 示 实 体 (或 关 系 )的 属 性 ，并 用 直 线 把 实 体 (或 关 系 )与 其 属 性 连 接 起 来 。 比 较 接 近 人 的 习 惯 思 维 方 式 ； 用 简 单 的 图 形 符 号 表 达 系 统 分 析 员 对 问 题 域 的 理 解 ，用 户 也 容 易 理 解 ， 可 以 作 为 用 户 与 分 析 员 之 间 有 效 的交 流 工 具 。 数 据 建 模 工 具 ： 以 自 动 化 的 方 式 创 建 ER图 、 数 据 字 典及 相 关 模 型 。 PowerDesigner 是 Sybase公 司 的 CASE工 具 集 ,几 乎 包 括 了数 据 库 模 型 设 计 的 全 过 程 . ERDesigner NG 是 一 个 实 体 关 系 建 模 工 具 ， 开 源 ModelRight3是 一 款 数 据 库 开 发 、 支 持 、 转 换 工 具 Oracle Designer 建 模 、 应 用 系 统 和 数 据 库 设 计 OpenSystemArchitect 开 源 数 据 库 建 模 软 件ER图 的 优 点 ： 如 何 设 计 E-R图 考 察 客 观 事 物 及 其 联 系 ， 抽 象 出 实 体 ， 并 一 一 命 名 (不 能重 名 ) 根 据 需 求 确 定 实 体 的 属 性 根 据 属 性 外 在 的 联 系 ， 描 述 实 体 间 的 联 系 先 作 出 局 部 E-R图 ， 再 综 合 产 生 总 体 E-R图 。 总 体 E-R图 不是 各 局 部 E-R图 的 简 单 拼 合 ， 而 是 有 可 能 增 加 了 某 些 联 系 ，也 有 可 能 减 少 了 某 些 联 系 实 例 1u一 个 学 生 管 理 系 统 的 实 体 -联 系 图【 步 骤 】（ 1 ） 考 察 客 观 事 物 及 其 联 系 ， 抽 象 出 实 体 ， 并 一一 命 名 (不 能 重 名 ) 实 体 ： 教 师 ， 学 生 ， 课 程（ 2） 根 据 需 求 确 定 实 体 的 属 性 教 师 ： 教 工 号 ， 姓 名 ， 性 别 ， 职 称 ， 职 务 学 生 ： 学 号 ， 姓 名 ， 性 别 ， 系 ， 年 级 课 程 ： 课 程 号 ， 课 名 ， 学 时 ， 学 分 例 1：（ 3） 根 据 属 性 外 在 的 联 系 ， 描 述 实 体 间 的 联 系 教 ： 教 师 教 课 程 学 ： 学 生 学 课 程（ 4） 画 出 E-R图 例 2： 习 题 3.3 银 行 储 蓄 系 统 的 ER图 银 行 计 算 机 储 蓄 系 统 的 工 作 过 程 大 致 如 下 ： 储 户 填 写 的 存 款 单 或 取 款 单 由 业 务 员 键 入 系 统 ，如 果 是 存 款 则 系 统 记 录 存 款 人 姓 名 、 住 址 (或 电 话号 码 )、 身 份 证 号 码 、 存 款 类 型 、 存 款 日 期 、 到 期日 期 、 利 率 及 密 码 (可 选 )等 信 息 ， 并 印 出 存 单 给 储户 ； 如 果 是 取 款 而 且 存 款 时 留 有 密 码 ， 则 系 统 首 先 核对 储 户 密 码 ， 若 密 码 正 确 或 存 款 时 未 留 密 码 ， 则系 统 计 算 利 息 并 印 出 利 息 清 单 给 储 户 。 例 2： 银 行 储 蓄 系 统 的 ER图 ER图 练 习 题 ： 请 为 某 仓 库 的 管 理 设 计 一 个 ER模 型 。 该仓 库 主 要 管 理 零 件 （ 包 括 零 件 编 号 、 名称 、 颜 色 、 重 量 ） 的 定 购 和 供 应 等 事 项。 仓 库 向 工 程 项 目 （ 包 括 项 目 编 号 、 项目 名 称 、 开 工 日 期 ） 供 应 零 件 ， 并 且 根据 需 要 向 供 应 商 （ 包 括 供 应 商 编 号 、 名称 、 地 址 ） 定 购 零 件 。 仓 库 管 理 系 统 的 ER图 3.5 数 据 规 范 化l软 件 系 统 经 常 使 用 各 种 长 期 保 存 的 信 息 ， 这 些 信息 通 常 以 一 定 方 式 组 织 并 存 储 在 数 据 库 或 文 件 中 ，为 减 少 数 据 冗 余 ， 避 免 出 现 插 入 异 常 或 删 除 异 常 ，简 化 修 改 数 据 的 过 程 ， 通 常 需 要 把 数 据 结 构 规 范化 。 范 式l通 常 用 “ 范 式 (normal forms)”定 义 消 除 数 据 冗 余的 程 度 。 第 一 范 式 (1 NF)数 据 冗 余 程 度 最 大 ， 第五 范 式 (5 NF)数 据 冗 余 程 度 最 小 。 范 式 级 别 越 高 ， 存 储 同 样 数 据 需 要 分 解 成 更 多 张 表 ，因 此 ， “ 存 储 自 身 ” 过 程 越 复 杂 。 随 着 范 式 级 别 的 提 高 ， 数 据 的 存 储 结 构 与 基 于 问 题 域的 结 构 间 的 匹 配 程 度 也 随 之 下 降 ， 因 此 ， 在 需 求 变 化时 数 据 的 稳 定 性 较 差 。 范 式 级 别 提 高 则 需 要 访 问 的 表 增 多 ， 因 此 性 能 (速 度 )将下 降 。从 实 用 角 度 来 看 ， 在 大 多 数 场 合 选 用 第 三 范 式 都 比 较 恰 当 。 第 一 范 式 ， 每 个 属 性 值 都 必 须 是 原 子 值 ， 即 仅 仅 是 一 个 简单 值 而 不 含 内 部 结 构 。 第 二 范 式 ， 满 足 第 一 范 式 条 件 ， 而 且 每 个 非 关 键 字 属 性 都由 整 个 关 键 字 决 定 (而 不 是 由 关 键 字 的 一 部 分 来 决 定 )。 第 三 范 式 ， 符 合 第 二 范 式 的 条 件 ， 每 个 非 关 键 字 属 性 都 仅由 关 键 字 决 定 ， 而 且 一 个 非 关 键 字 属 性 不 能 仅 仅 是 对 另 一个 非 关 键 字 属 性 的 进 一 步 描 述 (即 一 个 非 关 键 字 属 性 值 不依 赖 于 另 一 个 非 关 键 字 属 性 值 )。 l 下 面 以 一 个 学 校 的 学 生 系 统 为 例 分 析 说 明 ， 假 设 数 据 库 中包 括 如 下 信 息 ： 学 号 、 学 生 姓 名 、 年 龄 、 性 别 、 课 程 、 课程 学 分 、 系 别 、 学 科 成 绩 ， 系 办 地 址 、 系 办 电 话 等 信 息 。首 先 我 们 考 虑 ， 把 所 有 这 些 信 息 放 到 一 个 表 中 ， 因 此 不 满足 第 二 范 式 的 要 求 ， 会 产 生 如 下 问 题 ： 数 据 冗 余 ： 同 一 门 课 程 由 n个 学 生 选 修 ， 学 分 重 复 n-1 次 ；同 一 个 学 生 选 修 m门 课 程 ， 姓 名 和 年 龄 就 重 复 m-1 次 。 更 新 异 常 ： 1 ） 若 调 整 了 某 门 课 程 的 学 分 ， 数 据 表 中 所 有 行 的 “学 分 ”值 都 要 更 新 ， 否 则 会 出 现 同 一 门 课 程 学 分 不 同 的 情 况 。 2 ） 假 设 要 开 设 一 门 新 的 课 程 ， 暂 时 还 没 有 人 选 修 。 这 样 ，由 于 还 没 有 “学 号 ”关 键 字 ， 课 程 名 称 和 学 分 也 无 法 记 录 入数 据 库 。 删 除 异 常 ： 假 设 一 批 学 生 已 经 完 成 课 程 的 选 修 ， 这 些 选 修记 录 就 应 该 从 表 中 删 除 。 但 是 ， 与 此 同 时 ， 课 程 名 称 和 学分 信 息 也 被 删 除 了 。 很 显 然 ， 这 也 会 导 致 插 入 异 常 。 解 决 方 案 ， 改 为 如 下 三 个 表 ： 学 生 ： Student（ 学 号 ， 姓 名 ， 年 龄 ， 性 别 ， 系别 ， 系 办 地 址 、 系 办 电 话 ） ； 课 程 ： Course（ 课 程 名 称 ,学 分 ） ； 选 课 关 系 ： SelectCourse（ 学 号 ， 课 程 名 称 ， 成绩 ） 。 3.6 状 态 转 换 图 是 通 过 描 绘 系 统 的 状 态 及 引 起 系 统 状 态 转 换 的 事 件 ， 来 表 示 系统 的 行 为 。 状 态 图 还 指 明 了 作 为 特 定 事 件 的 结 果 系 统 将 做 哪 些 动 作 (例 如 ，处 理 数 据 )。 状 态 模 型 一 般 采 用 状 态 转 换 图 （ 状 态 图 ） 表 示 ， 状 态 图 提 供 了 行 为 建 模机 制 。 状 态 1 状 态 2事 件 /触 发 行 为 3.6.1 状 态状 态 ： 是 任 何 可 以 被 观 察 到 的 系 统 行 为 模 式 ， 一 个 状 态 代表 系 统 的 一 种 行 为 模 式 。 状 态 规 定 了 系 统 对 事 件 的 响 应 方式 。状 态 主 要 有 ：初 态 (即 初 始 状 态 )， 只 能 有 1个终 态 (即 最 终 状 态 )， 可 以 有 0至 多 个中 间 状 态状 态 图 分 类 ：表 示 系 统 循 环 运 行 过 程 ， 通 常 不 关 心 循 环 是 怎 样 启 动 的 。表 示 系 统 单 程 生 命 期 ， 需 要 标 明 初 始 状 态 和 最 终 状 态 。 3.6.2 事 件 事 件 ： 是 在 某 个 特 定 时 刻 发 生 的 事 情 ， 它 是 对 引起 系 统 做 动 作 或 (和 )从 一 个 状 态 转 换 到 另 一 个 状 态的 外 界 事 件 的 抽 象 。 简 而 言 之 ， 事 件 就 是 引 起 系统 做 动 作 或 (和 )转 换 状 态 的 控 制 信 息 。 3.6.3 符 号 初 态 ： 用 实 心 圆 表 示 ； 终 态 ： 用 一 对 同 心 圆 (内 圆 为 实 心 圆 )表 示 ； 中 间 状 态 ： 用 圆 角 矩 形 表 示 ， 分 成 上 、 中 、 下 3部分 。 上 面 部 分 -为 状 态 的 名 称 ； 中 间 部 分 -为 状 态 变 量 的 名 字 和 值 ； 下 面 部 分 -是 活 动 表 。 带 箭 头 的 连 线 ： 称 为 状 态 转 换 ， 箭 头 指 明 了 转 换方 向 。 3.6.4 例 子例 1： 电 话 系 统 例 3： 银 行 储 蓄 系 统 存 款 过 程 的 状 态 图 例 3： 银 行 储 蓄 系 统 取 款 过 程 的 状 态 图 状 态 图 练 习 题 ： 习 题 3.6 复 印 机 的 工 作 过 程 大 致 如 下 ： 未 接 到 复 印 命 令 时 处 于 闲 置 状 态 ， 一 旦 接到 复 印 命 令 则 进 入 复 印 状 态 ， 完 成 一 个 复印 命 令 规 定 的 工 作 后 又 回 到 闲 置 状 态 ， 等待 下 一 个 复 印 命 令 ； 如 果 执 行 复 印 命 令 时 发 现 没 纸 ， 则 进 入 缺纸 状 态 ， 发 出 警 告 ， 等 待 装 纸 ， 装 满 纸 后进 入 闲 置 状 态 ， 准 备 接 收 复 印 命 令 ； 如 果 复 印 时 发 生 卡 纸 故 障 ， 则 进 入 卡 纸 状态 ， 发 出 警 告 等 待 维 修 人 员 来 排 除 故 障 ，故 障 排 除 后 回 到 闲 置 状 态 。 3.7 其 他 图 形 工 具 3.7.1 层 次 方 框 图 层 次 方 框 图 ： 用 树 形 结 构 的 一 系 列 多 层 次 的 矩 形框 描 绘 数 据 的 层 次 结 构 。 树 形 结 构 的 顶 层 是 一 个 单 独 的 矩 形 框 ， 它 代 表 完整 的 数 据 结 构 ； 下 面 的 各 层 矩 形 框 代 表 这 个 数 据 的 子 集 ； 最 底 层 的 各 个 框 代 表 组 成 这 个 数 据 的 实 际 数 据 元素 (不 能 再 分 割 的 元 素 )。 某 计 算 机 公 司 的 全 部 产 品 的 层 次 方 框 图 3.7.2 Warnier图 Warnier图 ： 和 层 次 方 框 图 类 似 ， Warnier图 也 用 树形 结 构 描 绘 信 息 ， 但 是 这 种 图 形 工 具 比 层 次 方 框图 提 供 了 更 丰 富 的 描 绘 手 段 。 特 点 ： 用 Warnier图 可 以 表 明 信 息 的 逻 辑 组 织 ， 也可 以 表 示 特 定 信 息 在 某 一 类 信 息 中 是 有 条 件 地 出现 的 。 因 为 重 复 和 条 件 约 束 是 说 明 软 件 处 理 过 程的 基 础 ， 所 以 很 容 易 把 Warnier图 转 变 成 软 件 设 计的 工 具 。 软 件 产 品 的 Warnier图 3.7.3 IPO图 IPO图 ： 是 输 入 、 处 理 、 输 出 图 的 简 称 ， 它 是 美 国IBM公 司 发 展 完 善 起 来 的 一 种 图 形 工 具 ， 能 够 方便 地 描 绘 输 入 数 据 、 对 数 据 的 处 理 和 输 出 数 据 之间 的 关 系 。 基 本 形 式 ： 是 在 左 边 的 框 中 列 出 有 关 的 输 入 数 据， 在 中 间 的 框 内 列 出 主 要 的 处 理 ， 在 右 边 的 框 内列 出 产 生 的 输 出 数 据 。 在 IPO图 中 还 用 类 似 向 量 符号 的 粗 大 箭 头 清 楚 地 指 出 数 据 通 信 的 情 况 。 图 3.7 IPO图 的 一 个 例 子 图 IPO图 改 进 的 IPO图 ： 这 种图 中 包 含 某 些 附 加 的信 息 ， 在 软 件 设 计 过程 中 将 比 原 始 的 IPO图 更 有 用 。 在 需 求 分 析 阶 段 可 以使 用 IPO图 简 略 地 描述 系 统 的 主 要 算 法 (即 数 据 流 图 中 各 个 处理 的 基 本 算 法 )。 改 进 的 IPO 改 进 IPO示 例 IPO表系 统 ： 定 货 系 统 作 者 ： 祁 燕模 块 ： 处 理 事 务 日 期 ： 2010.3编 号 ： 1.0被 调 用 ： 定 货 系 统 调 用 ： 接 受 事 务 更 新 库 存 清 单 处 理 定 货输 入 ： 事 务 输 出 ： 定 货 信 息 库 存 清 单处 理 ： （ 用 过 程 描 述 工 具 描 述 本 模 块 的 算 法 ，如 PAD图 、 N-S图 、 伪 代 码 等 ）局 部 数 据 元 素 ： 注 释 ： 3.8 验 证 软 件 需 求3.8.1 从 哪 些 方 面 验 证 软 件 需 求 的 正 确 性 一 致 性 ， 所 有 需 求 必 须 是 一 致 的 ， 任 何 一条 需 求 不 能 和 其 他 需 求 互 相 矛 盾 。 完 整 性 ， 需 求 必 须 是 完 整 的 ， 规 格 说 明 书应 该 包 括 用 户 需 要 的 每 一 个 功 能 或 性 能 。 现 实 性 ， 指 定 的 需 求 应 该 是 用 现 有 的 硬 件技 术 和 软 件 技 术 基 本 上 可 以 实 现 的 。 有 效 性 ， 必 须 证 明 需 求 是 正 确 有 效 的 ， 确实 能 解 决 用 户 面 对 的 问 题 。 3.8.2 验 证 软 件 需 求 的 方 法1. 验 证 需 求 的 一 致 性 人 工 技 术 审 查 形 式 化 的 描 述 软 件 需 求 的 方 法2. 验 证 需 求 的 现 实 性 仿 真 或 性 能 模 拟 技 术3. 验 证 需 求 的 完 整 性 和 有 效 性 开 发 原 型 系 统 3.8.3 用 于 需 求 分 析 的 软 件 工 具软 件 工 具 应 该 满 足 下 列 要 求 ： 必 须 有 形 式 化 的 语 法 (或 表 )， 因 此 可 以 用 计 算 机 自动 处 理 使 用 这 种 语 法 说 明 的 内 容 ； 使 用 这 个 软 件 工 具 能 够 导 出 详 细 的 文 档 ； 必 须 提 供 分 析 (测 试 )规 格 说 明 书 的 不 一 致 性 和 冗 余性 的 手 段 ， 并 且 应 该 能 够 产 生 一 组 报 告 指 明 对 完整 性 分 析 的 结 果 ； 使 用 这 个 软 件 工 具 之 后 ， 应 该 能 够 改 进 通 信 状 况。 用 结 构 化 分 析 方 法 分 析 图 书 馆 系 统 【 问 题 描 述 】 一 个 图 书 馆 藏 有 图 书 和 期 刊 杂 志 两 大 类 书 籍 ， 每 种 图 书 /杂 志 可 以 有多 册 。 图 书 馆 可 以 维 护 （ 注 册 、 更 新 和 删 除 ） 图 书 资 料 。 图 书 馆 管 理 员 负 责 与 借 书 者 打 交 道 。 借 书 者 可 以 预 约 目 前 借 不 到 的 书 或 杂 志 。 所 有 人 员 都 可 以 浏 览 图 书 馆 的 图 书 信 息 和 各 种 告 示 。 系 统 能 在 流 行 的 技 术 环 境 下 运 行 ， 有 一 个 良 好 的 图 形 交 互 界 面 。 系 统 应 具 有 良 好 的 可 扩 展 性 。 【 功 能 分 析 】 浏 览 功 能 ： 所 有 人 员 都 可 以 浏 览 图 书 馆 的 图 书 信 息 。 借 还 功 能 ： 借 书 者 可 以 借 /续 借 、 还 、 预 约 图 书 。 图 书 管 理 功 能 ： 图 书 管 理 人 员 可 以 做 录 入 、 更 新 和 销 毁等 图 书 信 息 维 护 工 作 。 借 书 者 管 理 ： 系 统 管 理 人 员 可 以 进 行 注 册 、 更 改 、 注 销借 书 者 信 息 等 维 护 工 作 。 【 建 立 数 据 流 图 】 分 析 图 书 馆