[工學]軟件工程導論張海藩第5版第2_3章

《[工學]軟件工程導論張海藩第5版第2_3章》由會員分享，可在線閱讀，更多相關《[工學]軟件工程導論張海藩第5版第2_3章（62頁珍藏版）》請在裝配圖網上搜索。

1、2021-5-19 軟 件 工 程 導 論 王 培 麗 1 2 結 構 化 分 析 傳 統 的 軟 件 工 程 方 法 學 采 用 結 構 化 分 析 技術 ， 完 成 系 統 分 析 (問 題 定 義 、 可 行 性 研 究 和 需求 分 析 )的 任 務 。結 構 化 分 析 技 術 主 要 有 下 述 幾 個 要 點 ：l 采 用 自 頂 向 下 功 能 分 解 的 方 法l 強 調 邏 輯 功 能 而 不 是 實 現 功 能 的 具 體 方 法l 使 用 圖 形 (主 要 是 數 據 流 圖 )進 行 系 統 分 析 并 表達 分 析 的 結 果 2021-5-19 軟 件 工 程 導

2、 論 王 培 麗 2 2.1 可 行 性 研 究u 可 行 性 研 究 的 任 務u 可 行 性 研 究 的 過 程u 系 統 流 程 圖u 成 本 /效 益 分 析 2021-5-19 軟 件 工 程 導 論 王 培 麗 3 2.1.1 可 行 性 研 究 的 任 務u 可 行 性 研 究 的 目 的 用 最 小 的 代 價 在 盡 可 能 短 的 時 間 內 研 究 并 確定 客 戶 提 出 的 問 題 是 否 有 行 得 通 的 解 決 辦 法 。u 可 行 性 研 究 的 內 容l 技 術 可 行 性 ： 使 用 現 有 的 技 術 能 實 現 這 個 系統 嗎 ？l 經 濟 可 行

3、性 ： 這 個 系 統 的 經 濟 效 益 能 超 過 他的 開 發(fā) 成 本 嗎 ？l 操 作 可 行 性 ： 操 作 方 式 在 這 個 系 統 內 行 得 通嗎 ？ 2021-5-19 軟 件 工 程 導 論 王 培 麗 4 2.1.2 可 行 性 研 究 的 過 程u 可 行 性 研 究 的 過 程 l 復 查 系 統 規(guī) 模 和 目 標l 研 究 目 前 正 在 使 用 的 系 統l 導 出 新 系 統 的 高 層 邏 輯 模 型l 進 一 步 定 義 問 題l 導 出 和 評 價 供 選 擇 的 解 法l 推 薦 行 動 方 針l 草 擬 開 發(fā) 計 劃l 書 寫 文 檔 提 交 復

4、 審 2021-5-19 軟 件 工 程 導 論 王 培 麗 5 2.1.3 系 統 流 程 圖進 行 可 行 性 研 究 時 需 了 解 和 分 析 現 有 系 統 ，并 以 概 括 的 形 式 表 達 對 現 有 系 統 的 認 識 。系 統 流 程 圖 是 概 括 的 描 繪 物 理 系 統 的 傳 統工 具 。 基 本 思 想 是 用 圖 形 符 號 以 黑 盒 子 的 形 式描 繪 組 成 系 統 的 每 個 部 件 ， 表 達 數 據 在 系 統 各部 件 之 間 流 動 的 情 況 。 2021-5-19 軟 件 工 程 導 論 王 培 麗 6 2.1.3 系 統 流 程 圖u

5、符 號 2021-5-19 軟 件 工 程 導 論 王 培 麗 7 2.1.3 系 統 流 程 圖u 符 號 2021-5-19 軟 件 工 程 導 論 王 培 麗 8 2.1.3 系 統 流 程 圖u 實 例 圖 2.3庫 存 清 單 系 統 的 系 統 流 程 圖 2021-5-19 軟 件 工 程 導 論 王 培 麗 9 2.1.4 數 據 流 圖數 據 流 圖 (DFD,Data Flow Diagram)是 以圖 形 的 形 式 描 繪 數 據 在 軟 件 中 流 動 和 被 處 理 的邏 輯 過 程 。設 計 數 據 流 圖 只 需 考 慮 系 統 必 須 完 成 的 基本 邏 輯

6、 功 能 ， 完 全 不 需 要 考 慮 如 何 具 體 的 實 現這 些 功 能 。數 據 流 圖 一 般 在 軟 件 生 命 周 期 的 早 期 階 段開 始 進 行 設 計 ， 在 軟 件 生 命 周 期 后 續(xù) 階 段 不 斷改 進 、 完 善 和 細 化 2021-5-19 軟 件 工 程 導 論 王 培 麗 10 2.1.4 數 據 流 圖u 符 號 圖 2.4數 據 流 圖 的 4種 基 本 符 號 2021-5-19 軟 件 工 程 導 論 王 培 麗 11 2.1.4 數 據 流 圖u 符 號數 據 存 儲 和 數 據 流 都 表 示 數 據 ， 前 者 表 示處 于 靜 止

7、 狀 態(tài) 的 數 據 ， 后 者 表 示 處 于 運 動 的 數據 。 數 據 流 圖 中 忽 略 出 錯 處 理 ， 基 本 要 點 是 描繪 “ 做 什 么 ” 。 基 本 方 法 是 從 基 本 系 統 模 型 出發(fā) ， 自 頂 向 下 從 抽 象 到 具 體 分 層 次 地 畫 。 2021-5-19 軟 件 工 程 導 論 王 培 麗 12 2.1.4 數 據 流 圖u 數 據 流 圖 的 畫 法(1)先 畫 頂 層 數 據 流 圖 ， 只 包 含 一 個 處 理的 圖 ， 畫 圖 時 先 畫 數 據 源 點 與 終 點 ；(2)細 化 數 據 流 圖 ；(3)功 能 級 數 據 流

