軟件工程PPT課件第3章軟件需求分析

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

1、1 2 n在 分 析 軟 件 需 求 和 書 寫 軟 件 需 求 規(guī) 格 說 明書 的 過 程 中 ， 分 析 員 和 用 戶 都 起 著 關(guān) 鍵 的 、必 不 可 少 的 作 用 。n用 戶 與 分 析 員 之 間 需 要 溝 通 的 內(nèi) 容 非 常 多， 在 雙 方 交 流 信 息 的 過 程 中 很 容 易 出 現(xiàn) 誤 解或 遺 漏 ， 也 可 能 存 在 二 義 性 。n不 僅 在 整 個 需 求 分 析 過 程 中 應(yīng) 該 采 用 行 之有 效 的 通 信 技 術(shù) ， 而 且 必 須 嚴(yán) 格 審 查 驗(yàn) 證 需求 分 析 的 結(jié) 果 。 3 (1) 必 須 理 解 并 描 述 問 題

2、 的 信 息 域 ， 根據(jù) 這 條 準(zhǔn) 則 應(yīng) 該 建 立 數(shù) 據(jù) 模 型 。(2) 必 須 定 義 軟 件 應(yīng) 完 成 的 功 能 ， 這 條準(zhǔn) 則 要 求 建 立 功 能 模 型 。(3) 必 須 描 述 作 為 外 部 事 件 結(jié) 果 的 軟 件行 為 ， 這 條 準(zhǔn) 則 要 求 建 立 行 為 模 型 。(4) 必 須 對 描 述 信 息 、 功 能 和 行 為 的 模型 進(jìn) 行 分 解 ， 用 層 次 的 方 式 展 示 細(xì) 節(jié) 。需 求 分 析 的 結(jié) 構(gòu) 化 分 析 方 法 準(zhǔn) 則 4 n實(shí) 體 -聯(lián) 系 圖 ， 描 繪 數(shù) 據(jù) 對 象 及 數(shù) 據(jù) 對 象 之間 的 關(guān) 系 ，

3、是 用 于 建 立 數(shù) 據(jù) 模 型 的 圖 形 。n數(shù) 據(jù) 流 圖 ， 描 繪 當(dāng) 數(shù) 據(jù) 在 軟 件 系 統(tǒng) 中 移 動時 被 變 換 的 邏 輯 過 程 ， 指 明 系 統(tǒng) 具 有 的 變 換數(shù) 據(jù) 的 功 能 ， 是 建 立 功 能 模 型 的 基 礎(chǔ) 。n狀 態(tài) 轉(zhuǎn) 換 圖 ， 指 明 了 作 為 外 部 事 件 結(jié) 果 的系 統(tǒng) 行 為 ， 描 繪 了 系 統(tǒng) 的 各 種 行 為 模 式 (稱為 “ 狀 態(tài) ” )和 在 不 同 狀 態(tài) 間 轉(zhuǎn) 換 的 方 式 ，是 行 為 建 模 的 基 礎(chǔ) 。 5 需 求 分 析 的 任 務(wù) 和 步 驟n 需 求 分 析 的 任 務(wù)u建 立 分

4、析 模 型 u編 寫 需 求 說 明 n 需 求 分 析 的 步 驟u問 題 分 析 u需 求 描 述 u需 求 驗(yàn) 證 （ 評 審 ） 6 需 求 獲 取 的 常 用 方 法n 聯(lián) 合 分 析 小 組 用 戶 代 表 、 領(lǐng) 域 專 家 和 系 統(tǒng) 分 析 員n 客 戶 訪 談 充 分 準(zhǔn) 備 ， 尋 找 共 同 語 言 循 序 漸 進(jìn) 、 逐 步 逼 近 n 實(shí) 際 觀 察 用 戶 工 作 流 程 n 問 題 分 析 與 確 認(rèn) 多 個 來 回 7 軟 件 需 求 分 析 的 通 信 途 徑 8 分 析 建 模n 結(jié) 構(gòu) 化 分 析 模 型n 面 向 對 象 分 析 模 型n 分 析 模

5、型 描 述 工 具uDFD、 DD和 PSPEC（ 加 工 規(guī) 約 ） uCFD、 CSPEC（ 控 制 規(guī) 約 ） 和 STD uE-R圖 u用 例 圖 ， 對 象 -關(guān) 系 圖 ， 對 象 -行 為 圖 9 結(jié) 構(gòu) 化 分 析 模 型加 工 說 明數(shù) 據(jù) 對 象說 明 CFD,STD圖 DFD圖E-R圖 DD控 制 說 明 10 面 向 對 象 分 析 模 型屬 性 、 操 作 、 協(xié) 作 者對 象 -行 為 模 型 對 象 -關(guān) 系 模 型類 /對 象模 型 使 用 實(shí) 例 11 F實(shí) 體 -聯(lián) 系 圖 是 一 種 概 念 性 的 數(shù) 據(jù) 模 型 ， 包含 3種 相 互 關(guān) 聯(lián) 的 信

6、息 ：u數(shù) 據(jù) 對 象 是 可 以 由 一 組 屬 性 來 定 義 的 實(shí) 體 。u屬 性 定 義 了 數(shù) 據(jù) 對 象 的 性 質(zhì) 。u數(shù) 據(jù) 對 象 彼 此 之 間 相 互 連 接 的 方 式 稱 為 聯(lián) 系 ，也 稱 為 關(guān) 系 。u(1) 一 對 一 聯(lián) 系 (1 1)u(2) 一 對 多 聯(lián) 系 (1 N) u(3) 多 對 多 聯(lián) 系 (M N)實(shí) 體 -聯(lián) 系 圖 12某 校 教 學(xué) 管 理 ER圖 13 nER圖 中 包 含 了 實(shí) 體 (即 數(shù) 據(jù) 對 象 )、 關(guān) 系 和屬 性 等 3種 基 本 成 分 ；n用 矩 形 框 代 表 實(shí) 體 ；n用 連 接 相 關(guān) 實(shí) 體 的

7、菱 形 框 表 示 關(guān) 系 ；n用 橢 圓 形 或 圓 角 矩 形 表 示 實(shí) 體 (或 關(guān) 系 )的屬 性 ， 并 用 直 線 把 實(shí) 體 (或 關(guān) 系 )與 其 屬 性 連接 起 來 。 實(shí) 體 -聯(lián) 系 圖 的 符 號 14 數(shù) 據(jù) 流 圖 DFDn 描 述 系 統(tǒng) 邏 輯 模 型 信 息 在 系 統(tǒng) 中 的 流 動 和 處 理n 用 途 交 流 信 息 的 工 具 結(jié) 構(gòu) 化 分 析 和 設(shè) 計 的 工 具 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 F 31 當(dāng) 前系 統(tǒng)目 標(biāo)系 統(tǒng) 物 理模 型 邏 輯模 型邏 輯模 型物 理模

8、型模 型 化 抽 象 化具 體 化 實(shí) 例 化怎么做 做什么 當(dāng) 前系 統(tǒng)目 標(biāo)系 統(tǒng) 需求定義 32 對 象系 統(tǒng) 邏 輯 模 型 和 物 理 模 型F模 型 是 對 對 象 系 統(tǒng) 的 形 式 化 的 特 征 抽 象 ， 概 括 性 或 近 似 地 表 示 ； 形 式 化 語 言 ： 數(shù) 學(xué) 語 言 、 圖 形 等 ； 構(gòu) 造 模 型 的 過 程 是 一 個 抽 象 、 分 析 的 過 程 。 33 邏 輯 模 型 物 理 模 型 (本 質(zhì) 模 型 、 概 念 模 型 ) (實(shí) 施 模 型 、 技 術(shù) 模 型 )描 述 重 要 的 業(yè) 務(wù)功 能 ， 無 論 系 統(tǒng)是 如 何 實(shí) 施 的 。

