《需求分析》PPT課件

《《需求分析》PPT課件》由會員分享，可在線閱讀，更多相關(guān)《《需求分析》PPT課件（69頁珍藏版）》請在裝配圖網(wǎng)上搜索。

1、第 3章 需 求 分 析 為 什 么 需 要 需 求 分 析 ？v開 發(fā) 人 員 往 往 急 于 求 成v希 望 對 開 發(fā) 進 行 指 導v希 望 開 發(fā) 人 員 對 用 戶 的 要 求 理 解v希 望 用 戶 理 解 開 發(fā) 人 員v測 試 部 門 有 理 可 依 需 求 分 析 做 什 么 ?v準 確 地 回 答 ” 系 統(tǒng) 必 須 做 什 么 ?” 這 個 問 題 ；v對 系 統(tǒng) 提 出 完 整 、 準 確 、 清 晰 、 具 體 的 要 求 ；v寫 出 軟 件 需 求 規(guī) 格 說 明 書 ；v用 戶 要 很 好 地 參 與 到 需 求 分 析 過 程 中 來 ； (需求 要 不 斷

2、迭 代 )v注 意 區(qū) 別 ” 可 行 性 分 析 ” 和 ” 需 求 分 析 ” 的異 同 ；v設(shè) 計 出 系 統(tǒng) 的 ” 數(shù) 據(jù) 模 型 ” 、 細 化 的 “ 邏 輯模 型 ” 和 “ 行 為 模 型 ” ； (關(guān) 鍵 所 在 ) Is WhatNot How 需 求 分 析 做 什 么 ?所 有 的 結(jié) 構(gòu) 化 分 析 方 法 都 遵 守 下 述 準 則 ：(1) 必 須 理 解 并 描 述 問 題 的 信 息 域 ， 根 據(jù) 這 條準 則 應 該 建 立 數(shù) 據(jù) 模 型 。(2) 必 須 定 義 軟 件 應 完 成 的 功 能 ， 這 條 準 則 要求 建 立 功 能 模 型 。(3

3、) 必 須 描 述 作 為 外 部 事 件 結(jié) 果 的 軟 件 行 為 ，這 條 準 則 要 求 建 立 行 為 模 型 。(4) 必 須 對 描 述 信 息 、 功 能 和 行 為 的 模 型 進 行分 解 ， 用 層 次 的 方 式 展 示 細 節(jié) 。 需 求 獲 取 面 臨 的 挑 戰(zhàn)L 客 戶 說 不 清 楚 需 求L 需 求 易 變 性L問 題 的 復 雜 性 和 對 問 題 空 間 理 解 的 不 完 備 性 與 不 一 致 性 優(yōu) 秀 需 求 具 有 的 特 性v1. 完 整 性 v2. 正 確 性 v3. 可 行 性 v4. 必 要 性 v5. 劃 分 優(yōu) 先 級 v6. 無

4、二 義 性 v7. 可 驗 證 性 3.1 需 求 分 析 的 任 務 具 體 任 務 ：確 定 對 系 統(tǒng) 的 綜 合 要 求 （ 系 統(tǒng) 需 要 什 么 ？ ） 分 析 和 設(shè) 計 系 統(tǒng) 的 數(shù) 據(jù) 要 求 （ 處 理 的 數(shù) 據(jù) 對 象是 什 么 ？ ）在 可 行 性 分 析 的 基 礎(chǔ) 之 上 分 析 和 設(shè) 計 系 統(tǒng) 的 功能 模 型 （ 系 統(tǒng) 功 能 的 模 型 表 示 是 什 么 ？ ）分 析 和 設(shè) 計 描 述 軟 件 動 態(tài) 變 化 的 行 為 模 型 （ 系統(tǒng) 的 狀 態(tài) 是 如 何 改 變 的 ？ ） 編 寫 軟 件 需 求 規(guī) 格 說 明 書 ， 可 能 需 要