8、 圖 中 描 繪 的 系 統 主 要 功能 進 一 步 細 化 。 2021-5-19 軟 件 工 程 導 論 王 培 麗 13 2.1.4 數 據 流 圖u 畫 數 據 流 圖 的 原 則 :(1)數 據 流 圖 中 所 有 圖 形 只 限 于 四 種 基 本 圖 形 元 素 ；(2)每 個 處 理 至 少 有 一 個 輸 入 數 據 和 一 個 輸 出 數 據 ；(3)每 個 元 素 都 必 須 有 名 字 ；(4)數 據 流 圖 只 反 映 系 統 做 什 么 ；(5)按 照 層 次 給 處 理 過 程 編 號 ；(6)父 圖 與 子 圖 要 平 衡 (輸 入 和 輸 出 要 一 致 )

9、;(7)存 儲 ： 一 個 局 部 存 儲 只 要 當 它 作 為 某 些 處 理 的數 據 接 口 或 某 個 處 理 特 定 的 輸 入 輸 出 時 就 要 把 它 畫 出 來 ；(8) 提 高 數 據 流 的 易 理 解 性 ， 合 理 分 解 ， 分 層 清楚 。 2021-5-19 軟 件 工 程 導 論 王 培 麗 14 2.1.4 數 據 流 圖u 數 據 流 圖 的 命 名 規(guī) 則 :l 為 數 據 流 (或 數 據 存 儲 )命 名(1)代 表 整 個 數 據 流 (數 據 存 儲 )的 內 容 ；(2)部 使 用 空 洞 的 、 缺 乏 具 體 含 義 的 名 字 ；(3)

10、名 字 只 能 是 名 詞 或 名 詞 短 語 ；(4)整 體 命 名 較 困 難 時 ， 可 嘗 試 分 解 。l 為 處 理 命 名(1)名 字 反 映 整 個 處 理 功 能 ；(2)名 字 為 動 賓 結 構 ；(3)最 好 包 括 一 個 動 詞 ；(4) 通 常 先 為 數 據 流 命 名 然 后 再 為 相 關 處 理 命 名 2021-5-19 軟 件 工 程 導 論 王 培 麗 15 2.1.5 數 據 字 典u 數 據 字 典 是 關 于 數 據 的 信 息 的 集 合 ， 是 對數 據 流 圖 中 包 含 元 素 的 定 義 的 集 合 。 它 的 作 用是 在 軟 件

11、分 析 和 設 計 的 過 程 中 提 供 關 于 數 據 的信 息 描 述 。u 內 容(1)數 據 流 ： 名 稱 ， 別 名 ， 簡 述 ， 來 源 ，去 向 ， 數 據 流 通 量 ；(2)數 據 流 分 量 (數 據 元 素 )： 數 據 元 素 名 ，別 名 ， 類 型 (數 字 ， 文 字 )， 長 度 ， 取 值 范 圍 ；(3)數 據 存 儲 ； (4)處 理 。 2021-5-19 軟 件 工 程 導 論 王 培 麗 16 2.1.6 成 本 估 計u 代 碼 行 技 術 ：估 計 實 現 軟 件 的 代 碼 行 數 ， 然 后 乘 以 每 行代 碼 的 平 均 成 本 得

12、 出 軟 件 的 成 本 。u 任 務 分 解 結 束首 先 把 軟 件 開 發(fā) 項 目 分 解 成 若 干 個 相 對 獨立 的 任 務 ， 然 后 分 別 估 計 完 成 每 項 任 務 的 成 本 ，最 后 累 加 起 來 得 到 軟 件 的 總 成 本 。 2021-5-19 軟 件 工 程 導 論 王 培 麗 17 思 考 與 練 習課 后 題 第 2,3題要 求 ： 第 2題 要 求 畫 出 存 款 系 統 的 數 據 流圖 ， 并 寫 出 數 據 字 典 ； 第 3題 要 求 畫 出 數 據 流圖 。 2021-5-19 軟 件 工 程 導 論 王 培 麗 18 2.2 需 求

13、分 析u 為 什 么 要 進 行 需 求 分 析 ？在 需 求 階 段 修 復 一 個 錯 誤 的 費 用 是 編 碼 階 段的 1/5到 1/10， 是 維 護 階 段 修 復 費 用 的 1/100到1/200。 因 此 ， 我 們 可 以 認 為 ， 設 計 錯 誤 的 修 復 費用 要 遠 遠 高 于 編 碼 錯 誤 的 修 復 費 用 。通 過 “ 分 析 ” ， 理 解 用 戶 的 各 種 問 題 ， 通 過“ 規(guī) 格 說 明 ” 把 問 題 表 達 出 來 。 要 求 大 家 ：（ 1） 掌 握 具 體 的 步 驟 和 方 法（ 2） 提 高 分 析 問 題 和 解 決 問 題

14、的 能 力（ 3） 熟 練 運 用 一 些 圖 形 工 具 2021-5-19 軟 件 工 程 導 論 王 培 麗 19 2.2.1 需 求 分 析 的 任 務u 需 求 分 析 的 基 本 任 務 該 階 段 是 軟 件 定 義 時 期 的 最 后 一 個 階 段 ， 基本 任 務 是 準 確 地 回 答 “ 系 統 必 須 做 什 么 ？ ” 這 個問 題 。 用 戶 和 軟 件 人 員 雙 方 一 起 來 充 分 理 解 用 戶 的要 求 ， 并 把 雙 方 共 同 的 理 解 明 確 地 表 達 成 一 份 書面 文 檔 軟 件 需 求 規(guī) 格 說 明 書 。 2021-5-19 軟