9、 34 學(xué)生學(xué)生 購書申請 購書單 發(fā)票 領(lǐng)書單 書107劉教 務(wù) 科 206王會 計 室 206李出 納 員 303趙教 材 35 學(xué)生學(xué)生 購書申請 購書單 發(fā)票 領(lǐng)書單 書審 查有 效 性 開 發(fā) 票 開 領(lǐng)書 單 發(fā) 書 36學(xué)生學(xué)生 購 書 單 發(fā) 票 領(lǐng) 書 單審 查 并開 發(fā) 票 開 領(lǐng)書 單無 效 書 單 37 需 求 分 析(4) 對 目 標(biāo) 系 統(tǒng) 進(jìn) 行 完 善 和 補(bǔ) 充 ，并 寫 出 完 整 的 需 求 說 明 ； 38 3.4 分 析 建 摸q結(jié) 構(gòu) 化 分 析 （ 傳 統(tǒng) 建 模 方 法 ）q面 向 對 象 分 析3.4.1 結(jié) 構(gòu) 化 分 析 方 法(Struc

10、turedAnalisys,SA) 39 40 41 42 3.4.2 數(shù) 據(jù) 建 模 E-R圖 是 數(shù) 據(jù) 建 模 的 基 礎(chǔ)教 師 學(xué) 生課 程職 稱性 別姓 名職 工 號 學(xué)教 姓 名 性 別 學(xué) 號系年 級成 績課 程 號 課 名 學(xué) 時 學(xué) 分 教 學(xué) ER圖學(xué) 分 43 F系 統(tǒng) 流 程 圖 是 概 括 地 描 繪 物 理 系 統(tǒng) 的 傳 統(tǒng)工 具 。 它 的 基 本 思 想 是 用 圖 形 符 號 以 黑 盒 子形 式 描 繪 組 成 系 統(tǒng) 的 每 個 部 件 (程 序 ， 文 檔， 數(shù) 據(jù) 庫 ， 人 工 過 程 等 )。F系 統(tǒng) 流 程 圖 表 達(dá) 的 是 數(shù) 據(jù) 在 系

11、統(tǒng) 各 部 件 之間 流 動 的 情 況 ， 而 不 是 對 數(shù) 據(jù) 進(jìn) 行 加 工 處 理的 控 制 過 程 ， 因 此 盡 管 系 統(tǒng) 流 程 圖 的 某 些 符號 和 程 序 流 程 圖 的 符 號 形 式 相 同 ， 但 是 它 卻是 物 理 數(shù) 據(jù) 流 圖 而 不 是 程 序 流 程 圖 。系 統(tǒng) 流 程 圖 44 F面 對 復(fù) 雜 的 系 統(tǒng) 時 ， 一 個 比 較 好 的 方 法 是分 層 次 地 描 繪 這 個 系 統(tǒng) 。F首 先 用 一 張 高 層 次 的 系 統(tǒng) 流 程 圖 描 繪 系 統(tǒng)總 體 概 貌 ， 表 明 系 統(tǒng) 的 關(guān) 鍵 功 能 。F然 后 分 別 把 每 個

12、 關(guān) 鍵 功 能 擴(kuò) 展 到 適 當(dāng) 的 詳細(xì) 程 度 ， 畫 在 單 獨(dú) 的 一 頁 紙 上 。F這 種 分 層 次 的 描 繪 方 法 便 于 閱 讀 者 按 從 抽象 到 具 體 的 過 程 逐 步 深 入 地 了 解 一 個 復(fù) 雜 的系 統(tǒng) 。 分 層 45 F數(shù) 據(jù) 流 圖 (DFD)是 一 種 圖 形 化 技 術(shù) ， 它 描 繪 信 息流 和 數(shù) 據(jù) 從 輸 入 移 動 到 輸 出 的 過 程 中 所 經(jīng) 受 的 變 換。F在 數(shù) 據(jù) 流 圖 中 沒 有 任 何 具 體 的 物 理 部 件 ， 它 只 是描 繪 數(shù) 據(jù) 在 軟 件 中 流 動 和 被 處 理 的 邏 輯 過 程

13、。F數(shù) 據(jù) 流 圖 是 系 統(tǒng) 邏 輯 功 能 的 圖 形 表 示 ， 即 使 不 是專 業(yè) 的 計 算 機(jī) 技 術(shù) 人 員 也 容 易 理 解 它 ， 因 此 是 分 析員 與 用 戶 之 間 極 好 的 通 信 工 具 。F此 外 ， 設(shè) 計 數(shù) 據(jù) 流 圖 時 只 需 考 慮 系 統(tǒng) 必 須 完 成 的基 本 邏 輯 功 能 ， 完 全 不 需 要 考 慮 怎 樣 具 體 地 實(shí) 現(xiàn) 這些 功 能 。 數(shù) 據(jù) 流 圖 46 F數(shù) 據(jù) 流 圖 是 系 統(tǒng) 的 邏 輯 模 型 ， 然 而 任 何 計算 機(jī) 系 統(tǒng) 實(shí) 質(zhì) 上 都 是 信 息 處 理 系 統(tǒng) ， 也 就 是說 計 算 機(jī) 系

14、統(tǒng) 本 質(zhì) 上 都 是 把 輸 入 數(shù) 據(jù) 變 換 成輸 出 數(shù) 據(jù) 。F因 此 ， 任 何 系 統(tǒng) 的 基 本 模 型 都 由 若 干 個 數(shù)據(jù) 源 點(diǎn) /終 點(diǎn) 以 及 一 個 處 理 組 成 ， 這 個 處 理就 代 表 了 系 統(tǒng) 對 數(shù) 據(jù) 加 工 變 換 的 基 本 功 能 。對 于 上 述 的 定 貨 系 統(tǒng) 可 以 畫 出 基 本 系 統(tǒng) 模 型。 47 3.4.3 功 能 建 模 和 信 息 流 基 于計 算 機(jī)的 系 統(tǒng)輸 入 信 息信 息 流 模 型輸 出 信 息 外 部 實(shí) 體外 部 實(shí) 體外 部 實(shí) 體 輸 入 信 息 外 部 實(shí) 體外 部 實(shí) 體輸 出 信 息輸 出

15、 信 息 48 一 . 數(shù) 據(jù) 流 圖 (DFD， DataFlowDiagram)n 描 述 邏 輯 模 型 的 圖 形 工 具 ， 表 示 數(shù) 據(jù)在 系 統(tǒng) 內(nèi) 的 的 流 動 和 處 理 。n用 途 交 流 信 息 的 工 具 結(jié) 構(gòu) 化 分 析 和 設(shè) 計 的 工 具 49 庫 存 管 理 財 務(wù) 管 理1配 送 中 心 管 理 信 息 系 統(tǒng) 的 零 層 DFD訂 貨 單 表 供應(yīng)商D1門店 發(fā) 票訂 貨 單 送 貨 單出 庫 單 、 入 庫 單訂 貨 單 表D3門店 2 商 品 價 格 表D4訂 單 表D5采 購 管 理4銷 售 管 理5配 送 管 理3路 單 門 店 銷售 信 息