5、修 正 系 統(tǒng)開 發(fā) 計 劃 3.1.1 確 定 系 統(tǒng) 的 綜 合 要 求v 功 能 要 求v 性 能 要 求v 可 靠 性 和 可 用 性 要 求v 出 錯 處 理 要 求v 接 口 要 求v 約 束v 逆 向 要 求v 擴 展 要 求基 本 的 、核 心 的 時 間 、 存 儲量 、 安 全 性MTTF 對 環(huán) 境 錯 誤應 該 如 何 響應用 戶 、 硬 件 、軟 件 、 通 信 限 制 條 件 、精 度 、 語 言 對 系 統(tǒng) 可 能的 擴 充 或 修改系 統(tǒng) 不 應 該做 什 么 3.1.2 分 析 和 設(shè) 計 系 統(tǒng) 的 數(shù) 據(jù) 要 求v軟 件 系 統(tǒng) 的 本 質(zhì) 是 對 數(shù) 據(jù)

6、 進 行 處 理 。v通 常 要 求 建 立 完 整 的 概 念 模 型 （ E-R模 型 ）v數(shù) 據(jù) 字 典 缺 乏 直 觀 性 （ 考 慮 圖 形 化 的 描 述 復雜 數(shù) 據(jù) 的 組 成 ）v必 要 時 需 要 對 數(shù) 據(jù) 模 型 進 行 規(guī) 范 化 （ 范 式 ）v階 段 性 成 果 ：E-R圖層 次 方 框 圖 或 Warnier圖 3.1.3 分 析 和 設(shè) 計 系 統(tǒng) 的 功 能 模 型v確 定 系 統(tǒng) 綜 合 要 求 和 分 析 系 統(tǒng) 數(shù) 據(jù) 要 求 順 利完 成 之 后 即 可 導 出 詳 細 的 系 統(tǒng) 功 能 模 型 。v階 段 性 成 果 ：細 化 后 并 經(jīng) 過 多

7、 次 校 驗 的 數(shù) 據(jù) 流 圖 (DFD)與 數(shù) 據(jù) 流 圖 相 輔 相 存 的 數(shù) 據(jù) 字 典 (DD)概 要 性 的 描 述 主 要 加 工 的 處 理 算 法 (IPO) v確 定 系 統(tǒng) 的 動 態(tài) 變 化 的 方 式 ， 采 用 狀 態(tài) 轉(zhuǎn) 換圖 來 描 述 。v階 段 性 成 果 ：狀 態(tài) 轉(zhuǎn) 換 圖 (STD)3.1.4 分 析 和 設(shè) 計 系 統(tǒng) 的 行 為 模 型 3.1.5 編 寫 需 求 規(guī) 格 說 明 ， 可 能 需 要修 正 系 統(tǒng) 的 開 發(fā) 計 劃v根 據(jù) 上 述 的 階 段 性 成 果 ， 匯 總 為 “ 軟 件 需 求規(guī) 格 說 明 書 ” ， 以 提 交

8、評 審v在 可 行 性 分 析 的 基 礎(chǔ) 上 ， 較 準 確 地 估 計 系 統(tǒng)的 開 發(fā) 成 本 和 進 度v修 正 開 發(fā) 計 劃 3.2 與 用 戶 溝 通 獲 取 需 求 的 方 法v訪 談v面 向 數(shù) 據(jù) 流 自 頂 向 下 求 精v簡 易 的 應 用 規(guī) 格 說 明 技 術(shù)v快 速 原 型 法 用 戶 和 系 統(tǒng) 其 他 人 員 參 與 需 求 分析 3.2.1 訪 談v最 早 并 且 仍 然 廣 泛 使 用v正 式 的 訪 談 ： 具 體 問 題 的 問 答 形 式v非 正 式 的 訪 談 ： 開 放 式 、 交 互 性 的 問 答v需 要 調(diào) 查 大 量 人 員 時 采 用

9、“ 調(diào) 查 表 ” 技 術(shù)v還 使 用 “ 情 景 分 析 技 術(shù) ” （ 用 戶 角 度 ） ,就 是對 用 戶 將 來 使 用 目 標 系 統(tǒng) 解 決 某 個 具 體 問 題的 方 法 和 結(jié) 果 進 行 分 析 。 3.2.1 訪 談v情 景 分 析(1) 它 在 某 種 程 度 上 演 示 目 標 系 統(tǒng) 的 行 為 ， 便于 用 戶 理 解 ， 而 且 還 可 能 進 一 步 揭 示 出 一 些分 析 員 還 不 知 道 的 需 求 。(2) 由 于 情 景 分 析 較 易 為 用 戶 所 理 解 ， 使 用 這種 技 術(shù) 能 保 證 用 戶 在 需 求 分 析 過 程 中 始 終

