【正文】 的邊界。 軟件工程 106 狀態(tài)遷移圖 ? 狀態(tài)遷移圖是描述系統(tǒng)的狀態(tài)如何相應(yīng)外部的信號進(jìn)行推移的一種圖形表示。 S2 S1 S3 t1 t2 t3 t4 t4 t3 t2 t1 事件 狀態(tài) S1 S2 S3 S3 S2 S3 S1 軟件工程 108 Petri網(wǎng) ? Petri網(wǎng)已廣泛地應(yīng)用于硬件與軟件系統(tǒng)的開發(fā)中，它適用于描述相互獨立、協(xié)同操作的處理系統(tǒng)，也就是并發(fā)執(zhí)行的處理系統(tǒng)。 軟件工程 109 ? 令牌 (token)，是表明系統(tǒng)當(dāng)前處于什么狀態(tài)的標(biāo)志。 1) 數(shù)據(jù)流詞條描述 ? 數(shù)據(jù)流名： ? 說明：簡要介紹它產(chǎn)生的原因和結(jié)果 軟件工程 113 ? 數(shù)據(jù)流來源：來自何方 ? 數(shù)據(jù)流去向：去向何處 ? 數(shù)據(jù)流組成：數(shù)據(jù)結(jié)構(gòu) ? 數(shù)據(jù)量流通量：數(shù)據(jù)量，流通量 2) 數(shù)據(jù)元素詞條描述 ? 類型：數(shù)字 (離散值，連續(xù)值 )，文字 (編碼類型 )長度 ? 取值范圍 ? 相關(guān)的數(shù)據(jù)元素及數(shù)據(jù)結(jié)構(gòu) 3) 數(shù)據(jù)文件詞條描述 軟件工程 114 ? 數(shù)據(jù)文件名： ? 簡述：存放的是什么數(shù)據(jù) ? 輸入／輸出數(shù)據(jù)： ? 數(shù)據(jù)文件組成：數(shù)據(jù)結(jié)構(gòu) ? 存儲方式：順序，直接，關(guān)鍵碼 ? 存取頻率： 4) 加工邏輯詞條描述 ? 加工名： ? 加工編號：反映該加工的層次 ? 簡要描述：加工邏輯及功能簡述 軟件工程 115 ? 輸入／輸出數(shù)據(jù)流： ? 加工邏輯：簡述加工程序，加工順序 5) 數(shù)據(jù)源及數(shù)據(jù)譚詞條描述 ? 名稱：外部實體名 ? 簡要描述：什么外部實體 ? 有關(guān)數(shù)據(jù)流： ? 數(shù)目：該實體與系統(tǒng)交互的次數(shù) 軟件工程 116 數(shù)據(jù)結(jié)構(gòu)的描述 符號 含義 舉 例 ＝ 被定義為 ＋ 與 x = a+b [...,...]或 [...|...] 或 x = [a, b], x = [a|b] {... }或 m{...}n 重復(fù) x = {a}, x = 3{a}8 (...) 可選 x = (a) “...” 基本數(shù)據(jù)元素 x = a .. 連結(jié)符 x = 1..9 軟件工程 117 存折＝戶名＋所號＋帳號＋開戶日＋性質(zhì)＋ (印密 ) ＋ 1{ 存取行 }50 戶名＝ 2{ 字母 }24 所號＝ 001..999 帳號＝ 00000001.. 99999999 開戶日＝年＋月＋日 性質(zhì)＝“ 1 ”..“ 6 ”注：“ 1 ”表示普通戶，“ 5 ”表示工資戶等 印密＝“ 0 ”注：印密在存折上不顯示 存取行＝日期＋（摘要）＋支出＋存入＋余額＋操作＋復(fù)核 軟件工程 118 基本加工邏輯說明 ? 對數(shù)據(jù)流圖的每一個基本加工，必須有一個 基本加工邏輯說明 。用以消除在語法上的歧義性。 軟件工程 120 ? 語言的 正文用基本控制結(jié)構(gòu)進(jìn)行分割 ，加工中的 操作用自然語言短語來表示 。 軟件工程 123 以 “檢查發(fā)貨單” 為例 操 在償還欠款前不予批準(zhǔn) ? 作 發(fā)出批準(zhǔn)書 ? ? ? 發(fā)出發(fā)貨單 ? ? ? 發(fā)出賒欠報告 ? 1 2 3 4 條 發(fā)貨單金額 $500 $500 ≤ $500 ≤ $500 件 賒欠情況 60天 ≤60天 60天 ≤60天 軟件工程 124 判定樹 檢 查 發(fā) 貨 單 金額 $500 金額 ?$500 欠款 60天 不發(fā)出批準(zhǔn)書 欠款 ?60天 發(fā)貨單 發(fā)出批準(zhǔn)書、 欠款 60天 發(fā)出批準(zhǔn)書、 發(fā)貨單及賒欠報告 欠款 ?60天 發(fā)出批準(zhǔn)書、 發(fā)貨單 ? 判定樹也是用來表達(dá)加工邏輯的一種工具。據(jù)此可導(dǎo)出分析對象模型和動態(tài)模型。 ? 實體對象 表示系統(tǒng)將跟蹤的持久信息； 邊界對象 表示參與者與系統(tǒng)之間的交互（接口）； 控制對象 負(fù)責(zé)用例的實現(xiàn) 。 語言成分 模型成分 示例 專有名詞 實例 李未 普通名詞 類 院士 Doing動詞 操作 創(chuàng)建、提交、選擇 Being動詞 繼承 是 … 的一種，是 … 中的一個 Having動詞 聚合 有 … ，由 … 組成，包括 … 情態(tài)動詞 約束 必須是 形容詞 屬性 事件描述 軟件工程 130 ? 自然語言分析法主要關(guān)注用戶術(shù)語。他們可以借閱、返還、預(yù)約和取消預(yù)約。 ③ Book：圖書。 ⑤ Reservation：預(yù)約記錄。有添加讀者、修改讀者、刪除讀者等操作。有添加書目、修改書目、刪除書目等操作。根據(jù)書目的 ISBN號碼和讀者信息，執(zhí)行借閱動作，創(chuàng)建和保存借閱記錄。 ⑨ MessageWindow：顯示提示信息窗口。 ? 順序圖第三欄是管理用例中其他參與對象的控制對象 。 ? 實體對象不能訪問邊界對象和控制對象 。 ② 將職責(zé)分配到類 ：記錄在相應(yīng)的卡片上。不同的場景，包括例外和出錯狀況，都應(yīng)逐一加以模擬。 軟件工程 139 6) 識別關(guān)系（結(jié)構(gòu)） ? 使用類圖，能夠表示對象之間的關(guān)系。每一個包就是一個主題。 Book Borrower Reservation Title Loan Persistent (from DataBase) 1 1 0..1 * 0.. * 0.. * 0.. * 0.. * 1 1 軟件工程 143 d) 建立邊界類與實體類之間關(guān)系的類圖 Book (from Library) 1 1 0..1 * 0.. * 1 Title (from Library) Loan (from Library) Borrower (from Library) Reservation (from Library) BorrowDialog (from GUI) ReturnDialog (from GUI) 軟件工程 144 Book (from Library) 1 1 0..1 * 0.. * 1 Title (from Library) Loan (from Library) Borrower (from Library) Reservation (from Library) TitleDialog (from GUI) findTDialog (from GUI) 0.. * 0.. * 1 0.. * 軟件工程 145 7) 標(biāo)識屬性 ? 對象所保存的信息稱為它的屬性。 軟件工程 146 8) 表示類的服務(wù) ? 對每個類的增加、修改、刪除、選擇等服務(wù) 有時是隱含的 ，在圖中不標(biāo)出，但實現(xiàn)類和對象時有定義。方法： ① 找出每一對象在其生存周期中的所有狀態(tài)。 ? 可以容易地確定 系統(tǒng)的性能 ，確認(rèn) 各項主要系統(tǒng)服務(wù)的可應(yīng)用性 ，確認(rèn)系統(tǒng)設(shè)計的可行性，確認(rèn)系統(tǒng)作為產(chǎn)品的結(jié)果。 2) 實驗型 ： 這種原型用于大規(guī)模開發(fā)和實現(xiàn)之前，考核方案是否合適，規(guī)格說明是否可靠。通過評估后，原型被拋棄，重新規(guī)劃和實施系統(tǒng)的開發(fā)。 (4) 系統(tǒng)規(guī)格說明必須是一個認(rèn)識的模型（讓用戶理解），而不是設(shè)計或?qū)崿F(xiàn)的模型。 需求規(guī)格說明的原則 軟件工程 154 1. 完整性： 不能遺漏任何必要的需求信息。為此，要求最終產(chǎn)品的每一個特性都需使用某一確定的術(shù)語描述。 軟件工程 156 5. 可修改性 ? 在內(nèi)容組織上，需求規(guī)格說明應(yīng)有目錄表、索引和相互參照表，各個章節(jié)盡可能獨立，以減少修改的波及面，使得修改局部化。 ? 保持項目計劃與需求一致。 軟件工程 158 需求管理的主要活動 需求管理 需求跟蹤 ? 定義對其 他需求的 跟蹤鏈 ? 定義對其 他系統(tǒng)需 求的跟蹤 鏈 版本控制 ? 確定需求 文檔版本 ? 確定單個 需求文檔 版本 需求狀態(tài)跟蹤 ? 定義需求狀 態(tài) ? 跟蹤需求的 每一狀態(tài) 變更控制 ? 建議變更 ? 分析影響 ? 做出決策 ? 交流 ? 合并 ? 測量需求 的穩(wěn)定性 軟件工程 159 需求的變更控制 ? 對于很多軟件項目來說，需求變更是合理的，而且是不可避免的。 (2) 對于未獲批準(zhǔn)的變更，除可行性論證之外，不應(yīng)再做其他設(shè)計和實現(xiàn)工作。 (6) 每一個集成的需求變更必須必須能跟蹤到一個經(jīng)核準(zhǔn)的變更請求。一旦變更控制委員會做出決策，應(yīng)及時更新變更數(shù)據(jù)庫中請求的狀態(tài)，通知所有相關(guān)人員，保證他們能充分處理變更。 軟件工程 163 ? 版本控制是為了管理軟件需求規(guī)格說明文檔。當(dāng)軟件開發(fā)組接受了重要的需求變更時，要與管理部門和客戶重新協(xié)商約定。對每個變更權(quán)衡利弊后做出決定。 (4) 項目風(fēng)險承擔(dān)者應(yīng)該能夠了解變更數(shù)據(jù)庫的內(nèi)容。所以，必須嚴(yán)格控制需求的變更。 ? 管理需求和跟蹤鏈之間的聯(lián)系或管理單個需求和其他項目可交付物之間的依賴關(guān)系。 6. 可追蹤性 1) 向后追蹤 ：即向產(chǎn)生軟件需求規(guī)格說明的前一階段追蹤 2) 向前追蹤 ：即向由軟件需求規(guī)格說明所派生的所有后續(xù)文檔追蹤 軟件工程 157 需求管理 ? 需求管理的目的是在客戶與開發(fā)方之間建立對需求的共同理解，維護(hù)需求與其他工作成果的一致性，并控制需求的變更。在設(shè)計和實現(xiàn)之前必須解決所有需求間的不一致部分。在開始設(shè)計和實現(xiàn)之前，必須解決需求中所有的“待定”項。 (6) 規(guī)格說明必須容許不完備性并允許擴充。 (2) 如果目標(biāo)軟 件只是一個大系統(tǒng)中的一個元素，那么整個大系統(tǒng)也要描述。 原型分類 軟件工程 150 原型使用策略 ? 軟件原型支持需求工程的兩項活動： ? 需求獲取 ? 需求有效性驗證 ? 其他用途： ? 用戶培訓(xùn) ? 系統(tǒng)測試 ? 原型開發(fā)主要分類： ? 進(jìn)化式原型開發(fā) ? 拋棄式原型開發(fā) 軟件工程 151 1）進(jìn)化式原型開發(fā) ? 基本思路是：先給出一個系統(tǒng)的最初實現(xiàn)，讓用戶去使用和評價，不斷進(jìn)行細(xì)化和改善，經(jīng)過多次這樣的反復(fù)過程后形成最終的完善的系統(tǒng)。 快速原型化方法 軟件工程 149 1) 探索型 ： 目的是要弄清對目標(biāo)系統(tǒng)的要求，確定所希望的特性，并探討多種方案的可行性。 ② 使用順序圖，標(biāo)識和描述對象之間的相互通信 軟件工程 147 Scenario 敘述 劉備 孔明 關(guān) 羽 求戰(zhàn) 請擬 策略 張飛 請防守 荊州 請 防守 荊州 前線 孫權(quán) 曹操 請聯(lián)絡(luò)孫權(quán) 請孫權(quán)領(lǐng)兵相助 借 東風(fēng) 火攻 火攻 曹軍 軟件工程 148 ? 這是一種有效駕馭風(fēng)險的技術(shù)。 ① 首先標(biāo)識在每個類中封裝的服務(wù) 。 ? 標(biāo)識屬性的啟發(fā)性準(zhǔn)則如下： ? 每個對象至少需包含一個屬性；例如： id ? 屬性取值必需適合對象類的所有實例； ? 系統(tǒng)的所有存儲數(shù)據(jù)必須定義為屬性； ? 對象的導(dǎo)出屬性應(yīng)當(dāng)略去。 Library GUI DataBase 軟件工程 141 b) 建立邊界類的類圖 ? 標(biāo)明類之間的關(guān)系，包括關(guān)聯(lián)、泛化等。標(biāo)識關(guān)聯(lián)的啟發(fā)式準(zhǔn)則如下： ? 檢查指示狀態(tài)的動詞或動詞短語；識別動作的主體和客體。 ? 在模擬不同的場景中會發(fā)現(xiàn)某些職責(zé)需要重新加以分配。 軟件工程 137 職責(zé) 顯示歡迎詞 密碼驗證器 接收磁卡 菜單選擇器 讓密碼驗證器檢驗 啟動菜單選擇器 退出磁卡 類名 讀卡機 協(xié)作