16、 缺 貨 單 表D2 訂 單商 品價 格記 錄單 正確 訂銷 售 預(yù)測 信 息缺 貨 單缺 貨 單 50數(shù) 據(jù) 存 儲 (文 件 或 數(shù) 據(jù) 庫 ） 1. 數(shù) 據(jù) 流 圖 的 四 個 基 本 成 分2 數(shù) 據(jù) 流 （ 數(shù) 據(jù) 對 象 ）位 于 被 建 模 系 統(tǒng) 之 外 的 信 息 生產(chǎn) 者 或 消 費(fèi) 者 ,稱 為 外 部 項(xiàng) 。說 明 數(shù) 據(jù) 輸 入 的 源 點(diǎn) (數(shù) 據(jù) 源 )或 數(shù) 據(jù) 輸 出 的 匯 點(diǎn) (數(shù) 據(jù) 池 )22II 數(shù) 據(jù) 處 理 (加 工 ) 51 2. DFD各 成 分 的 作 用 和命 名 注 意 事 項(xiàng)數(shù) 據(jù) 流F表 示 數(shù) 據(jù) 和 數(shù) 據(jù) 流 向F三 個 重

17、要 屬 性 :F流 向 (從 加 工 出 發(fā) 或 流 向 加 工 )F數(shù) 據(jù) 組 成F數(shù) 據(jù) 流 名 字 52 數(shù) 據(jù) 流 命 名 方 法 和 注 意 事 項(xiàng)F用 名 詞 或 名 詞 詞 組 不 要 使 用 意義 空 洞 的 名 詞 。F盡 量 使 用 現(xiàn) 實(shí) 系 統(tǒng) 已 有 名 字 ,當(dāng)命 名 出 現(xiàn) 困 難 ， 考 慮 是 否 數(shù) 據(jù) 流劃 分 不 恰 當(dāng) 。F不 要 把 控 制 流 作 為 數(shù) 據(jù) 流 。 53 加 工 的 命 名 原 則 54 數(shù) 據(jù) 存 儲F分 層 數(shù) 據(jù) 流 圖 中 ， 數(shù) 據(jù) 存 儲 一 般 局 限 在 某 一 層 或 某 幾 層F命 名 方 法 與 數(shù) 據(jù) 流

18、相 似 55 舉 例 ： 數(shù) 據(jù) 源 數(shù) 據(jù) 池沒 有 輸 出 ！沒 有 輸 入 ！數(shù) 據(jù) 源 數(shù) 據(jù) 池數(shù) 據(jù) 源 數(shù) 據(jù) 存 儲數(shù) 據(jù) 源數(shù) 據(jù) 存 儲 數(shù) 據(jù) 存 儲數(shù) 據(jù) 存 儲 數(shù) 據(jù) 流 必 須起 于 且 /或止 于 加 工加 工 至 少 有一 個 輸 入 數(shù)據(jù) 流 和 一 個輸 出 數(shù) 據(jù) 流 56 DFD的 性 質(zhì)與 程 序 流 程 圖 的 區(qū) 別 (不 同 用 途 ): DFD可 以 用 來 表 示 一 個 系 統(tǒng) 或 軟 件 在 任 何 層 次上 的 抽 象 。 較 大 型 軟 件 系 統(tǒng) DFD分 成 多 層 (子圖 、 父 圖 概 念 ),可 以 表 示 數(shù) 據(jù) 流 和

19、 功 能 的 進(jìn)一 步 的 細(xì) 節(jié) 。 57 分 層 數(shù) 據(jù) 流 圖 58 59 怎 樣 畫 DFD(1) 先 畫 出 頂 層 DFD。(2)自 頂 向 下 畫 出 各 層 DFD 分 解 原 則 ： 分 解 后 的 軟 件 成 分 有 相 對 獨(dú) 立 功 能 一 次 分 解 不 要 加 入 細(xì) 節(jié) 過 多 由 外 (粗 ） 向 里 （ 細(xì) ） 畫 DFD 60 送 貨 單 配 送 中 心管 理 信 息系 統(tǒng)配 送 中 心 管 理 信 息 系 統(tǒng) 的 頂 層 DFD供 應(yīng) 商 領(lǐng) 書 單 路 單門 店 銷售 信 息 連 鎖門 店訂 單發(fā) 票 訂 貨 單 61 庫 存 管 理 財 務(wù) 管 理1配

20、 送 中 心 管 理 信 息 系 統(tǒng) 的 零 層 DFD訂 貨 單 表 供應(yīng)商D1門店 發(fā) 票訂 貨 單 送 貨 單出 庫 單 、 入 庫 單訂 貨 單 表D3門店 商 品 編 碼 2 商 品 價 格 表D4訂 單 表D5采 購 管 理4銷 售 管 理5配 送 管 理3路 單 門 店 銷售 信 息 缺 貨 單 表D2 訂 單商 品價 格記 錄正 確訂 單銷 售 預(yù)測 信 息缺 貨 單缺 貨 單 62 入 庫1.1庫 存 管 理 子 系 統(tǒng) 的 DFD（ 第 一 層 ）訂 貨 單 表供應(yīng)商 D1送 貨 單出 貨 單 表D3門店 出 庫 單 庫 存 表D2 在 庫1.2出 庫1.3 入 庫 單 號

21、庫 存 記 錄 63制 作 路 單 3.2配 送 管 理 子 系 統(tǒng) 的 DFD（ 第 一 層 ）訂 貨 單 表D1 路 單 記 錄門 店 信 息 表D2 門店路 單 表D3路 單 執(zhí) 行情 況 跟 蹤3.4確 定 配 送 路 線3.3配 送 計 劃 門 店 信 息揀 貨 單 表D4制 定 配 送 計 劃3.1門 店 信 息 路 單配 送 計 劃 路 單 64 分 配 貨 位 號1.1.2入 庫 子 系 統(tǒng) 的 DFD（ 第 二 層 ） 貨 位 文 件DS2訂 單 文 件DS1 入 庫 單 庫 存 商品 文 件DS4修 改 庫 存商 品 信 息1.1.4記 錄 入 庫 單1.1.3 貨 位 信

22、 息合 格商 品檢 驗(yàn) 送 貨 單1.1.1 入 庫 單 文 件DS3 貨 位 號貨 位 號 新 庫 存信 息舊 庫 存 信 息合 格商 品送貨單 65 畫 分 層 DFD的 指 導(dǎo) 原 則(1) 父 圖 與 子 圖 的 平 衡 模 型 細(xì) 化 時 必 須 保 持 數(shù) 據(jù) 流 的 連續(xù) 性 ， 即 每 個 細(xì) 化 部 分 的 輸 入 和 輸 出必 須 保 持 不 變 (父 圖 和 子 圖 輸 入 數(shù) 據(jù)和 輸 出 數(shù) 據(jù) 應(yīng) 一 致 )。 66A 1 4 父 圖 和 子 圖 的 平 衡23B FE GC D 67C 3.1 父 圖 和 子 圖 的 平 衡ED3.33.2 68 購 書 單 教

23、材 購銷 系 統(tǒng)教 材 購 銷 系 統(tǒng) 的 頂 層 DFD學(xué) 生 領(lǐng) 書 單 缺 書 單進(jìn) 書 通 知 書 庫 保管 員 69購 書 單 缺 書 單銷 售教 材 采 購教 材1 2 第 二 層 DFD( 層 ) 教 材 購 銷 系 統(tǒng)教 材 存 量 表學(xué)生 F1缺 書 登 記 表F2 書庫保管員進(jìn) 書 通 知教 材 入庫 信 息領(lǐng) 書 單 70 按 書 號匯 總 缺 書2.12.3第 三 層 DFD (1層 ) 采 購 子 系 統(tǒng) (2.0) 待 購 教 材 表F5 教 材 一 覽 表F6 書庫保管員進(jìn) 書 通 知教 材 存 量 表F1 2.2按 出 版 社統(tǒng) 計 缺 書修 改 教 材 庫存

24、和 待 購 量F2缺 書 登 記 表 缺書單教 材 入 庫 信 息 71購 書 單 缺 書 單銷 售 采 購1 2 第 二 層 DFD ( 層 ) 教 材 購 銷 系 統(tǒng)教 材 存 量 表學(xué)生 F1缺 書 登 記 表F2 書庫保管員進(jìn) 書 通 知領(lǐng) 書 單 教 材 入庫 信 息 721.2 第 三 層 DFD (1層 ) 銷 售 子 系 統(tǒng) (1.0)無 效書 單 教 材 存 量 表F1 開 發(fā) 票 F2 缺 書 登 記 表 學(xué)生各 班 學(xué) 生 用 書 表F3 售 書 登 記 表F41.1 審 查有 效 性 1.3 登 記 并開 領(lǐng) 書 單學(xué)生 1.5補(bǔ) 售教 材 1.4登 記缺 書購 書 單

25、 發(fā) 票 領(lǐng) 書 單 有 效購 書 單教 材 入 庫 信 息 73 父 圖 與 子 圖 平 衡 的 特 例 領(lǐng)書單1.3發(fā) 票 1.3.31.3.2教 材 1.3.1學(xué) 生領(lǐng)書單父 圖 子 圖發(fā) 票 學(xué) 生 教 材 74 畫 分 層 DFD的 指 導(dǎo) 原 則F(2) 區(qū) 分 局 部 文 件 和 局 部 外 部 項(xiàng) .1 .2 .3 1 父 圖 子 圖 75購 書 單 缺 書 單銷 售教 材 采 購教 材1 2 第 二 層 DFD( 層 ) 教 材 購 銷 系 統(tǒng) 教 材 存 量 表學(xué)生 F1缺 書 登 記 表F2 書庫保管員進(jìn) 書 通 知教 材 入庫 信 息領(lǐng) 書 單 76 按 書 號匯 總

26、缺 書2.12.3第 三 層 DFD (1層 ) 采 購 子 系 統(tǒng) (2.0)待 購 教 材 表F5 教 材 一 覽 表F6 書庫保管員進(jìn) 書 通 知教 材 入 庫 信 息教 材 存 量 表F1 2.2按 出 版 社統(tǒng) 計 缺 書修 改 教 材 庫存 和 待 購 量F2缺 書 登 記 表 缺書單 77 畫 分 層 DFD的 指 導(dǎo) 原 則(3) 遵 守 加 工 的 編 號 原 則子 圖 圖 號 為 分 解 的 父 圖 中 的 加 工 號 ,同 級 子 圖 在 最 后 數(shù) 字 以 序 號 區(qū) 別 。 78 79 畫 分 層 DFD的 指 導(dǎo) 原 則(4) 分 解 的 深 度 與 層 次C 按

27、功 能 情 況 定 ， 一 般 設(shè) 深 度 為 3-5；C如 超 過 5最 好 分 解 畫 ， 否 則 容 易 出錯 。 80 實(shí) 例圖 書 館 管 理 系 統(tǒng) 功 能 ：F 購 入 新 書F 讀 者 借 書F 讀 者 還 書F 圖 書 注 銷F 查 詢 統(tǒng) 計 81 購 入 新 書 ：_新 書 編 卡 片 (包 括 :分 類 目 錄 號 、 流 水 號 (唯 一 )、 書 名 、 作 者 、 內(nèi) 容 摘 要 、 價 格 、 購 書 日 期 等 信 息 )_寫 入 圖 書 目 錄 文 件 82 讀 者 借 書 ： 填 借 書 單 (包 括 ： 讀 者 號 、 欲 借 圖 書 分 類 目 錄 號

28、 ) 檢 查 讀 者 號 有 效 性 ， 無 效 ， 拒 借 讀 者 號 有 效 ， 檢 查 借 書 是 否 超 數(shù) ? 已 達(dá) 5本 ， 拒 絕 借 ； 未 超 ， 可 借 ， 登 記 圖 書 分 類 目 錄 號 、 讀 者 號 、 借 閱 日 期 等 ， 寫 回 借 書 文 件 中 。 83 讀 者 還 書 ：根 據(jù) 圖 書 流 水 號 ， 從 借 書 文 件中 讀 出 與 該 書 相 關(guān) 的 借 閱 記 錄 ,查 明 借 書 日 期 ， 還 書 日 期 ， 求借 書 時 間 ， 再 重 寫 回 借 書 文 件中 ， 超 過 期 限 罰 款 。 84 圖 書 注 銷 ：_ 從 借 閱 圖

29、書 文 件 中 刪 除相 關(guān) 記 錄_ 丟 失 圖 書 時 從 圖 書 文 件 中 刪除 相 關(guān) 記 錄 85 查 詢 統(tǒng) 計 ：F 查 詢 某 讀 者 情 況F 查 詢 某 圖 書 借 閱 情 況F 統(tǒng) 計 圖 書 借 閱 情 況 86 頂 層 數(shù) 據(jù) 流 圖圖書管理人員 圖 書 管理 系 統(tǒng) 系 統(tǒng) 時 鐘讀 者圖 書 管 理 要 求查 詢 要 求統(tǒng) 計 表圖 書 情 況讀 者 情 況 罰 款 單當(dāng) 前 日 期 87檢 查有 效 性 圖 書 管理 要 求查 詢要 求 無 效 輸 入1 處 理查 詢3處 理要 求2有 效 查詢 要 求有 效 圖 書管 理 要 求 當(dāng) 前 日 期 罰 款 單統(tǒng)

30、 計 表圖 書 情 況讀 者 情 況0層 數(shù) 據(jù) 流 圖 88要 求 類型 處 理 有 效 圖 書管 理 要 求當(dāng) 前日 期 無 效 輸 入2.1 新 書 入 庫2.2借入 庫 單 罰 款 單一 層 數(shù) 據(jù) 流 圖 (a) 借 書2.3注 銷 圖 書2.5借 書2.4 目錄文件借 書 單書 單注 銷 單 89查 詢 類別 處 理 有 效查 詢要 求 3.1 讀 者 查 詢3.2統(tǒng)查 詢 讀者 情 況 統(tǒng) 計 表一 層 數(shù) 據(jù) 流 圖 (b)圖 書 查 詢 借書文件要查 詢 圖書 情 況 3.3圖 書 統(tǒng) 計3.4計 求讀 者 文 件 目錄文件讀 者 情 況圖 書 情 況 90 實(shí) 例 考 務(wù)

31、處 理 系 統(tǒng) 功 能 (1)對 考 生 送 來 的 報 名 單 進(jìn) 行 檢 查 ;(2)對 合 格 的 報 名 單 編 好 準(zhǔn) 考 證 號 后 將 準(zhǔn) 考證 送 給 考 生 ， 并 將 匯 總 后 的 考 生 名 單 送 給閱 卷 站 ;(3)對 閱 卷 站 送 來 的 成 績 單 進(jìn) 行 檢 查 ， 并 根據(jù) 考 試 中 心 制 定 的 合 格 標(biāo) 準(zhǔn) 審 定 合 格 者 ;(4)制 作 考 生 通 知 單 (含 成 績 及 合 格 /不 合 格標(biāo) 志 )送 給 考 生 ;(5)按 地 區(qū) 進(jìn) 行 成 績 分 類 統(tǒng) 計 和 試 題 難 度 分析 ， 產(chǎn) 生 統(tǒng) 計 分 析 表 。 91

32、頂 層 數(shù) 據(jù) 流 圖考生 考 務(wù)處 理 系 統(tǒng) 考試中心閱 卷 站不 合 格 報 名 單報 名 單準(zhǔn) 考 證考 生 通 知 單 成績清單 合 格 標(biāo) 準(zhǔn)錯 誤成 績清 單考生名單 統(tǒng) 計 分 析 表 92 登 記報 名 單報 名 單準(zhǔn) 考 證 1 統(tǒng) 計成 績2不 合 格報 名 單 考 生 通 知 單成 統(tǒng) 計 分 析 表零 層 數(shù) 據(jù) 流 圖考 生 名 冊 績 清 單合格標(biāo)準(zhǔn)考生名單 成 績 清 單錯 誤 93 一 層 數(shù) 據(jù) 流 圖 (a)檢 查報 名 單報 名 單 準(zhǔn) 考 證1.1 編 準(zhǔn) 考證 號1.2不 合 格報 名 單 考 生 名 冊 考 生 名 單合 格報 名 單 登 記考 生

33、1.3 94 一 層 數(shù) 據(jù) 流 圖 (b)檢 查成 績 清 單2.1 審 定合 格 者2.2考 生 名 冊正 確成 績 清 單 制 作通 知 單2.3分 析統(tǒng) 計 成 績2.4分 析試 題 難 度2.5 試 題 得 分 清 單 考 生通 知 單難 度分 析 表 合 格標(biāo) 準(zhǔn)分 類統(tǒng) 計 表成 績 清 單錯 誤成 績 清 單 經(jīng) 審 定 的成 績 清 單 95 二 . 數(shù) 據(jù) 字 典 (DD， Data Dictionary) DFD中 的 數(shù) 據(jù) 流 、 數(shù) 據(jù) 存 儲 表 示 某 個 有 組 織的 數(shù) 據(jù) 集 合 ， 它 們 要 由 SA的 其 他 描 述 工 具 -需 求字 典 （ 數(shù)

34、據(jù) 字 典 ） 來 描 述 。 數(shù) 據(jù) 字 典 的 作 用F詞 條 描 述F數(shù) 據(jù) 結(jié) 構(gòu) 描 述F加 工 邏 輯 說 明 96 定 義 方 法F找 出 所 有 數(shù) 據(jù) 元 素(數(shù) 據(jù) 流 ， 數(shù) 據(jù) 存 儲 ， 數(shù) 據(jù) 項(xiàng) ， 加 工 )F對 數(shù) 據(jù) 項(xiàng) 分 類F作 結(jié) 構(gòu) 定 義F規(guī) 定 特 性 和 限 制F排 序 97 DD排 序 方 法(1)按 DFD層 次 排 序(2)先 層 次 排 序 后 內(nèi) 部 排 序 (字 母 ,漢 字 .順 序 )(3)排 序(1),(2)為 與 過 程 有 關(guān) 字 典 ,不 好 維 護(hù) 98 物 理 DD(概 要 設(shè) 計 階 段 完 成 )開 發(fā) DD設(shè)

35、計 DDDD中 的 命 名遵 守 系 統(tǒng) 開 發(fā) 規(guī) 范 規(guī) 定DD分 類邏 輯 DD物 理 概 要 設(shè) 計 階 段 完 成開 發(fā)設(shè) 計中 的 命 名遵 守 系 統(tǒng) 開 發(fā) 規(guī) 范 規(guī) 定 99 DD的 實(shí) 現(xiàn)(1)人 工 方 法(2)自 動 方 法 (利 用 字 典 管 理 程 序 ) DD應(yīng) 具 特 點(diǎn)(1)通 過 名 字 可 方 便 查 閱 數(shù) 據(jù) 定 義(2)無 冗 余 (3)易 更 新 修 改DD中 數(shù) 據(jù) 結(jié) 構(gòu) 的 描 述 方 式定 義 式 Warnier圖 巴 科 斯 范 式 （ BNF） 100 定 義 式 中 使 用 的 符 操 作 符 含 義 描 述 定 義 為 與 (順

36、 序 結(jié) 構(gòu) ) . 重 復(fù) (循 環(huán) 結(jié) 構(gòu) ) . . 或 (選 擇 結(jié) 構(gòu) ) . , . ( . ) 任 選 m.n 界 域 ., 注 釋 符 101 限 制 重 復(fù) 次 數(shù) 舉 例 : 表 示 允 許 重 復(fù) 3-5次 表 示 恰 好 重 復(fù) 3 次 表 示 至 少 出 現(xiàn) 1 次表 示 允 許 重 復(fù) 0至 任 意 次 102 數(shù) 據(jù) 流 條 目給 出 DFD中 某 個 數(shù) 據(jù) 流 的 定 義 ，通 常 包 括 ：F 數(shù) 據(jù) 流 標(biāo) 識F 數(shù) 據(jù) 流 來 源F 數(shù) 據(jù) 流 去 向F 數(shù) 據(jù) 流 的 數(shù) 據(jù) 組 成F 流 動 屬 性 描 述 ： 頻 率 、 數(shù) 據(jù) 量 103 購書單

37、 發(fā) 票 領(lǐng) 書 單審 查 并開 發(fā) 票 開 領(lǐng)書 單無 效 書 單 學(xué) 生1 2各 班 學(xué) 生用 書 表舉 例 ：學(xué) 生 教 材 存 量 表 104 數(shù) 據(jù) 流 條 目 說 明 舉 例數(shù) 據(jù) 流 名 :發(fā) 票別 名 : 購 書 發(fā) 票組 成 :(學(xué) 號 ) 姓 名 書 號 單 價 數(shù) 量 總 價 書 費(fèi) 合 計數(shù) 據(jù) 量 :100次 /天 高 峰 值 ： 開 學(xué) 期 間 400次 /天 105 數(shù) 據(jù) 存 儲 條 目 (數(shù) 據(jù) 文 件 詞 條 )對 某 個 文 件 的 定 義 ， 包 括 ：F 文 件 名F 描 述F 數(shù) 據(jù) 結(jié) 構(gòu)F 數(shù) 據(jù) 存 儲 方 式F 關(guān) 鍵 碼F 存 取 頻 率

38、和 數(shù) 據(jù) 量F 安 全 性 要 求 106 購書單 發(fā) 票 領(lǐng) 書 單審 查 并開 發(fā) 票 開 領(lǐng)書 單無 效 書 單 學(xué) 生1 2各 班 學(xué) 生用 書 表舉 例 ：學(xué) 生 教 材 存 量 表 107 數(shù) 據(jù) 存 儲 條 目 說 明 舉 例文 件 名 :各 班 學(xué) 生 用 書 表別 名 :組 成 ： 系 編 號 專 業(yè) 和 班 編 號 年 級 書 號 組 織 ： 按 系 、 專 業(yè) 和 班 編 號 從 小 到 大 排 列存 取 要 求 :關(guān) 鍵 字 是 專 業(yè) 和 班 編 號 108 數(shù) 據(jù) 項(xiàng) 條 目 (數(shù) 據(jù) 元 素 詞 條 )不 可 再 分 解 的 數(shù) 據(jù) 單 位 ， 包 括 ：F 名

39、 稱F 描 述F 數(shù) 據(jù) 類 型F 長 度 (精 度 )F 取 值 范 圍 及 缺 省 值F 計 量 單 位F 相 關(guān) 數(shù) 據(jù) 元 素 及 數(shù) 據(jù) 結(jié) 構(gòu) 109 數(shù) 據(jù) 項(xiàng) 條 目 說 明 舉 例數(shù) 據(jù) 項(xiàng) 名 :系 編 號別 名 :取 值 ： 2數(shù) 字 2注 釋 : 110 數(shù) 據(jù) 項(xiàng) 條 目 說 明 舉 例數(shù) 據(jù) 項(xiàng) 名 :專 業(yè) 和 班 編 號別 名 :取 值 ： 3數(shù) 字 3注 釋 : 111 數(shù) 據(jù) 項(xiàng) 條 目 說 明 舉 例數(shù) 據(jù) 項(xiàng) 名 :年 級別 名 :取 值 及 含 義 : freshmen, 一 年 級 sophomore,二 年 級 junjor, 三 年 級 seni

40、or, 四 年 級注 釋 :F,M,J,S可 分 別 用 1,2,3,4代 替 112 數(shù) 據(jù) 項(xiàng) 條 目 說 明 舉 例數(shù) 據(jù) 項(xiàng) 名 :書 號別 名 :取 值 : 字 母 數(shù) 字 注 釋 : 113 DD數(shù) 據(jù) 流 條 目 說 明 舉 例 圖 號 DF01-10 /*有 效 購 書 單 */DF01-10 = 學(xué) 號 姓 名 書 號 數(shù) 量 114 數(shù) 據(jù) 流 條 目 說 明 舉 例姓 名成 績 科 目 單 科 成 績DB SE CAD平 均成 績 總分 名次李 曉 75 80 85 80 240 15各 科 成 績 一 覽 表 教 務(wù) 處4.3 各 科 成 績 一 覽 表 115結(jié) 構(gòu)

41、化 語 言 的 特 點(diǎn) ：無 確 定 語 法 ；可 分 層 、 嵌 套 ；各 層 有 內(nèi) 、 外 層 之 分 。 結(jié) 構(gòu) 化 語 言介 于 自 然 語 言 和 形 式 語 言之 間 的 語 言 116 結(jié)構(gòu)化語言的原則 F力 求 精 確 ， 避 免 二 義 性F盡 可 能 簡 單F動 詞 要 有 確 切 含 義 ， 與 DFD中 加 工 命 名 相 配 合F名 詞 要 用 DD中 定 義 的 名 詞F不 用 副 詞 、 形 容 詞 117 三 . 結(jié) 構(gòu) 化 分 析 實(shí) 施 步 驟1. 確 定 系 統(tǒng) 邊 界 , 畫 出 系 統(tǒng) 環(huán) 境 圖2. 自 頂 向 下 ， 畫 出 各 層 數(shù) 據(jù) 流

42、圖3. 定 義 數(shù) 據(jù) 字 典4. 定 義 小 說 明 118購 書 單 缺 書 單銷 售 采 購1 2 第 二 層 DFD( 層 ) 教 材 購 銷 系 統(tǒng) 教 材 存 量 表學(xué)生 F1缺 書 登 記 表F2 書庫保管員進(jìn) 書 通 知教 材 入庫 信 息領(lǐng) 書 單 119 加 工 條 目 (處 理 流 詞 條 ) 加 工 類 條 目 即 數(shù) 據(jù) 處 理 描 述 ， 也 稱 為 小 說 明 。描 述 實(shí) 現(xiàn) 加 工 的 策 略 而 不 是 實(shí) 現(xiàn) 加 工 的 細(xì) 節(jié) 。 小 說 明 可 認(rèn) 為 是 DD的 組 成 部 分 。 也 可 在 DD中 定 義 只 說 明 每 個 加 工 的 組 成

43、(每 個 處 理 分 解 成 多 少 小 處 理 ),而 在 小 說 明 中 詳 細(xì) 描 述 它 的 處 理 邏 輯 .描 述 加 工 的 工 具 ：F 結(jié) 構(gòu) 化 語 言F 判 定 (決 策 )表F 判 定 (決 策 )樹 120 加 工 條 目 (處 理 流 詞 條 ) 在 DD中 定 義 說 明 每 個 加 工 的 組 成 :2.0采 購 = 2.1 按 書 號 匯 總 缺 書 + 2.2 按 出 版 社 統(tǒng) 計 缺 書 + 2.3 修 改 教 材 庫 存 和 待 購 量 教 材 購 銷 系 統(tǒng) 1.0銷 售 +2.0采 購 121 小 說 明 描 述 的 內(nèi) 容(1) 處 理 邏 輯

44、描 述 基 本 加 工 如 何 把 輸 入 數(shù) 據(jù) 流 變 化 為 輸 出數(shù) 據(jù) 流 的 加 工 原 則 ， 不 涉 及 具 體 處 理 方 法 。(2) 執(zhí) 行 條 件(3)輸 入 /輸 出 (4) 優(yōu) 先 級(5) 執(zhí) 行 頻 率 (6) 出 錯 處 理 對 策小 說 明 (加 工 說 明 )描 述 一 個 加 工 “ 做 什 么 ?即 加 工 邏 輯 。 122 小 說 明 舉 例加 工 名 : 分 類 采 購 (CG111MD)編 號 : 1.1.1加 工 激 活 條 件 : 受 到 圖 書 采 購 員 分 類 采 購 操 作 命 令加 工 邏 輯 : (1) 1.1.1.1 預(yù) 定

45、圖 書 (2) 1.1.1.2 外 采 圖 書 (3) 1.1.1.3 贈 送 圖 書 執(zhí) 行 頻 率 : 隨 時 123 小 說 明 舉 例處 理 名 :月 票 額 統(tǒng) 計 (MHCW713MD)編 號 : 7.1.3激 活 條 件 :收 到 每 日 售 票 額 信 息處 理 邏 輯 :1 統(tǒng) 計 月 保 險 金 總 合 月 保 險 金 信 息 =每 日 日 保 險 金 信 息 之 和 2 統(tǒng) 計 月 合 計 月 合 計 信 息 =每 日 日 合 計 信 息 之 和執(zhí) 行 頻 率 : 1次 /月 124 處 理 名 :核 實(shí) 訂 票 處 理 (MHGP3200MD)編 號 : 3.2激 活

46、條 件 :收 到 取 訂 票 信 息處 理 邏 輯 :1讀 訂 票 旅 客 信 息 文 件 2搜 索 此 文 件 中 是 否 有 與 輸 入 信息 中 姓 名 及 身 份 證 號 相 符 的 項(xiàng) IF 有 THEN 判 斷 余 項(xiàng) 是 否 與 文 件 中信 息 相 符 IF 是 THEN 輸 出 已 訂 票 信息 ELSE 輸 出 未 訂 票 信息 ELSE 輸 出 未 訂 票 信 息執(zhí) 行 頻 率 : 實(shí) 時 125 F1:航 班 信 息 文 件 航 空 公 司 名 稱 航 班 號 起 點(diǎn) 終 點(diǎn) 日 期 起 飛 時 間 降 落 時 間 航 空 公 司 名 稱 2字 母 4 航 班 號 3十

47、 進(jìn) 制 數(shù) 字 3 字 母 “ A” “ Z”十 進(jìn) 制 數(shù) 字 “ 0” “ 9”起 點(diǎn) 終 點(diǎn) 1漢 字 10 起 飛 時 間 降 落 時 間 時 分 時 “ 00” “ 23” 分 “ 00” “ 59” 日 期 年 月 日 年 2000 2001 2002 2004 月 “ 01” “ 12” 日 “ 01” “ 31” 126 判 定 表 (決 策 表 )F描 述 多 條 件 、 多 目 標(biāo) 動 作 的F形 式 化 工 具F判 定 表 結(jié) 構(gòu) ：F 條 件 類 別 條 件 組 合F 操 作 操 作 執(zhí) 行 127 判 定 表 舉 例 (計 算 機(jī) 票 折 扣 率 )旅 游 時 間訂

48、 票 量折 扣 量 7 9， 12月 1 6,10,11月 20 20 20 20 15% 5% 20% 30%條 件 類 別 四 種 條 件 組 合操 作 條 件 組 合 下 操 作 的 執(zhí) 行 128 處 理 名 :計 算 折 扣 率 (MHGP534MD)編 號 : 5.3.4激 活 條 件 :收 到 預(yù) 訂 票 信 息處 理 邏 輯 :計 算 折 扣 率執(zhí) 行 頻 率 : 實(shí) 時旅 游 時 間訂 票 量折 扣 量 7 9， 12月 1 6,10,11月 20 20 20 20 15% 5% 20% 30% 129 判 定 樹 (Decision 決 策 樹 ) 條 件 1 條 件 2

49、結(jié) 果計 7 9, 訂 票 量 20: 15%算 12月 訂 票 量 20: 5%折扣 1 6, 訂 票 量 20: 30%量 10,11月 訂 票 量 20: 5% 130 數(shù) 據(jù) 流 和 控 制 流 舉 例 （ 使 用 Ward和 mellor符 號 ）監(jiān) 控 固 件和操 作 接 口每 個 固 件 狀 態(tài) 動 作警 告機(jī) 器 人初 始 化控 制操 作 命 令部 件 狀 態(tài) 緩 沖 器 位 置命 令開 始 /停 止 處 理機(jī) 器 人命 令機(jī) 器 人 命 令 文 件操 作設(shè) 置 處 理 活 動記 錄 機(jī) 器人 動 作位 串 131 數(shù) 據(jù) 和 控 制 模 型 的 關(guān) 系 132 DFD和 CF

50、D例 子 -DFD信 號半 分 鐘 數(shù) 據(jù)光 電管 采 集 計 數(shù)傳 送工 控機(jī)處 理 實(shí) 時數(shù) 據(jù)顯 示班 數(shù)據(jù)處 理半 小 時 數(shù) 據(jù) 班 數(shù) 據(jù) 133翻 屏 人 工 驅(qū) 動 信 息時 鐘 半 小 時半 分 鐘 某 型 號 累 加物 品 經(jīng) 過 信 號半 分 鐘 數(shù) 據(jù)光 電 管采 集 計 數(shù)傳 送工 控 機(jī)處 理 實(shí) 時 數(shù)據(jù) 顯 示班 數(shù) 據(jù)處 理半 小 時 數(shù) 據(jù) 班 數(shù) 據(jù)DFD和 CFD例 子 -CFD 134狀 態(tài) 轉(zhuǎn) 換 圖 (簡 稱 為 狀 態(tài) 圖 )通 過 描 繪 系統(tǒng) 的 狀 態(tài) 及 引 起 系 統(tǒng) 狀 態(tài) 轉(zhuǎn) 換 的 事 件 ，來 表 示 系 統(tǒng) 的 行 為 模 型

51、 。 狀 態(tài) 轉(zhuǎn) （ 遷 移 ） 換 圖State Transition Diagr 135 n狀 態(tài) 是 任 何 可 以 被 觀 察 到 的 系 統(tǒng) 行 為 模 式， 一 個 狀 態(tài) 代 表 系 統(tǒng) 的 一 種 行 為 模 式 。 狀 態(tài)規(guī) 定 了 系 統(tǒng) 對 事 件 的 響 應(yīng) 方 式 。n在 狀 態(tài) 圖 中 定 義 的 狀 態(tài) 主 要 有 ： 初 態(tài) (即 初始 狀 態(tài) )、 終 態(tài) (即 最 終 狀 態(tài) )和 中 間 狀 態(tài) 。在 一 張 狀 態(tài) 圖 中 只 能 有 一 個 初 態(tài) ， 而 終 態(tài) 則可 以 有 0至 多 個 。 狀 態(tài) 136 n事 件 是 對 引 起 系 統(tǒng) 做 動

52、 作 或 (和 )從 一 個 狀態(tài) 轉(zhuǎn) 換 到 另 一 個 狀 態(tài) 的 外 界 事 件 的 抽 象 。n簡 而 言 之 ， 事 件 就 是 引 起 系 統(tǒng) 做 動 作 或 (和)轉(zhuǎn) 換 狀 態(tài) 的 控 制 信 息 。事 件 137 符 號 138 用 例 圖n 用 例 ： 系 統(tǒng) 和 外 部 角 色 的 交 互n 符 號 表 示 ： 系 統(tǒng) 名稱 系 統(tǒng) 用 例 名用 例 角 色 關(guān) 聯(lián) 139 Use Case圖 例 子保 險 商 務(wù) 系 統(tǒng)簽 定 保 險單銷 售 統(tǒng) 計客 戶 統(tǒng) 計客 戶 保 險 銷 售 員 140 用 例 之 間 的 關(guān) 系n 擴(kuò) 展 關(guān) 系n 使 用 關(guān) 系 擴(kuò) 展

53、簽 保 險 單簽 汽 車 購 買 契 約 使 用 使 用 簽 保 險 單簽 汽 車 保 險 單 簽 房 屋 保 險 單 141 對 象 狀 態(tài) 轉(zhuǎn) 換 圖 例 子 加 紙紙 用 完 故 障 修 復(fù)打 印 故 障打 印 完 成接 到 打 印 命 令就 緒 打 印缺 紙 故 障 142 面 向 對 象 分 析 方 法F基 本 步 驟n定 義 系 統(tǒng) 的 用 例n領(lǐng) 域 分 析 ， 建 立 類 對 象 模 型n建 立 對 象 -關(guān) 系 模 型n建 立 對 象 -行 為 模 型n編 寫 SRS 143 四 、 需 求 驗(yàn) 證(1) 正 確 性(2) 無 二 義 性(3) 完 整 性(4) 可 驗(yàn) 證

54、性(5) 一 致 性(6) 可 理 解 性(7) 可 修 改 性(8) 可 被 跟 蹤 性(9) 可 跟 蹤 性(10)設(shè) 計 無 關(guān) 性(11)注 釋 144 需 求 工 程 研 究 新 進(jìn) 展 需 求 工 程 研 究 進(jìn) 展 可 歸 結(jié) 為 需 求 工 程 的對 象 化 、 形 式 化 和 自 動 化 三 個 主 要 方 面 。 實(shí) 施 需 求 分 析 的 工 程 成 為 需 求 工 程 。非 形 式 化的 需 求 陳 述 完 整 的需 求 定 義 功 能 規(guī) 約需 求 分 析 的 主 要 難 點(diǎn)F問 題 的 復(fù) 雜 性F交 流 障 礙F不 完 備 性 和 不 一 致 性 F需 求 易 變

55、 性 145 解 決 途 徑(1)需 求 模 型 及 語 言 ： 功 能 分 解 模 型 OO模 型 單 一 表 示 模 式 多 視 點(diǎn) 非 形 式 化 方 法 形 式 化 方 法(2)CASE技 術(shù) 及 工 具 ： 集 成 化 零 散 的 機(jī) 器 支 撐 環(huán) 境 構(gòu) 件 化 自 動 化最 終 目 標(biāo) 實(shí) 現(xiàn) 軟 件 生 產(chǎn) 的 全 自 動 化 146 五 . 需 求 規(guī) 格 說 明 書 (SRS) (Software Requirement Specification)SRS的 作 用 ：F便 于 用 戶 、 分 析 人 員 、 設(shè) 計 人 員 進(jìn) 行 交 流F開 發(fā) 者 與 用 戶 間 事

56、 實(shí) 上 的 技 術(shù) 合 同 書 ,支 持 目標(biāo) 軟 件 系 統(tǒng) 的 確 認(rèn)F開 發(fā) 者 下 一 步 設(shè) 計 和 編 碼 的 基 礎(chǔ)F控 制 系 統(tǒng) 進(jìn) 化 過 程 （ 追 加 需 求 ）F測 試 驗(yàn) 收 目 標(biāo) 系 統(tǒng) 的 依 據(jù) 147 n 引 言n 信 息 描 述n 功 能 描 述n 行 為 描 述n 質(zhì) 量 保 證n 接 口 描 述n 其 它五 . 需 求 規(guī) 格 說 明 書 (SRS) 148 SRS大綱 1 前 言 1.1 目 的 1.2 范 圍 1.3 定 義 、 縮 寫 詞 、 略 語 1.4 參 考 資 料2 任 務(wù) 概 述 (項(xiàng) 目 概 述 ) 2.1 產(chǎn) 品 描 述 2.

57、2 產(chǎn) 品 功 能 2.3 用 戶 特 點(diǎn) 149 SRS大 綱 (續(xù) ） 2.4 一 般 約 束 2.5 假 設(shè) 和 依 據(jù)3 具 體 需 求 3.1數(shù) 據(jù) 描 述 (DFD、 DD) 3.2功 能 描 述 3.3接 口 3.4 性 能 需 求 3.5 屬 性 3.6 其 它 需 求 150 n需 求 分 析 階 段 的 工 作 結(jié) 果 是 開 發(fā) 軟 件 系 統(tǒng)的 重 要 基 礎(chǔ) ， 大 量 統(tǒng) 計 數(shù) 字 表 明 ， 軟 件 系 統(tǒng)中 15%的 錯 誤 起 源 于 錯 誤 的 需 求 。n一 旦 對 目 標(biāo) 系 統(tǒng) 提 出 一 組 要 求 之 后 ， 必 須嚴(yán) 格 驗(yàn) 證 這 些 需 求

58、 的 正 確 性 。驗(yàn) 證 軟 件 需 求從 哪 些 方 面 驗(yàn) 證 軟 件 需 求 的 正 確 性 151 F一 般 說 來 ， 應(yīng) 該 從 下 述 4個 方 面 進(jìn) 行 驗(yàn) 證 ： (1) 一 致 性 。 所 有 需 求 必 須 是 一 致 的 ， 任 何 一條 需 求 不 能 和 其 他 需 求 互 相 矛 盾 。 (2) 完 整 性 。 需 求 必 須 是 完 整 的 ， 規(guī) 格 說 明 書應(yīng) 該 包 括 用 戶 需 要 的 每 一 個 功 能 或 性 能 。 (3) 現(xiàn) 實(shí) 性 。 指 定 的 需 求 應(yīng) 該 是 用 現(xiàn) 有 的 硬 件技 術(shù) 和 軟 件 技 術(shù) 基 本 上 可 以

59、實(shí) 現(xiàn) 的 。 (4) 有 效 性 。 必 須 證 明 需 求 是 正 確 有 效 的 ， 確實(shí) 能 解 決 用 戶 面 對 的 問 題 。 152 n傳 統(tǒng) 軟 件 工 程 方 法 學(xué) 使 用 結(jié) 構(gòu) 化 分 析 技 術(shù) ，完 成 分 析 用 戶 需 求 的 工 作 。n需 求 分 析 是 發(fā) 現(xiàn) 、 求 精 、 建 模 、 規(guī) 格 說 明 和復(fù) 審 的 過 程 。n從 數(shù) 據(jù) 流 圖 出 發(fā) ， 在 用 戶 的 協(xié) 助 下 面 向 數(shù) 據(jù)流 自 頂 向 下 逐 步 求 精 ， 是 與 用 戶 溝 通 獲 取 需求 的 一 個 有 效 的 方 法 。小 結(jié) 153 n除 了 創(chuàng) 建 分 析

60、模 型 之 外 ， 在 需 求 分 析 階 段還 應(yīng) 該 寫 出 軟 件 需 求 規(guī) 格 說 明 書 ， 經(jīng) 過 嚴(yán) 格評 審 并 得 到 用 戶 確 認(rèn) 之 后 ， 作 為 這 個 階 段 的最 終 成 果 。n使 用 實(shí) 體 -聯(lián) 系 圖 建 立 數(shù) 據(jù) 模 型 ， 使 用 數(shù) 據(jù)流 圖 建 立 功 能 模 型 ， 使 用 狀 態(tài) 圖 建 立 行 為 模型 。 154 n數(shù) 據(jù) 字 典 描 述 在 數(shù) 據(jù) 模 型 、 功 能 模 型 和 行 為模 型 中 出 現(xiàn) 的 數(shù) 據(jù) 對 象 及 控 制 信 息 的 特 性 ，給 出 它 們 的 準(zhǔn) 確 定 義 。 因 此 ， 數(shù) 據(jù) 字 典 成 為把 3種 分 析 模 型 粘 合 在 一 起 的 “ 粘 合 劑 ” ， 是分 析 模 型 的 “ 核 心 ” 。n算 法 也 是 重 要 的 ， 分 析 的 基 本 目 的 是 確 定 系統(tǒng) 必 須 做 什 么 。 任 何 一 個 計 算 機(jī) 系 統(tǒng) 的 基 本功 能 都 是 把 輸 入 數(shù) 據(jù) 轉(zhuǎn) 變 成 輸 出 信 息 ， 算 法定 義 了 轉(zhuǎn) 變 的 規(guī) 則 。 IPO圖 是 描 述 算 法 的 有 效工 具 。 155謝 謝 各 位 ！