10、扮演 一 個 積 極 主 動 的 角 色 。 3.2.2 面 向 數(shù) 據(jù) 流 的 自 頂 向 下 求 精v信 息 系 統(tǒng) 的 本 質(zhì) 決 定 數(shù) 據(jù) 是 需 求 分 析 的 起 點v系 統(tǒng) 分 析 員 一 定 要 搞 清 楚 數(shù) 據(jù) 的 細 節(jié)v分 析 的 對 象 ： 高 層 數(shù) 據(jù) 流 圖 （ 什 么 階 段 得 到的 ？ ）v主 要 目 標 ： 把 數(shù) 據(jù) 流 和 數(shù) 據(jù) 存 儲 定 義 到 元 素級 別 （ 不 可 分 解 為 止 ） 可 行 性 分 析忽 略 了 細 節(jié) 數(shù) 據(jù) 的 來 源 、 去 向 、 數(shù)據(jù) 結(jié) 構(gòu) 定 義 等 3.2.2 面 向 數(shù) 據(jù) 流 的 自 頂 向 下 求

11、 精v結(jié) 構(gòu) 化 分 析 方 法 是 一 種 什 么 方 法 呢 ？v從 數(shù) 據(jù) 流 圖 的 輸 出 端 著 手 分 析 ， 這 是 因 為 系統(tǒng) 的 基 本 功 能 是 產(chǎn) 生 這 些 輸 出 的 關(guān) 鍵 原 因 。v輸 出 數(shù) 據(jù) 決 定 了 系 統(tǒng) 必 須 具 有 的 最 基 本 的 組成 元 素 （ 包 括 功 能 和 數(shù) 據(jù) 結(jié) 構(gòu) 組 成 ） 。自 頂 向 下 ， 逐層 細 化 的 方 法 3.2.2 面 向 數(shù) 據(jù) 流 的 自 頂 向 下 求 精v注 意 1： 第 2章 給 出 了 1種 數(shù) 據(jù) 流 圖 的 分 析 方 法（ 教 材 ） ， 其 目 的 主 要 是 導 出 較 高

12、 層 次 較 粗糙 的 數(shù) 據(jù) 流 圖 ， 而 需 要 準 確 地 收 集 需 求 ， 采用 本 章 的 從 數(shù) 據(jù) 流 圖 的 輸 出 向 輸 入 的 回 溯 方法 。 3.2.2 面 向 數(shù) 據(jù) 流 的 自 頂 向 下 求 精v回 溯 過 程 中 需 要 回 答 兩 個 問 題輸 出 數(shù) 據(jù) 的 組 成 ？輸 出 數(shù) 據(jù) 的 來 源 ？ 深 入 調(diào) 查外 部 輸 入 或系 統(tǒng) 生 成 3.2.2 面 向 數(shù) 據(jù) 流 的 自 頂 向 下 求 精v 回 溯 時 常 遇 到 的 問 題 ： 為 了 得 到 某 個 數(shù) 據(jù) 元 素 需 要用 到 數(shù) 據(jù) 流 圖 中 還 沒 有 的 數(shù) 據(jù) 元 素

13、， 或 者 得 出 這 個數(shù) 據(jù) 元 素 要 用 的 算 法 尚 不 完 全 清 楚 。v 因 此 ， 需 要 向 用 戶 等 有 關(guān) 人 員 請 教 ， 他 們 的 回 答 使分 析 員 對 目 標 系 統(tǒng) 的 認 識 更 深 入 具 體 ， 系 統(tǒng) 中 更 多的 數(shù) 據(jù) 元 素 被 劃 分 出 來 ， 更 多 的 算 法 搞 清 楚 了 。v 把 分 析 過 程 中 得 到 的 有 關(guān) 數(shù) 據(jù) 元 素 的 信 息 記 錄 在 數(shù)據(jù) 字 典 中 ， 把 對 算 法 的 簡 明 描 述 記 錄 在 IPO圖 中 。通 過 分 析 而 補 充 的 數(shù) 據(jù) 流 、 數(shù) 據(jù) 存 儲 和 處 理 ，

