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