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

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

2、機(jī)說(shuō)明自動(dòng)化圖書(shū)館流通系統(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)點(diǎn)？面向?qū)ο蠓椒▽W(xué)，是盡可能模擬人類(lèi)習(xí)慣的思維方式，使開(kāi)發(fā)軟件的方法和過(guò)程盡可能接近人類(lèi)認(rèn)識(shí)世界解決問(wèn)題的方法和過(guò)程，從而使得實(shí)現(xiàn)解法的解空間（也稱(chēng)為求解域）與描述問(wèn)題的問(wèn)題空間（也稱(chēng)為問(wèn)題域）在結(jié)構(gòu)上盡可能一致。優(yōu)點(diǎn)：1. 與人類(lèi)習(xí)慣的思維方法一致；2. 穩(wěn)定性好；3. 可重用性好；4. 較易開(kāi)發(fā)大型軟件產(chǎn)品；5. 可維護(hù)性好10建立訂貨系統(tǒng)的用例模型。分析如下：從對(duì)這個(gè)訂貨系統(tǒng)的需求可以知道，倉(cāng)庫(kù)管理員通過(guò)

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

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

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