14、應 該添 加 到 數(shù) 據(jù) 流 圖 的 適 當 位 置 上 。 面 向 數(shù) 據(jù) 流 方 法 的 分 析 過 程v沿 數(shù) 據(jù) 流 圖 回 溯v用 戶 復 查v細 化 數(shù) 據(jù) 流 圖v修 正 開 發(fā) 計 劃v書 寫 文 檔v審 查 和 復 審 沿 數(shù) 據(jù) 流 圖 回 溯v從 數(shù) 據(jù) 流 圖 的 輸 出 向 輸 入 回 溯 ， 依 次 確 定 每個 數(shù) 據(jù) 元 素 的 來 源 （ 組 成 和 實 現(xiàn) 算 法 ） ；v把 數(shù) 據(jù) 元 素 的 信 息 記 錄 到 數(shù) 據(jù) 字 典 中 ；v把 對 算 法 的 簡 明 描 述 記 錄 到 IPO圖 中 ；v補 充 的 數(shù) 據(jù) 流 、 數(shù) 據(jù) 存 儲 和 處 理

15、 應 該 添 加 到數(shù) 據(jù) 流 圖 的 適 當 位 置 上 。 用 戶 復 查v數(shù) 據(jù) 流 圖 是 幫 助 復 查 的 極 好 工 具 ；v分 析 員 向 用 戶 解 釋 數(shù) 據(jù) 的 來 源 （ 組 成 和 處 理 ，它 反 映 了 分 析 員 建 立 的 對 系 統(tǒng) 已 有 的 認 識 。 ）v用 戶 要 及 時 糾 正 和 補 充 分 析 員 的 認 識v它 驗 證 了 已 知 的 元 素 ， 補 充 了 未 知 的 元 素 ，填 補 了 文 檔 中 的 空 白 ；v分 析 員 對 系 統(tǒng) 的 認 識 是 一 個 螺 旋 式 上 升 的 過程 。 細 化 數(shù) 據(jù) 流 圖v為 了 追 蹤 更

16、 詳 細 的 數(shù) 據(jù) 流 ， 應 該 把 數(shù) 據(jù) 流 圖擴 展 到 更 低 的 層 次 ；v通 過 追 蹤 這 些 細 化 的 數(shù) 據(jù) 流 圖 產(chǎn) 生 了 新 的 問題 ， 新 的 問 題 的 答 案 可 能 在 數(shù) 據(jù) 字 典 中 增 加新 的 條 目 ， 并 且 將 產(chǎn) 生 新 的 算 法 ；v功 能 分 解 可 以 完 成 數(shù) 據(jù) 流 圖 的 細 化 ；v細 化 過 程 中 注 意 及 時 的 更 新 數(shù) 據(jù) 字 典 ； 書 寫 文 檔v需 求 規(guī) 格 說 明v數(shù) 據(jù) 要 求v用 戶 系 統(tǒng) 描 述v修 正 的 開 發(fā) 計 劃 需 求 分 析 的 過 程 示 圖 面 向 數(shù) 據(jù) 流 方

17、法 的 分 析 的 應 用倉 庫 管 理 員 采 購 員定 貨 系 統(tǒng)事 務 定 貨 報 表 來 源 、 數(shù) 據(jù) 組成 是 什 么 ？來 源 ： 由 哪 個 加 工 產(chǎn) 生 或 從 哪 個 文 件 讀 出 ？數(shù) 據(jù) 組 成 ： 數(shù) 據(jù) 字 典 應 該 如 何 設(shè) 計 ， 大 概 有 哪 些數(shù) 據(jù) 項 ？ 面 向 數(shù) 據(jù) 流 方 法 的 分 析 的 應 用名 字 ： 定 貨 報 表別 名 ： 定 貨 信 息描 述 ： 每 天 一 次 送 給 采 購 員 的需 要 定 貨 的 零 件 表定 義 ： 定 貨 報 表 = 零 件 編 號 +零 件 名 稱 +定 貨 數(shù) 量 +目 前 價 格 +主 要

18、供 應商 +次 要 供 應 商位 置 ： 定 貨 報 告定 貨 信 息庫 存 清 單 逐 一 確 定 元素 的 來 源 面 向 數(shù) 據(jù) 流 方 法 的 分 析 的 應 用倉 庫 管 理 員 采 購 員1處 理事 務 2產(chǎn) 生報 表事 務 定 貨 報 表庫 存 清 單D1 定 貨 信 息D2 12 34 5 6 包 含 零 件 編 號 、名 稱 、 目 前 價 格形 成 定 貨 數(shù) 量 面 向 數(shù) 據(jù) 流 方 法 的 分 析 的 應 用倉 庫管 理 員 采 購 員1.1接 收事 務 2產(chǎn) 生報 表事 務 定 貨 報 表庫 存 清 單D1 定 貨 信 息D21.2更 新庫 存 1.3處 理定 貨事

