軟件工程課后習(xí)題答案

1、軟件工程課后習(xí)題答案習(xí)題1 略。習(xí)題2 略。習(xí)題3 略。習(xí)題42在什么情況下應(yīng)該使用形式化說明技術(shù)？使用形式化說明技術(shù)時應(yīng)遵守哪些準(zhǔn)則？人們在理解用自然語言描述的規(guī)格說明時，容易產(chǎn)生二義性。為了克服非形式化方法的缺點，人們把數(shù)學(xué)引入軟件開發(fā)工程，創(chuàng)造了基于數(shù)學(xué)的形式化說明技術(shù)。應(yīng)用形式化方法的準(zhǔn)則：（1）應(yīng)該選用釋放的表示方法；（2）應(yīng)該形式化，但不要過分形式化；（3）應(yīng)該估算成本；（4）應(yīng)該有形式化方法顧問隨時提供咨詢；（5）不應(yīng)該放棄傳統(tǒng)的開發(fā)方法；（6）應(yīng)該建立詳盡的文檔；（7）不應(yīng)該放棄質(zhì)量標(biāo)準(zhǔn)；（8）不應(yīng)該盲目依賴形式化方法；（9）應(yīng)該測試、測試再測試；（10）應(yīng)該重用。4用有窮狀態(tài)

2、機(jī)說明自動化圖書館流通系統(tǒng)CCRC+A=預(yù)借態(tài)初態(tài)按作者查找借閱態(tài)按標(biāo)題查找加入集合刪除歸還T=H習(xí)題5 略。習(xí)題6 略。習(xí)題7 略。習(xí)題8 略。習(xí)題91什么是面向?qū)ο蠓椒▽W(xué)？它有哪些優(yōu)點？面向?qū)ο蠓椒▽W(xué)，是盡可能模擬人類習(xí)慣的思維方式，使開發(fā)軟件的方法和過程盡可能接近人類認(rèn)識世界解決問題的方法和過程，從而使得實現(xiàn)解法的解空間（也稱為求解域）與描述問題的問題空間（也稱為問題域）在結(jié)構(gòu)上盡可能一致。優(yōu)點：1. 與人類習(xí)慣的思維方法一致；2. 穩(wěn)定性好；3. 可重用性好；4. 較易開發(fā)大型軟件產(chǎn)品；5. 可維護(hù)性好10建立訂貨系統(tǒng)的用例模型。分析如下：從對這個訂貨系統(tǒng)的需求可以知道，倉庫管理員通過

3、放在倉庫中的終端把零件入庫/出庫市事務(wù)報告給訂貨系統(tǒng)，系統(tǒng)接受到事務(wù)信息之后應(yīng)該處理事務(wù)；采購員需要使用訂貨系統(tǒng)提供的產(chǎn)生報表功能，以獲取訂貨報表。綜上所述，用例如下：習(xí)題101 用面向?qū)ο蠓椒ǚ治鲅芯勘緯?xí)題2第2題中描述的儲蓄系統(tǒng)，試建立它的對象模型、動態(tài)模型和功能模型。對象模型參考：以上還需將關(guān)聯(lián)關(guān)系說明補全。動態(tài)模型參考：（1） 腳本正常情況腳本：l 儲戶有存款要求，填寫存款單，包含儲戶個人信息，存款金額和存款類型；l 業(yè)務(wù)員查收存款，審核存款與存款單存款金額吻合；l 存款單生效；l 儲戶有取款要求，填寫取款單，包含個人賬號、密碼（待定）和存款金額；l 業(yè)務(wù)員審核存款，驗證儲戶身份，確

4、定儲戶存款金額 > = 取款金額；l 審核通過，取款單生效；l 系統(tǒng)打印利息清單，業(yè)務(wù)員把本金和利息返回儲戶。異常情況腳本：l 儲戶有存款要求，填寫存款單，包含儲戶個人信息，存款金額和存款類型；l 業(yè)務(wù)員查收存款，審核存款與存款單存款金額不符；l 存款單作廢；l 儲戶有取款要求，填寫取款單，包含個人賬號、密碼（待定）和存款金額；l 業(yè)務(wù)員審核存款，驗證儲戶身份，發(fā)現(xiàn)儲戶存款金額 < = 取款金額；l 取款單作廢；（2） 事件跟蹤圖儲戶存款單/取款單業(yè)務(wù)員系統(tǒng)數(shù)據(jù)庫填寫存款單審核錄入存款生效填寫取款單審核錄入取款生效，返還本金和利息打印利息清單 功能模型參考：儲蓄系統(tǒng)數(shù)據(jù)庫流圖去掉“

5、打印利息清單加工”與“儲戶”之間的“利息清單”存儲。習(xí)題 115 試用面向?qū)ο蠓椒?，設(shè)計本書習(xí)題2第2題中描述的儲蓄系統(tǒng)。同習(xí)題10-12 用面向?qū)ο蠓椒ǚ治鲅芯勘緯?xí)題2第2題中描述的儲蓄系統(tǒng)，試建立它的對象模型、動態(tài)模型和功能模型。對象模型參考：以上還需將關(guān)聯(lián)關(guān)系說明補全。動態(tài)模型參考：（3） 腳本正常情況腳本：l 儲戶有存款要求，填寫存款單，包含儲戶個人信息，存款金額和存款類型；l 業(yè)務(wù)員查收存款，審核存款與存款單存款金額吻合；l 存款單生效；l 儲戶有取款要求，填寫取款單，包含個人賬號、密碼（待定）和存款金額；l 業(yè)務(wù)員審核存款，驗證儲戶身份，確定儲戶存款金額 > = 取款金額；l 審核通過，取款單生效；l 系統(tǒng)打印利息清單，業(yè)務(wù)員把本金和利息返回儲戶。異常情況腳本：l 儲戶有存款要求，填寫存款單，包含儲戶個人信息，存款金額和存款類型；l 業(yè)務(wù)員查收存款，審核存款與存款單存款金額不符；l 存款單作廢；l 儲戶有取款要求，填寫取款單，包含個人賬號、密碼（待定）和存款金額；l 業(yè)務(wù)員審核存款，驗證儲戶身份，發(fā)現(xiàn)儲戶存款金額 < = 取款金額；l 取款單作廢；（4） 事件跟蹤圖儲戶存款單/取款單業(yè)務(wù)員系