




版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報或認(rèn)領(lǐng)
文檔簡介
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ù)員系
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 高校預(yù)算績效管理的技術(shù)創(chuàng)新與應(yīng)用
- 多學(xué)科融合下的經(jīng)管類課程教學(xué)創(chuàng)新探討
- 健康科技前沿:醫(yī)療廢棄物追溯管理的市場分析與策略建議
- 微創(chuàng)外科手術(shù)中麻醉的注意事項與操作技巧
- 幼兒園師德師風(fēng)專項治理自查整改措施
- 2025至2030住宅和商業(yè)泳池警報行業(yè)發(fā)展趨勢分析與未來投資戰(zhàn)略咨詢研究報告
- 2025至2030中國自密實混凝土行業(yè)市場占有率及投資前景評估規(guī)劃報告
- 2025至2030中國自動扶梯行業(yè)深度研究及發(fā)展前景投資評估分析
- 2025至2030中國腺苷受體A3行業(yè)市場占有率及投資前景評估規(guī)劃報告
- 2025至2030中國肩袖加固裝置行業(yè)產(chǎn)業(yè)運行態(tài)勢及投資規(guī)劃深度研究報告
- DB32-T 4001-2025 公共機(jī)構(gòu)能耗定額及計算方法
- 中醫(yī)護(hù)理技術(shù)創(chuàng)新思維
- CJ/T 189-2007鋼絲網(wǎng)骨架塑料(聚乙烯)復(fù)合管材及管件
- 外派干部考核管理制度
- 公司網(wǎng)絡(luò)規(guī)劃設(shè)計方案
- 04 天津卷 (2024-2020) 近五年高考英語真題滿分作文匯編
- 公司監(jiān)事轉(zhuǎn)讓協(xié)議書
- 屋面防水改造項目施工組織設(shè)計
- 2025年電子信息工程專業(yè)綜合能力考試卷及答案
- 2025年度6深圳中考數(shù)學(xué)考點、知識點的總結(jié)模版
- 監(jiān)事簽訂勞動合同協(xié)議
評論
0/150
提交評論