19、 務 庫 存 信 息 1235 6487 供 應 商 信 息D3 3.2.3 簡 易 的 應 用 規(guī) 格 說 明 技 術(shù)v前 兩 種 方 法 中 ， 用 戶 比 較 被 動v它 是 一 種 面 向 團 隊 的 需 求 收 集 方 法 ， 是 一 種主 流 技 術(shù)v它 提 倡 用 戶 與 開 發(fā) 者 密 切 合 作 、 共 同 標 識 問題 、 提 出 解 決 方 案 ， 確 定 基 本 需 求 簡 易 的 應 用 規(guī) 格 說 明 技 術(shù) 流 程初 步 訪 談待 解 決 問題 的 范 圍和 方 案 召 開 討 論 會是 否 需 要 這 個軟 件 以 及 對 需求 進 行 組 合 針 對 每 個

20、議 題 制定 一 統(tǒng) 一 的 需 求列 表 分 會 討 論單 獨 議 題 需 求列 表 的 討 論 匯 總 需 求完 整 的 需 求 規(guī)格 說 明 書 3.2.4 快 速 原 型 法v快 速 建 立 起 來 的 旨 在 演 示 目 標 系 統(tǒng) 主 要 功 能的 可 運 行 的 程 序 。v它 是 最 準 確 、 有 效 和 強 大 的 需 求 分 析 技 術(shù) 。v基 本 特 性 ：快 速 ： 快 速 的 提 供 給 用 戶 一 個 可 運 行 的 軟 件 ；容 易 修 改 ： 根 據(jù) 用 戶 的 要 求 可 迅 速 構(gòu) 建 新 的 原 型 ； 3.3 分 析 建 模 與 規(guī) 格 說 明v模 型

21、 ， 就 是 為 了 理 解 事 物 而 對 事 物 做 出的 一 種 抽 象 ， 是 對 事 物 的 一 種 無 歧 義 的書 面 描 述 。v系 統(tǒng) 分 析 員 應 該 從 不 同 角 度 抽 象 出 目 標系 統(tǒng) 的 特 性 ， 使 用 精 確 的 表 示 方 法 構(gòu) 造系 統(tǒng) 的 模 型 。數(shù) 據(jù) 角 度 、 功 能 角 度 、 行 為 角 度 DFD、 DD、 STD、E-R 模 型 的 作 用現(xiàn) 實 世 界 計 算 機 世 界影 射 模 型 的 作 用 計 算 機 世 界現(xiàn) 實 世 界 結(jié)構(gòu)化開發(fā)方法 結(jié) 構(gòu) 化分 析結(jié) 構(gòu) 化設(shè) 計結(jié) 構(gòu) 化編 程OOAOODOOP 面向?qū)ο箝_發(fā)

22、方法 結(jié) 構(gòu) 化 分 析 模 型 的 組 成 結(jié) 構(gòu)加 工 說 明控 制 說 明數(shù)據(jù)對象說 明 數(shù) 據(jù) 字 典（ DD） 面 向 對 象 分 析 模 型 的 組 成 結(jié) 構(gòu)使 用 實 例(Use Case)操 作 、屬 性 、 協(xié) 作 者 3.3 分 析 建 模 與 規(guī) 格 說 明v結(jié) 構(gòu) 化 分 析 方 法 的 創(chuàng) 建 的 幾 個 主 要 模 型 及 關(guān)鍵 元 素 如 下 ：數(shù) 據(jù) 模 型 ： E-R圖 （ E-RD） （ 本 章 介 紹 ）功 能 模 型 ： 數(shù) 據(jù) 流 圖 （ DFD）行 為 模 型 ： 狀 態(tài) 轉(zhuǎn) 換 圖 （ STD） （ 本 章 介 紹 ）數(shù) 據(jù) 字 典 ： 模 型