15、件 工 程 導 論 王 培 麗 20 2.2.1 需 求 分 析 的 任 務u 需 求 分 析 的 具 體 任 務l 確 定 對 系 統 的 綜 合 要 求 功 能 要 求 ： 系 統 必 須 完 成 的 所 有 功 能 性 能 要 求 ： 系 統 必 須 滿 足 的 約 束 可 靠 性 和 可 用 性 需 求 ： 系 統 的 可 靠 性 出 錯 處 理 需 求 ： 系 統 對 錯 誤 環(huán) 境 的 響 應 接 口 需 求 ： 應 用 系 統 與 環(huán) 境 通 信 的 格 式 約 束 ： 設 計 系 統 應 遵 守 的 限 制 條 件 逆 向 需 求 ： 系 統 不 應 該 做 什 么 將 來 可

16、 能 提 出 的 要 求 ： 分 析 將 來 可 能 會 提 出的 要 求 2021-5-19 軟 件 工 程 導 論 王 培 麗 21 2.2.1 需 求 分 析 的 任 務l 分 析 系 統 的 數 據 要 求 分 析 系 統 的 數 據 要 求 通 常 采 用 建 立 數 據 模 型的 方 法 。 常 用 的 圖 形 工 具 有 層 次 方 框 圖 和 Warnier圖 。l 導 出 系 統 的 邏 輯 模 型 通 常 用 數 據 流 圖 、 實 體 關 系 圖 、 狀 態(tài) 轉 換 圖 、數 據 字 典 和 主 要 的 處 理 算 法 描 述 這 個 邏 輯 模 型 。l 修 正 系 統

17、 開 發(fā) 計 劃 2021-5-19 軟 件 工 程 導 論 王 培 麗 22 2.2.2 與 用 戶 溝 通 獲 取 需 求 的 方 法u 訪 談 最 早 開 始 使 用 的 獲 取 用 戶 需 求 的 方 法 ， 是 迄今 為 止 仍 廣 泛 使 用 的 需 求 分 析 方 法 。 訪 談 有 兩 種 基 本 形 式 ： 正 式 的 和 非 正 式 的 談判 。 正 式 談 判 ： 系 統 分 析 員 將 提 出 一 些 事 先 準 備 好地 具 體 問 題 ， 得 出 結 論 性 的 意 見 。 如 詢 問 客 戶 公司 的 產 品 種 類 等 。 非 正 式 談 判 ： 分 析 員 將

18、 提 出 一 些 用 戶 可 以 自 由回 答 的 開 放 性 問 題 ， 如 詢 問 用 戶 對 目 前 使 用 的 系統 有 哪 些 不 滿 意 的 地 方 等 。 2021-5-19 軟 件 工 程 導 論 王 培 麗 23 2.2.2 與 用 戶 溝 通 獲 取 需 求 的 方 法u 訪 談 當 需 要 調 查 大 量 人 員 的 意 見 時 ， 請 被 調 查 人填 寫 調 查 表 是 十 分 有 效 的 做 法 。 在 訪 問 用 戶 的 過 程 中 使 用 情 景 分 析 技 術 往 往非 常 有 效 。 所 謂 情 景 分 析 技 術 ， 就 是 對 用 戶 將 來 使 用 目

19、標 系 統 解 決 某 個 具 體 問 題 的 方 法 和 結 果 進 行 分 析 。 2021-5-19 軟 件 工 程 導 論 王 培 麗 24 2.2.2 與 用 戶 溝 通 獲 取 需 求 的 方 法u 面 向 數 據 流 自 頂 向 下 求 精 圖 3.1面 向 數 據 流 自 頂 向 下 求 精 過 程 2021-5-19 軟 件 工 程 導 論 王 培 麗 25 2.2.2 與 用 戶 溝 通 獲 取 需 求 的 方 法u 簡 易 的 應 用 規(guī) 格 說 明 技 術 簡 易 的 應 用 規(guī) 格 說 明 技 術 是 一 種 面 向 團 隊 的需 求 收 集 技 術 。 這 種 方

20、法 提 倡 用 戶 與 開 發(fā) 者 密 切合 作 ， 共 同 標 識 問 題 ， 提 出 解 決 方 案 要 素 ， 商 討不 同 的 方 案 并 指 定 基 本 需 求 。 目 前 這 種 技 術 已 經成 為 信 息 系 統 領 域 使 用 的 主 流 技 術 。 2021-5-19 軟 件 工 程 導 論 王 培 麗 26 2.2.2 與 用 戶 溝 通 獲 取 需 求 的 方 法u 快 速 建 立 軟 件 原 型 快 速 建 立 軟 件 原 型 是 最 準 確 、 最 有 效 、 最 強大 的 需 求 分 析 技 術 。 所 謂 軟 件 原 型 就 是 快 速 建 立起 來 的 旨 在

21、 演 示 目 標 系 統 主 要 功 能 的 可 運 行 的 程序 。 構 建 軟 件 原 型 的 要 點 是 ， 它 應 該 實 現 用 戶 看得 見 的 功 能 ， 省 略 目 標 系 統 的 “ 隱 含 ” 功 能 。 軟 件 原 型 的 特 點 :快 速 和 易 修 改 。 2021-5-19 軟 件 工 程 導 論 王 培 麗 27 2.2.3 分 析 建 模u 模 型 的 定 義 為 了 理 解 事 物 而 對 事 物 作 出 的 一 種 抽 象 ， 是 對 事 物 的一 種 無 歧 義 的 書 面 描 述 。 通 常 模 型 由 一 組 圖 形 符 號 和 組 織這 些 符 號