23、中 心 （ DD）v根 據(jù) 上 述 模 型 整 理 出 軟 件 需 求 規(guī) 格 說 明 書 3.4 實 體 -聯(lián) 系 圖v信 息 模 型 ， 或 概 念 性 數(shù) 據(jù) 模 型 。v現(xiàn) 實 世 界 的 數(shù) 據(jù) 抽 象 ， 它 是 真 實 世 界 的 最 好反 映 ， 它 完 全 依 賴 于 用 戶 的 角 度 （ 語 義 ） 。v信 息 系 統(tǒng) 數(shù) 據(jù) 庫 分 析 與 設(shè) 計 的 基 礎(chǔ) ， 也 是 數(shù)據(jù) 建 模 的 基 礎(chǔ) 。 3.4.1 數(shù) 據(jù) 對 象v它 是 指 用 一 系 列 的 屬 性 和 性 質(zhì) 對 現(xiàn) 實 中 的 事物 加 以 更 加 形 象 的 描 述 。v它 也 稱 為 實 體

24、， 可 以 是 有 生 命 的 或 沒 有 生 命的 。v實 體 之 間 不 是 孤 立 的 。v注 意 區(qū) 分 面 向 對 象 中 的 “ 對 象 ” 和 ER中 的“ 數(shù) 據(jù) 對 象 ” 。 3.4.1 數(shù) 據(jù) 對 象v它 的 范 疇 很 大 ， 可 以 是 外 部 實 體 (例 如 ， 產(chǎn) 生或 使 用 信 息 的 任 何 事 物 )、 事 物 (例 如 ， 報 表 )、行 為 (例 如 ， 打 電 話 )、 事 件 (例 如 ， 響 警 報 )、角 色 (例 如 ， 教 師 、 學 生 )、 單 位 (例 如 ， 會 計科 )、 地 點 (例 如 ， 倉 庫 )或 結(jié) 構(gòu) (例 如 ，

25、 文 件 )等 。v總 之 ， 可 以 由 一 組 屬 性 來 定 義 的 實 體 都 可 以被 認 為 是 數(shù) 據(jù) 對 象 。 3.4.2 屬 性v數(shù) 據(jù) 對 象 的 基 本 屬 性 ， 它 是 原 子 的 。v關(guān) 鍵 字 屬 性 是 什 么 ？v屬 性 的 確 定 要 依 據(jù) 實 際 的 軟 件 問 題 。 （ 究 竟是 否 為 屬 性 或 究 竟 是 什 么 屬 性 ？ ） 3.4.2 聯(lián) 系v實 體 之 間 是 存 在 聯(lián) 系 的1:11:NM:Nv聯(lián) 系 也 可 以 有 屬 性 “ 化 學 制 品 跟 蹤 系 統(tǒng) ” 實 體 聯(lián) 系圖化 學 制 品 倉庫 存 貨 清 單化 學 制 品

26、 容 器存 儲 執(zhí) 行 化 學 制 品請 求1MM1 3.5 數(shù) 據(jù) 規(guī) 范 化v概 念 模 型 轉(zhuǎn) 化 為 數(shù) 據(jù) 模 型 后 考 慮 的 問 題v數(shù) 據(jù) 庫 中 范 式 的 定 義第 一 范 式 ： 原 子 屬 性第 二 范 式 ： 消 除 部 分 函 數(shù) 依 賴第 三 范 式 ： 消 除 傳 遞 函 數(shù) 依 賴 3.6 狀 態(tài) 轉(zhuǎn) 換 圖v通 過 描 繪 系 統(tǒng) 的 狀 態(tài) 及 引 起 系 統(tǒng) 狀 態(tài) 轉(zhuǎn) 換 的事 件 ， 來 表 示 系 統(tǒng) 的 行 為 。例 如 ： 上 課 鈴 響 了 ， 同 學 們 應 該 進 入 教 室 準 備 上課 。v狀 態(tài) 圖 還 指 明 了 作 為 特 定

27、 事 件 的 結(jié) 果 ， 系 統(tǒng)將 做 哪 些 動 作 (例 如 ， 處 理 數(shù) 據(jù) )。 3.6.1 狀 態(tài)v狀 態(tài) 代 表 系 統(tǒng) 的 行 為 模 式 ；v它 規(guī) 定 了 系 統(tǒng) 對 事 件 的 響 應 方 式 ； （ 3種 ）改 變 狀 態(tài) （ 絕 大 多 數(shù) 的 系 統(tǒng) 都 如 此 響 應 ）做 動 作 （ 完 成 一 定 的 “ 操 作 ” ）既 改 變 狀 態(tài) ， 又 做 動 作 （ 比 較 復 雜 ） 3.6.1 狀 態(tài)v三 種 狀 態(tài) 類 型 ： 初 態(tài) 、 終 態(tài) 和 中 間 態(tài)v狀 態(tài) 圖 可 表 示 循 環(huán) 運 行 過 程 以 及 單 程 運 行 過程 。 State_1

28、 State_1State_1 State_2 State_3 3.6.2 事 件v某 個 特 定 時 刻 發(fā) 生 的 “ 事 情 ” 。v它 是 對 引 起 系 統(tǒng) 做 動 作 或 (和 )從 一 個 狀 態(tài) 轉(zhuǎn)換 到 另 一 個 狀 態(tài) 的 外 界 事 件 的 抽 象 。v它 是 控 制 信 息 ， 狀 態(tài) 是 受 事 件 觸 發(fā) 的 。 3.6.3 基 本 符 號狀 態(tài) 1狀 態(tài) 變 量 1活 動 表 1 狀 態(tài) 2狀 態(tài) 變 量 2活 動 表 2初 始事 件 事 件 表 達 式 結(jié) 束 事 件活 動 表 的 語 法事 件 名 /動 作 表 達 式事 件 表 達 式 的 語 法 事 件

29、說 明 守 衛(wèi) 條 件 /動 作 表 達 式 3.6.3 基 本 符 號v活 動 表 的 語 法 格 式 如 下 ：事 件 名 (參 數(shù) 表 )/動 作 表 達 式v“ 事 件 名 ” 可 以 是 任 何 事 件 的 名 稱 。v在 活 動 表 中 經(jīng) 常 使 用 下 述 3種 標 準 事 件 ： entry， exit和 do。v兩 個 狀 態(tài) 之 間 帶 箭 頭 的 連 線 稱 為 狀 態(tài) 轉(zhuǎn) 換v狀 態(tài) 變 遷 通 常 是 由 事 件 觸 發(fā) 的 ， 箭 頭 線 上 標出 觸 發(fā) 轉(zhuǎn) 換 的 事 件 表 達 式 3.6.3 基 本 符 號v事 件 表 達 式 的 語 法 如 下 ：事 件

30、 說 明 守 衛(wèi) 條 件 動 作 表 達 式v事 件 說 明 的 語 法 為 ： 事 件 名 (參 數(shù) 表 )。v守 衛(wèi) 條 件 是 一 個 布 爾 表 達 式 。v動 作 表 達 式 是 一 個 過 程 表 達 式 ， 當 狀 態(tài) 轉(zhuǎn) 換開 始 時 執(zhí) 行 該 表 達 式 。 3.7 其 他 圖 形 工 具v層 次 方 框 圖vWarnier圖vIPO圖 3.7.1 層 次 方 框 圖v用 樹 型 結(jié) 構(gòu) 描 述 的 一 系 列 多 層 次 的 圖 形 ；v頂 層 只 有 一 個 方 框 代 表 完 整 的 數(shù) 據(jù) 結(jié) 構(gòu) ；v下 面 各 層 代 表 這 個 數(shù) 據(jù) 的 子 集 ；v最 底

31、層 代 表 不 能 再 分 割 的 實 際 的 數(shù) 據(jù) 元 素 ； 一 個 層 次 方 框 圖 的 例 子產(chǎn) 品硬 件 軟 件 服 務處 理 機 存 儲 器 外 設(shè) 系 統(tǒng)軟 件 應 用軟 件 軟 件服 務 硬 件維 修 培 訓 操 作系 統(tǒng) 編 譯程 序 軟 件工 具 3.7.2 Warnier 圖v它 也 是 表 示 信 息 層 次 結(jié) 構(gòu) 的 圖 形 工 具 ；v它 可 以 指 出 信 息 量 是 重 復 出 現(xiàn) 的 或 有 條 件 出 現(xiàn)的 ；v圖 形 包 括 ：用 來 區(qū) 分 數(shù) 據(jù) 結(jié) 構(gòu) 層 次 的 花 括 號表 明 一 類 信 息 或 一 個 數(shù) 據(jù) 元 素 在 一 定 條 件