22、的 規(guī) 則 組 成 。u 建 模 的 準 則 (1)必 須 理 解 并 描 述 問 題 的 信 息 域 ， 據 這 條 準 則 應 建立 數 據 模 型 ； (2)必 須 定 義 軟 件 應 完 成 的 功 能 ， 這 條 準 則 要 求 建 立功 能 模 型 ； (3)必 須 描 述 作 為 外 部 事 件 結 果 的 軟 件 行 為 ， 這 條 準則 要 求 建 立 行 為 模 型 ； (4)必 須 描 述 目 標 系 統 信 息 、 功 能 和 行 為 的 模 型 進 行分 解 ， 用 層 次 的 方 式 展 示 細 節(jié) 。 2.2.4 需 求 規(guī) 格 說 明 需 求 規(guī) 格 說 明 (

23、SRS, Software Requirement Specification）精 確 地 闡 述 一 個 軟 件 系 統 必 須 提 供 的 功 能 和 性 能 以 及 它 所 要 考 慮 的 限 制 條 件 。 作 用 - 成 為 用 戶 、 分 析 人 員 和 設 計 人員 之 間 進 行 理 解 和 交 流 的 手 段 - 支 持 系 統 測 試 活 動 - 用 于 規(guī) 劃 和 控 制 系 統 的 開 發(fā) 過 程 27 需 求 規(guī) 格 說 明 - 應 該 包 括 在 SRS 中 的 內 容 -功 能 ： 軟 件 應 該 提 供 什 么 功 能 ？- 外 部 接 口 ： 軟 件 如 何

24、與 人 、 系 統 硬 件 和 其 他 系 統 等 進 行相 互 作 用 ？- 性 能 ： 軟 件 系 統 在 運 行 速 度 、 可 用 性 、 響 應 時 間 、 恢 復時 間 等 方 面 有 什 么 要 求 ？ - - 特 性 ： 軟 件 系 統 在 可 移 植 性 、 可 維 護 性 、 安 全 性 等 方面 有 什 么 考 慮 ？ - 設 計 約 束 ： 是 否 存 在 必 要 的 標 準 、 開 發(fā) 語 言 、 數 據 庫 、資 源 限 制 、 運 行 環(huán) 境 等 因 素 的 影 響 和 策 略 ？ 28 編 寫 需 求 規(guī) 格 說 明 的 原 則 原 則 1： 只 描 述 “ 做

25、 什 么 ” 而 無 須 描 述 “ 怎么 做 ” 原 則 2： 必 須 說 明 運 行 環(huán) 境 原 則 3： 考 慮 用 戶 、 分 析 員 和 實 現 者 的 交 流 -對 形 式 化 和 自 然 語 言 之 間 作 出 恰 當 的 選 擇- - 明 確 的 理 解 最 重 要 ， 不 存 在 十 全 十 美 的 軟 件 規(guī) 格 說 明 書 原 則 4： 力 求 尋 找 到 恰 如 其 分 的 需 求 詳 細 程 度 - 一 個 有 益 的 原 則 就 是 編 寫 單 個 的 可 測 試 需 求 文 檔 - 建 議 將 可 測 試 的 需 求 作 為 衡 量 軟 件 產 品 規(guī) 模 大 小

26、 的 尺 度 30 編 寫 需 求 規(guī) 格 說 明 的 原 則 原 則 5： 文 檔 段 落 不 宜 太 長 - 簡 短 - 記 住 ： 不 要 在 需 求 說 明 中 使 用 “ 和 /或 ” 、 “ 等 等 ” 之 類 的 詞 原 則 6： 避 免 使 用 模 糊 的 、 主 觀 的 術 語 - 如 用 戶 友 好 、 容 易 、 簡 單 、 迅 速 、 有 效 、 許 多 、 最 新 技 術 、 優(yōu) 越 的 、 可 接 受 的 、 最 大 化 、 最 小 化 、 提 高 等 - 不 可 驗 證 建 議 ： 采 用 一 種 標 準 的 SRS 模 板 31 1.引 言1.1 目 的1.2

27、文 檔 約 定1.3 預 期 的 讀 者 和 閱 讀 建 議1.4 產 品 范 圍1.5 參 考 文 獻2. 綜 合 描 述2.1 產 品 的 前 景2.2 產 品 的 功 能2.3 用 戶 類 和 特 征2.4 運 行 環(huán) 境2.5 設 計 和 實 現 上 的 設 計2.6 假 設 和 依 賴 3 外 部 接 口 需 求3.1 用 戶 界 面 3.2 硬 件 接 口3.3 軟 件 接 口3.4 通 信 接 口4. 系 統 特 性 4.1 說 明 和 優(yōu) 先 級 4.2 激 勵 /響 應 序 列 4.3 功 能 需 求5. 非 功 能 需 求 5.1 性 能 需 求 5.2安 全 設 施 需

28、求 5.3 安 全 性 需 求 5.4 軟 件 質 量 屬 性 5.5業(yè) 務 規(guī) 劃 5.6 用 戶 文 檔6. 其 他 需 求 附 錄2021-5-19 軟 件 工 程 導 論 王 培 麗 32 SRS模 板 需 求 驗 證 需 求 驗 證 是 檢 驗 需 求 能 否 滿 足 客 戶 的 意 愿 。 需 求 驗 證 的 技 術 - 需 求 評 審 ： 由 不 同 代 表 （ 如 分 析 員 、 客 戶 、 設 計 人 員 、 測 試 人 員 ） 組 成 的 評 審 小 組 以 會 議 形 式 對 需 求 進 行 系 統 性 分 析 。 - 原 型 評 價 ： 客 戶 和 用 戶 在 一 個

29、可 運 行 的 系 統 模 型 上 實 際 檢 驗 系 統 是 否 符 合 他 們 的 真 正 需 要 。 - 測 試 用 例 生 成 ： 通 過 設 計 具 體 的 測 試 方 法 ， 發(fā) 現 需 求 中 的 許 多 問 題 。 需 求 驗 證 主 要 圍 繞 需 求 規(guī) 格 說 明 的 質 量 特 性 展 開 。 33 需 求 規(guī) 格 說 明 的 質 量 特 性 正 確 性 - 需 求 規(guī) 格 說 明 對 系 統 功 能 、 行 為 、 性 能 等 的 描 述 必 須 與 用 戶 的 期 望 相 吻 合 ， 代 表 了 用 戶 的 真 正 需 求 。 審 查 需 求 的 正 確 性 應 該

30、 考 慮 的 問 題 - 用 戶 參 與 需 求 過 程 的 程 度 如 何 ？ - 每 一 個 需 求 描 述 是 否 準 確 地 反 映 了 用 戶 的 需 要 ？ - 系 統 用 戶 是 否 已 經 認 真 考 慮 了 每 一 項 描 述 ？ - 需 求 可 以 追 溯 到 來 源 嗎 ？ 舉 例 ： 下 面 的 需 求 描 述 正 確 嗎 ？ - 在 用 戶 每 次 存 錢 的 時 候 系 統 將 進 行 信 用 檢 查 。 34 需 求 規(guī) 格 說 明 的 質 量 特 性 無 二 義 性 - 需 求 規(guī) 格 說 明 中 的 描 述 對 于 所 有 人 都 只 能 有 一 種 明 確

31、統 一 的 解 釋 。 審 查 需 求 的 無 二 義 性 應 該 考 慮 的 問 題 - 需 求 規(guī) 格 說 明 是 否 有 術 語 詞 匯 表 ？ - 具 有 多 重 含 義 或 未 知 含 義 的 術 語 是 否 已 經 定 義 ？- - 需 求 描 述 是 否 可 量 化 和 可 驗 證 ？ - 每 一 項 需 求 都 有 測 試 準 則 嗎 ？ 舉 例 ： 下 面 的 需 求 描 述 是 無 歧 義 的 嗎 ？ - 如 果 用 戶 試 圖 透 支 ， 系 統 將 采 取 適 當 的 行 動 。 35 需 求 規(guī) 格 說 明 的 質 量 特 性 完 整 性 - 需 求 規(guī) 格 說 明

32、應 該 包 括 軟 件 要 完 成 的 全 部 任 務 ， 不 能 遺 漏 任 何 必 要 的 需 求 信 息 。 審 查 需 求 的 完 整 性 應 該 考 慮 的 問 題 - 是 否 存 在 遺 漏 的 功 能 或 業(yè) 務 過 程 ？ - 在 每 個 定 義 的 功 能 之 間 是 否 有 接 口 ？ -是 否 有 信 息 或 消 息 在 所 定 義 的 功 能 之 間 傳 遞 ？ - 是 否 定 義 了 功 能 的 使 用 者 ？ - 是 否 已 經 清 楚 地 定 義 了 用 戶 與 功 能 之 間 的 交 互 ？ - 是 否 定 義 了 與 外 部 過 程 和 系 統 之 間 的 接

33、 口 ？ 36 需 求 規(guī) 格 說 明 的 質 量 特 性 審 查 需 求 的 完 整 性 應 該 考 慮 的 問 題 （ 續(xù) ） -所 描 述 的 功 能 是 否 可 以 映 射 到 業(yè) 務 過 程 中 ？ - 文 檔 中 是 否 存 在 待 確 定 的 需 求 引 用 ？ - 文 檔 中 是 否 存 在 未 定 義 的 術 語 和 引 用 ？ - 文 檔 的 各 個 部 分 都 完 整 嗎 ？ - 需 求 包 括 非 功 能 屬 性 的 說 明 嗎 ？ 是 否 考 慮 了 軟 件 性 能 ？ 是 否 考 慮 了 安 全 性 要 求 ？ 是 否 考 慮 了 可 靠 性 ？ 是 否 考 慮 了

34、 系 統 容 量 問 題 ？ 37 需 求 規(guī) 格 說 明 的 質 量 特 性 可 驗 證 性 - 需 求 規(guī) 格 說 明 中 描 述 的 需 求 都 可 以 運 用 一 些 可 行 的 手 段 對 其 進 行 驗 證 和 確 認 。 審 查 需 求 的 可 驗 證 性 應 該 考 慮 的 問 題 -在 需 求 文 檔 中 是 否 存 在 不 可 驗 證 的 陳 述 ， 諸 如 “ 用 戶 界 面 友 好 ” 、 “ 容 易 ” 、 “ 簡 單 ” 、 “ 快 速 ” 、 “ 健 壯 ” 、 “ 最 新技 術 ” 等 ？ - 所 有 描 述 都 是 具 體 的 和 可 測 量 的 嗎 ？ 舉

35、例 ： 下 面 的 兩 個 需 求 描 述 中 哪 一 個 難 以 驗 證 ？ - 系 統 將 在 20 秒 內 響 應 所 有 有 效 的 請 求 。 - 如 果 用 戶 試 圖 透 支 ， 系 統 將 采 取 適 當 的 行 動 。 38 需 求 規(guī) 格 說 明 的 質 量 特 性 一 致 性 - 需 求 規(guī) 格 說 明 對 各 種 需 求 的 描 述 不 能 存 在 矛 盾 ， 如 術 語 使 用 沖突 、 功 能 和 行 為 特 性 方 面 的 矛 盾 以 及 時 序 上 的 不 一 致 等 。 審 查 需 求 的 一 致 性 應 該 考 慮 的 問 題 - 文 檔 的 組 織 形 式

36、 是 否 易 于 一 致 ？ - 不 同 功 能 的 描 述 之 間 是 否 存 在 矛盾 ？ - 是 否 存 在 有 矛 盾 的 需 求 描 述 或 術 語 ？ - 文 檔 中 是 否 存 在 時 序 上 的 不 一 致 ？ 舉 例 ： 下 面 的 兩 個 需 求 描 述 是 否 有 矛 盾 ？ - 系 統 允 許 立 即 使 用 所 存 的 資 金 。 - 只 有 在 手 工 驗 證 所 存 資 金 后 ， 系 統 才 能 允 許 使 用 。 39 需 求 規(guī) 格 說 明 的 質 量 特 性 可 修 改 性 - 需 求 規(guī) 格 說 明 的 格 式 和 組 織 方 式 應 保 證 后 續(xù) 的

37、 修 改 能 夠 比 較 容易 和 協 調 一 致 。 審 查 需 求 的 可 修 改 性 應 該 考 慮 的 問 題 - 是 否 存 在 明 顯 的 需 求 交 叉 引 用 ？ - 是 否 有 內 容 列 表 和 索 引 ？ - 是 否 存 在 冗 余 的 需 求 ， 即 同 一 個 需 求 的 描 述 出 現 在 文 檔 的 不 同 地 方 ？ 如 果 存 在 ， 它 們 是 交 叉 引 用 嗎 ？ 40 需 求 規(guī) 格 說 明 的 質 量 特 性 可 跟 蹤 性 - 每 一 項 需 求 都 能 與 其 對 應 的 來 源 、 設 計 、 源 代 碼 和 測 試 用 例 聯 系 起 來 。

38、 可 跟 蹤 性 的 兩 種 形 式 - 每 一 項 需 求 都 可 以 在 早 期 的 文 檔 中 追 溯 到 其 來 源 ， 例 如 備 忘 錄 、 法 規(guī) 、 會 議 記 錄 等 ； - 每 一 項 需 求 都 有 唯 一 的 名 稱 或 索 引 號 ， 與 后 期 實 現 對 應 。 舉 例 ： 下 面 的 需 求 描 述 記 錄 了 早 期 的 文 檔 來 源 。 - 系 統 將 在 20 秒 內 響 應 所 有 有 效 的 請 求 。 來 自 與 用 戶 的 面 談 ， 備 忘 錄 編 號 #1234 41 需 求 管 理 需 求 管 理 是 分 析 變 更 影 響 并 控 制 變

39、 更 的 過 程 ， 主 要 包 括 變 更 控 制 、 版 本 控 制 和 需 求 跟 蹤 等 活 動 。 需 求 管 理 變 更 控 制 版 本 控 制 需 求 跟 蹤 需 求 狀 態(tài) 跟 蹤 建 議 變 更 確 定 需 求 文 檔 定 義 對 其 它 需 定 義 需 求 狀 態(tài) 分 析 影 響 的 版 本 求 的 連 接 鏈 跟 蹤 需 求 的 每 作 出 決 策 確 定 單 個 需 求 定 義 對 其 它 系 一 個 狀 態(tài) 交 流 文 檔 的 版 本 統 元 素 的 連 接 合 并 鏈 測 量 需 求 的 穩(wěn) 定 性 42 需 求 管 理 活 動 2： 需 求 用 于 計 目 標 1

40、： 軟 件 需 求 形 成 基 線 劃 、 產 品 和 活 動 活 動 1： 需 求 在 納 入 項 需 求 基 線 目 開 發(fā) 之 前 進 行 評 審 變 更 申 請 活 動 3： 對 需 求 變 更 評 審 目 標 2： 計 劃 、 產 品 和 活 動 與 需 求 保 持 一 致 43 需 求 管 理 需 求 跟 蹤 性 - 需 求 跟 蹤 性 是 維 護 需 求 與 軟 件 制 品 之 間 的 映 射 （ 例 如 設 計 對 象 、 用 例 、 測 試 用 例 、 已 實 現 的 軟 件 組 件 等 ） ， 以 滿 足 整 個 開 發(fā) 生 命 周 期 的 需 要 。 建 立 需 求 跟

41、蹤 性 的 過 程 - 識 別 并 唯 一 地 標 識 SRS 中 的 每 一 個 需求 - 建 立 和 更 新 SRS 中 的 跟 蹤 矩 陣 - 工 作 制 品 的 創(chuàng) 建 者 負 責 增 加 該 制 品 與 需 求 的 跟 蹤 信 息 - 跟 蹤 矩 陣 應 該 作 為 工 作 制 品 的 一 部 分 進 行 審 查 44 需 求 管 理 需 求 跟 蹤 矩 陣 示 例 用 例 功 能 需 求 設 計 元 素 代 碼 測 試 實 例 UC1 Catalog.query.sort Class catalog Catalog.sort ( ) test2 test3 UC2 Catalog.

42、update Class catalog Catalog.update ( ) test10 test11 test12 需 求 管 理 需 要 CASE 工 具 的 支 持 - 例 如 ： DOORS， RequisitePro 45 需 求 描 述 示 例 舉 例 1 產 品 必 須 在 固 定 的 時 間 間 隔 內 提 供 狀 態(tài) 信 息 ， 并 且 每 次 時 間 間 隔 不 得 小 于 60 秒 。 ? ? ? ? 問 題 - 上 述 需 求 描 述 有 什 么 缺 陷 ？ - 如 何 改 正 ？ 46 需 求 描 述 示 例 與 改 正 改 正 后 臺 任 務 管 理 器 應 該

43、 在 用 戶 界 面 的 指 定 區(qū) 域 顯 示 狀 態(tài) 信 息 。 （ 1） 在 后 臺 任 務 進 程 啟 動 之 后 ， 消 息 必 須 每 隔 60 10 秒更 新 一 次 ， 并 且 保 持 連 續(xù) 的 可 見 性 。 （ 2） 如 果 正 在 正 常 處 理 后 臺 任 務 進 程 ， 那 么 后 臺 任 務 管 理器 必 須 顯 示 后 臺 任 務 進 程 已 完 成 的 百 分 比 。 （ 3） 當 完 成 后 臺 任 務 時 ， 后 臺 任 務 管 理 器 必 須 顯 示 一 個“ 已 完 成 ” 的 信 息 。 （ 4） 如 果 后 臺 任 務 中 止 執(zhí) 行 ， 那 么

44、后 臺 任 務 管 理 器 必 須 顯示 一 個 出 錯 信 息 。 47 需 求 描 述 示 例 舉 例 2 如 果 可 能 的 話 ， 應 當 根 據 圖 書 編 號 的 列 表 在 線 確 認 所 輸 入 的 圖 書 編 號 。 問 題 - “ 如 果 可 能 的 話 ” 意 味 著 什 么 ？ - “ 應 當 ” 是 否 精 確 ？ - 如 何 改 正 ？ 48 需 求 描 述 示 例 與 改 正 改 正 系 統 必 須 根 據 在 線 的 圖 書 編 號 列 表 確 認 所 輸 入 的 圖 書 編 號 。 如果 在 圖 書 編 號 列 表 中 查 不 到 該 圖 書 的 編 號 ，

45、或 者 當 進 行 圖 書 編 號 確 認 時 圖 書 編 號 列 表 不 可 訪 問 ， 系 統 必 須 顯 示 一 個 出 錯 信 息 并 且 拒 絕預 訂 。 49 需 求 描 述 示 例 舉 例 2 如 果 可 能 的 話 ， 應 當 根 據 圖 書 編 號 的 列 表 在 線 確 認 所 輸 入 的 圖 書 編 號 。 問 題 - “ 如 果 可 能 的 話 ” 意 味 著 什 么 ？ - “ 應 當 ” 是 否 精 確 ？ - 如 何 改 正 ？ 48 需 求 描 述 示 例 與 改 正 改 正 系 統 必 須 根 據 在 線 的 圖 書 編 號 列 表 確 認 所 輸 入 的 圖

46、 書 編 號 。 如果 在 圖 書 編 號 列 表 中 查 不 到 該 圖 書 的 編 號 ， 或 者 當 進 行 圖 書 編 號 確 認 時 圖 書 編 號 列 表 不 可 訪 問 ， 系 統 必 須 顯 示 一 個 出 錯 信 息 并 且 拒 絕預 訂 。 49 2021-5-19 軟 件 工 程 導 論 王 培 麗 52 2.2.5 實 體 -聯 系 圖u ER圖 為 了 把 用 戶 的 數 據 要 求 清 楚 、 準 確 地 描 述 出來 ， 系 統 分 析 員 通 常 建 立 一 個 概 念 性 的 數 據 模 型 ，是 一 種 面 向 問 題 的 數 據 模 型 ， 描 述 了 從

47、 用 戶 角 度看 到 的 數 據 。u 內 容 (1)實 體 (即 數 據 對 象 )， 用 矩 形 框 表 示 ； (2)關 系 ,用 連 接 相 關 實 體 的 菱 形 框 表 示 ； (3)屬 性 ， 用 橢 圓 形 或 圓 角 矩 形 表 示 ， 并 用 直線 把 實 體 或 關 系 與 其 屬 性 連 接 起 來 。 2021-5-19 軟 件 工 程 導 論 王 培 麗 53 2.2.6 幾 種 圖 形 工 具u 狀 態(tài) 轉 換 圖 簡 稱 為 狀 態(tài) 圖 ， 描 繪 系 統 狀 態(tài) 及 引 起 系 統 狀 態(tài) 變換 的 事 件 來 表 示 系 統 的 行 為 ， 反 應 了 狀

48、 態(tài) 與 事 件 之 間的 關 系 。 狀 態(tài) 圖 提 供 了 行 為 建 模 機 制 。 狀 態(tài) 圖 描 述 了 系 統 中 某 些 復 雜 對 象 的 狀 態(tài) 變 化 ，主 要 有 狀 態(tài) 、 變 遷 和 事 件 三 種 描 述 。 狀 態(tài) 1 狀 態(tài) 2事 件 /觸 發(fā) 行 為 2021-5-19 軟 件 工 程 導 論 王 培 麗 54 2.2.6 幾 種 圖 形 工 具l 狀 態(tài)狀 態(tài) 是 任 何 可 以 被 觀 察 到 的 系 統 行 為 模 式 ， 一 個 狀態(tài) 代 表 系 統 的 一 種 行 為 模 式 。狀 態(tài) 規(guī) 定 了 系 統 對 事 件 的 響 應 方 式 。系 統 對

49、 事 件 的 響 應 可 以 是 做 一 個 （ 或 一 系 列 ） 動 作 ，也 可 以 只 是 改 變 系 統 本 身 的 狀 態(tài) ， 還 可 以 既 改 變 狀 態(tài)又 做 動 作 。狀 態(tài) 圖 中 定 義 的 狀 態(tài) 有 ： 初 態(tài) 、 終 態(tài) 和 中 間 狀 態(tài) ；在 一 張 狀 態(tài) 圖 中 只 能 有 一 個 初 態(tài) ， 而 終 態(tài) 可 以 有 若 干個 。l 事 件事 件 是 引 起 系 統 做 動 作 或 轉 換 狀 態(tài) 的 控 制 信 息 。 2021-5-19 軟 件 工 程 導 論 王 培 麗 55 2.2.6 幾 種 圖 形 工 具l符 號 狀 態(tài) 1狀 態(tài) 變 量 1活

50、 動 表 1 狀 態(tài) 2狀 態(tài) 變 量 2活 動 表 2事 件 表 達 式初 始 事件 結 束 事件狀 態(tài) 變 量的 名 字 和值 語 法 格 式 ：事 件 名 （ 參 數 表 ） /動 作 表 達式Do, entry,exit 狀 態(tài) 轉 換Entry:表 示 進 入 該 狀 態(tài) 的 動 作Exit:表 示 退 出 本 狀 態(tài) 的 動 作 Do:在 本 狀 態(tài) 下 的 動 作 狀 態(tài) 變 遷 通 常 是 由 事 件 觸 發(fā)的 ， 這 時 應 在 狀 態(tài) 轉 換 上 標出 觸 發(fā) 轉 換 的 事 件 表 達 式如 果 箭 頭 上 沒 有 標 明 事 件 ，則 表 示 在 源 狀 態(tài) 內 部 活

51、 動 完成 后 自 動 出 發(fā) 轉 換狀 態(tài) 的 名 稱 事 件 表 達 式 的 語 法 ：事 件 說 明 守 衛(wèi) 條 件 /動 作 表達 式事 件 說 明 的 語 法 ： 事 件 名（ 參 數 表 ）守 衛(wèi) 條 件 是 一 個 布 爾 表 達式動 作 表 達 式 表 示 當 狀 態(tài) 轉換 開 始 時 執(zhí) 行 該 表 達 式 （ 4） 實 例【 一 】 電 話 系 統 狀 態(tài) 圖 43 2021-5-19 軟 件 工 程 導 論 王 培 麗 57 2.2.6 幾 種 圖 形 工 具u層 次 方 框 圖 層 次 方 框 圖 用 樹 形 結 構 的 一 系 列 多 層 次 的 矩 形 框 描繪 數

52、 據 的 層 次 結 構 。 2.2.6 幾 種 圖 形 工 具u Warnier圖 由 法 國 專 家 Warnier提 出 用 樹 形 結 構 描 繪 信 息 表 明 了 信 息 的 邏 輯 組 織 結 構 47 2021-5-19 軟 件 工 程 導 論 王 培 麗 59 2.2.6 幾 種 圖 形 工 具uIPO圖 描 繪 輸 入 數 據 、 對 數 據 的 處 理 和 輸 出 數 據 之 間的 關 系 。 1. 需 求 分 析 （ ） A.要 回 答 “ 軟 件 必 須 做 什 么 ？ ” B.可 概 括 為 ： “ 理 解 、 分 解 、 表 達 ” 6個 字 C.要 求 編 寫

53、需 求 規(guī) 格 說 明 書 D.以 上 都 對 2. 結 構 化 分 析 方 法 使 用 的 描 述 工 具 （ ） 定 義 了 數 據 流 圖 中每 一 個 圖 形 元 素 A.數 據 流 圖 B.數 據 字 典 C.判 定 表 D.判 定 樹 3. 軟 件 需 求 規(guī) 格 說 明 書 的 內 容 不 應 該 包 括 對 （ ） 的 描 述 。 A.主 要 功 能 B.算 法 的 詳 細 過 程 C.用 戶 界 面 及 運 行 環(huán) 境 D.軟 件 的 性 能 思 考 與 練 習 4. 數 據 存 儲 和 數 據 流 都 是 （ ） ， 僅 僅 所 處 的 狀 態(tài) 不 同 。 A.分 析 結

54、構 B.事 件 C.動 作 D.數 據 5. 需 求 分 析 最 終 結 果 是 產 生 （ ） A.項 目 開 發(fā) 計 劃 B.可 行 性 分 析 報 告 C.需 求 規(guī) 格 說 明 書 D.設 計 說 明 書 6. 在 結 構 化 分 析 方 法 （ SA） 中 ， 與 數 據 流 圖 配 合 使 用 的 是 （ ） A.網 絡 圖 B.數 據 字 典 C.實 體 聯 系 圖 D.程 序 流 程 圖 7. SA方 法 的 基 本 思 想 是 （ ） A.自 頂 向 上 逐 步 抽 象 B. 自 頂 向 上 逐 步 分 解 C.自 頂 向 下 逐 步 分 解 D.自 頂 向 下 逐 步 抽

55、象 思 考 與 練 習 8.下 列 哪 項 不 是 在 需 求 分 析 階 段 要 進 行 工 作 （ ） A.問 題 識 別 B.分 析 與 綜 合C.導 出 軟 件 的 邏 輯 模 型 D.編 碼9.可 行 性 分 析 研 究 的 目 的 是 （ ） A.爭 取 項 目 B.項 目 是 否 值 得 開 發(fā) C.開 發(fā) 項 目 D.規(guī) 劃 項 目10 DFD是 常 用 的 進 行 軟 件 需 求 分 析 的 圖 形 工 具 ， 其 基 本 符 號是 （ ） A 輸 入 、 輸 出 、 外 部 實 體 和 加 工 B.變 換 、 加 工 、 數 據 流 和 存 儲 C.加 工 、 數 據 流 、 數 據 存 儲 和 外 部 實 體 D.變 換 、 數 據 存 儲 、 加 工 和 數 據 流 思 考 與 練 習