32、 下 出 現(xiàn) 的異 或 號名 字 后 面 的 數(shù) 字 表 示 信 息 類 在 數(shù) 據(jù) 結(jié) 構(gòu) 中 重 復 的 次數(shù) 。 一 個 Warnier圖 的 例 子軟 件 產(chǎn) 品 系 統(tǒng) 軟 件 操 作 系 統(tǒng) （ P1）編 譯 程 序 （ P2）軟 件 工 具 編 輯 程 序 （ P3）測 試 驅(qū) 動 程 序 （ P3）設(shè) 計 輔 助 工 具 （ P3） 應 用 軟 件+ 3.7.3 IPO圖vINPUT/PROCESS/OUTPUT（ 輸 入 /處 理 /輸 出 圖 ）的 簡 稱 。v描 述 輸 入 數(shù) 據(jù) 、 輸 出 數(shù) 據(jù) 和 對 數(shù) 據(jù) 的 處 理 之間 的 關(guān) 系 。 （ 適 用 任 何

33、系 統(tǒng) ）v軟 件 元 素 滲 透 到 模 型 的 各 個 方 面 。v需 求 分 析 階 段 可 以 使 用 IPO圖 來 簡 要 地 描 述 系統(tǒng) 的 主 要 算 法 。 傳 統(tǒng) 的 IPO圖 IPO圖IPO圖系 統(tǒng) ：模 塊 ：編 號 ： 作 者 ：日 期 ：被 調(diào) 用 ： 調(diào) 用 ：輸 入 ： 輸 出 ：處 理 ：局 部 數(shù) 據(jù) ： 注 釋列 出 處理 的 執(zhí)行 順 序改進的IPO 圖 一個IPO圖的例子 IPO圖系 統(tǒng) ：模 塊 ：編 號 ： 作 者 ：日 期 ：訂 貨 處 理 模 塊 可 供 貨 處 理缺 貨 訂 單 暫 存訂 貨 量 X相 應 庫 存 量 Y 供 貨 標 志Sup

34、plyIF Y-X0 THEN 可 供 貨 處 理ELSE 缺 貨 訂 單 暫 存 END IF文 件 名 ：庫 存 文 件 注 釋 銷 售 管 理 系 統(tǒng) Armstrong確 定 能 否 訂 貨 2005/3/10 推 遲 實 現(xiàn) 3.8 驗 證 軟 件 需 求v一 致 性 ： 不 能 相 互 矛 盾 ； v完 整 性 ： 規(guī) 格 說 明 書 應 包 括 用 戶 需 要 的 每 一個 功 能 或 性 能 ；v現(xiàn) 實 性 ： 技 術(shù) 上 可 以 實 現(xiàn) ； v有 效 性 ： 需 求 確 實 能 解 決 用 戶 面 對 的 問 題 ； 小 結(jié)v需 求 分 析 是 軟 件 生 命 期 的 一 個

35、 重 要 階 段 ；v最 根 本 的 任 務 是 確 定 為 了 滿 足 用 戶 的 需 求 ， 系統(tǒng) 需 要 做 什 么 。v傳 統(tǒng) 的 軟 件 工 程 方 法 學 使 用 結(jié) 構(gòu) 化 分 析 方 法 。v為 了 全 面 了 解 用 戶 的 需 要 ， 必 須 使 用 適 當 的 方法 和 用 戶 溝 通 。 小 結(jié)v必 須 仔 細 地 分 析 系 統(tǒng) 中 的 數(shù) 據(jù) 流 又 要 分 析 長期 使 用 的 數(shù) 據(jù) 存 儲 。v數(shù) 據(jù) 字 典 是 “ 粘 合 劑 ” 。v分 析 應 該 得 出 用 數(shù) 據(jù) 流 圖 、 ER圖 、 數(shù) 據(jù) 字 典和 簡 潔 算 法 描 述 的 詳 細 的 系 統(tǒng) 邏 輯 模 型 。v還 可 使 用 層 次 方 框 圖 、 Warnier圖 輔 助 性 的 描述 系 統(tǒng) 中 的 數(shù) 據(jù) 結(jié) 構(gòu) 。vIPO圖 描 述 算 法 的 有 效 工 具 。 將 分 析 模 型 轉(zhuǎn) 換 為 軟 件 設(shè) 計數(shù) 據(jù)字 典 數(shù) 據(jù)流 圖E-R圖狀 態(tài) 變 遷 圖 加 工 規(guī) 約控 制 規(guī) 約數(shù)據(jù)對描 述象 數(shù) 據(jù) 設(shè) 計體 系 結(jié) 構(gòu) 設(shè) 計接 口 設(shè) 計過 程 設(shè) 計分 析 模 型 設(shè) 計 模 型