【正文】 某倉庫管理系統(tǒng)按以下步驟進行信息處理，畫數(shù)據(jù)流圖 （ 1）保管員根據(jù)當(dāng)日的出庫單和入庫單，通過入庫處理修改庫存臺帳 （ 2）根據(jù)庫存臺帳，制作各種日報表 （ 3）根據(jù)庫存臺帳可查詢所需結(jié)果 。 ②顯示帖子內(nèi)容：讀出文件，按一定格式顯示在屏幕上。請用判定表和判定樹表示各條件組合與費用之間的關(guān)系。 要求：寫出在數(shù)據(jù)詞典中，電話號碼的數(shù)據(jù)詞條的定義及組成。局號可以是 455,466,888， 552中任意一個號碼。區(qū)號是從 100到 300中任意的數(shù)字串。外線號碼先撥 9，然后是市話號碼或長話號碼。 某旅館的電話服務(wù)如下： 可以撥分機號和外線號碼。如果天氣要下雨，出門時帶上雨傘；如果天氣變冷，出門時要穿上大衣。試對此項目進行成本效益分析，以決定其經(jīng)濟可行性。它規(guī)定了 ? 應(yīng)如何提交一個需求變更請求？ ? 如何分析需求變更對范圍、進度和成本的影響？ ? 如何批準(zhǔn)或駁回需求變更？ ? 如果批準(zhǔn)了變更，改變更如何實現(xiàn)？ 軟件工程 作業(yè)： 設(shè)計一個軟件的開發(fā)成本為 5萬年，壽命為 3年。審查的內(nèi)容包括： 1) 系統(tǒng)定義的目標(biāo)是否與用戶的要求一致； 2) 需求分析階段提供的文檔資料是否齊全； 3) 文檔中的所有描述是否完整 、 清晰 、 準(zhǔn)確反映用戶要求； 3. 需求評審 軟件工程 4) 與所有其它系統(tǒng)成分的重要接口是否都已經(jīng)描述； 5) 主要功能是否已包括在規(guī)定的軟件范圍之內(nèi) ， 是否都已充分說明； 6) 軟件的行為和它必須處理的信息 、 必須完成的功能是否一致； 7) 設(shè)計的限制條件是否符合實際； 8) 是否考慮了開發(fā)的技術(shù)風(fēng)險； 9) 是否詳細(xì)制定了檢驗標(biāo)準(zhǔn) ， 它們能否對系統(tǒng)定義是否成功進行確認(rèn)； 軟件工程 4. 需求管理 ? 需求管理就是管理需求變化的過程。 軟件工程 2. 需求規(guī)格說明的內(nèi)容 ? 基于 IEEE 830改寫的規(guī)格說明模板內(nèi)容： a. 引言 目的 文檔約定 預(yù)期的讀者和閱讀建議 產(chǎn)品的范圍 參考文獻 b. 綜合描述 產(chǎn)品的前景 產(chǎn)品的功能 軟件工程 用戶類和特征 運行環(huán)境 設(shè)計和實現(xiàn)的限制 假設(shè)和依賴 c. 外部接口 用戶界面 硬件接口 軟件接口 通信接口 d. 系統(tǒng)特性 說明和優(yōu)先級 軟件工程 激勵／響應(yīng)序列 功能需求 e. 其他非功能需求 性能需求 基本設(shè)施需求 安全性需求 軟件質(zhì)量屬性 業(yè)務(wù)規(guī)則 用戶文檔 f. 其他需求 附錄 A： 詞匯表 軟件工程 附錄 B: 軟件需求分析模型 附錄 C: 待確定的問題 ? 又稱需求驗證。 ⑧ 規(guī)格說明必須局部化和松散的耦合。 ⑥ 規(guī)格說明必須是可操作的。 ④ 規(guī)格說明必須包括系統(tǒng)運行的環(huán)境。 ② 要求使用面向處理的規(guī)格說明語言，從而得到“做什么”的規(guī)格說明。包括 ? 系統(tǒng)應(yīng)提供的功能和服務(wù)； ? 非功能需求； ? 系統(tǒng)開發(fā)或運行的限制條件； ? 與系統(tǒng)互連的其他系統(tǒng)的信息。 軟件工程 需求定義與評審 ? 又稱需求規(guī)格說明或需求規(guī)約。 軟件工程 6）簡化假設(shè) ? 在開發(fā)過程中為使設(shè)計者迅速得到一個簡化的系統(tǒng)，可以預(yù)設(shè)一些使得問題簡化的假設(shè)。 4）專用語言 軟件工程 5）軟件復(fù)用技術(shù) ? 利用可復(fù)用的模塊，做出適當(dāng)?shù)慕M合，就可得到快速構(gòu)造的原型系統(tǒng)。 ? 專用語言是應(yīng)用領(lǐng)域的模型化語言。 軟件工程 3) 實例推廣手段： ? 從實例特征出發(fā)，將它推廣為待編程序的特征，最后得到程序。 ? 可以自動或半自動地把用戶的非過程式問題規(guī)格說明轉(zhuǎn)換為某種高級語言程序： 1) 演繹綜合手段： ? 基于數(shù)學(xué)推理的構(gòu)造式證明。原型開發(fā)過程中用這種語言來定義 ? 屏幕 ? 數(shù)據(jù)項 ? 相關(guān)的操作 ? 從系統(tǒng)的外部描述開始，開發(fā)與數(shù)據(jù)庫的接口 ? 錯誤處理和恢復(fù)過程 等系統(tǒng)的與外部視圖一致的細(xì)節(jié)。 ? 可在任一場景中使用一套可復(fù)用的軟件模塊，以表達某一方面的要求。因此，軟件開發(fā)人員能夠給用戶顯示系統(tǒng)的逼真的視圖，使用戶得以判斷是否符合他的意圖。 ? 一個場景用以 模擬在系統(tǒng)運行期間用戶經(jīng)歷的事件 。 ? 用一種可執(zhí)行的語言程序代替定義處理邏輯的結(jié)構(gòu)化英語，數(shù)據(jù)流圖就成為由可執(zhí)行語言程序模塊組成的網(wǎng)絡(luò)，在一定環(huán)境或工具的支持下就可成為一個可以執(zhí)行的原型系統(tǒng)。施加在狀態(tài)元素上的約束確定了有效狀態(tài)的推移。 ? 舉例：定義一個無界的棧及其操作 NEW_STACK： Stack PUSH： Stack， Element Stack POP： Stack (Element | Undefined) POP( NEW_STACK ( ) ) ＝ Undefined POP( PUSH( Stack， elem) ) ＝ elem 軟件工程 b) 有限狀態(tài)模型 ? parnas提出的使用最廣泛的一種可執(zhí)行規(guī)格說明形式。包括 a) 代數(shù)規(guī)格說明 b) 有限狀態(tài)模型 c) 可執(zhí)行的數(shù)據(jù)流圖 軟件工程 a) 代數(shù)規(guī)格說明 ? 使用集合、定義于這些集合上的函數(shù)和定義于這些函數(shù)上的方程來描述對象。 框架需求 開發(fā)原型 確定系統(tǒng) 評估原型 開發(fā)軟件 問題 可 驗證系統(tǒng) 問題 可 交付的軟件系統(tǒng) 可復(fù)用構(gòu)件 軟件工程 3. 原型開發(fā)技術(shù) 1) 可執(zhí)行規(guī)格說明 2) 基于場景 (scenario) 的設(shè)計 3) 自動程序設(shè)計 4) 專用語言 5) 可復(fù)用 (reusable)的軟件 6) 簡化假設(shè) 軟件工程 1）可執(zhí)行規(guī)格說明 ? 可執(zhí)行規(guī)格說明是用于需求規(guī)格說明的一種自動化技術(shù)。 開發(fā)抽象描述 建立原型系統(tǒng) 使用原型系統(tǒng) 系統(tǒng)充分嗎 ? 交付系統(tǒng) 否 是 軟件工程 2）拋棄式原型開發(fā) ? 基本思路是：原型的根本作用是弄清楚需求和為風(fēng)險評估提供補充信息。 3) 進化型 ： 這種原型的目的不在于改進規(guī)格說明，而是將系統(tǒng)建造得易于變化，在改進原型的過程中，逐步將原型進化成最終系統(tǒng)。 快速原型化方法 軟件工程 1) 探索型 ： 目的是要弄清對目標(biāo)系統(tǒng)的要求，確定所希望的特性，并探討多種方案的可行性。 ? 可以容易地確定 系統(tǒng)的性能 ，確認(rèn) 各項主要系統(tǒng)服務(wù)的可應(yīng)用性 ，確認(rèn)系統(tǒng)設(shè)計的可行性，確認(rèn)系統(tǒng)作為產(chǎn)品的結(jié)果。 檢 查 發(fā) 貨 單 金額 $500 金額 $500 欠款 60天 不發(fā)出批準(zhǔn)書 欠款 60天 發(fā)貨單 發(fā)出批準(zhǔn)書、 欠款 60天 發(fā)出批準(zhǔn)書、 發(fā)貨單及賒欠報告 欠款 60天 發(fā)出批準(zhǔn)書、 發(fā)貨單 軟件工程 ? 這是一種有效駕馭風(fēng)險的技術(shù)。 條件茬 條件項 動作茬 動作項 規(guī)則 單個條件 單個動作 軟件工程 以 “檢查發(fā)貨單” 為例 操 在償還欠款前不予批準(zhǔn) 作 發(fā)出批準(zhǔn)書 發(fā)出發(fā)貨單 發(fā)出賒欠報告 1 2 3 4 條 發(fā)貨單金額 $500 $500 ≤ $500 ≤ $500 件 賒欠情況 60天 ≤60天 60天 ≤60天 軟件工程 (3) 判定樹 ? 判定樹也是用來表達加工邏輯的一種工具。 ? 判定結(jié)構(gòu)： if_then_else 或 switch_do 結(jié)構(gòu)； ? 用結(jié)構(gòu)化語言描述的規(guī)格說明的正文可以在計算機上編輯，不必過多地考慮語言的在語法上的限制，使得分析員可以集中考慮加工的策略或規(guī)則。 軟件工程 ? 語言的 正文用基本控制結(jié)構(gòu)進行分割 ，加工中的 操作用自然語言短語來表示 。 ? 它是一種介于自然語言和形式化語言之間的語言。 ? 描述加工邏輯說明的工具： 結(jié)構(gòu)化語言 、 決策表 、決策樹 。 ? 加工邏輯說明必須描述實現(xiàn)加工的策略而不是實現(xiàn)加工的細(xì)節(jié)。 軟件工程 數(shù)據(jù)詞典數(shù)據(jù)流舉例 軟件工程 數(shù)據(jù)詞典數(shù)據(jù)元素舉例 軟件工程 數(shù)據(jù)詞典數(shù)據(jù)存儲舉例 軟件工程 數(shù)據(jù)詞典加工舉例 軟件工程 數(shù)據(jù)詞典外部項舉例 軟件工程 6. 基本加工邏輯說明 ? 對數(shù)據(jù)流圖的每一個基本加工，必須有一個基本加工邏輯說明。計算機輔助開發(fā)數(shù)據(jù)字典比手工建立數(shù)據(jù)字典有更多的優(yōu)點，能保證數(shù)據(jù)的一致性和完整性，使用也方便。 ? 目前一些軟件開發(fā)小組都習(xí)慣于用計算機中小的數(shù)據(jù)庫軟件作為數(shù)據(jù)字典的實現(xiàn)工具。 軟件工程 ? 最后利用已有的數(shù)據(jù)庫開發(fā)工具，針對數(shù)據(jù)字典建立一個數(shù)據(jù)庫文件，可將數(shù)據(jù)流、數(shù)據(jù)項、數(shù)據(jù)存儲和加工分別以矩陣表的形式來描述各個表項的內(nèi)容，如數(shù)據(jù)流的矩陣表為： 軟件工程 ? 然后使用開發(fā)工具建成數(shù)據(jù)文件，便于修改、查詢，并可隨時打印出來。 ② 列出與某一類項目有關(guān)的所有元素 。 ? 3)具有對詞典條目進行插入 、 刪除和修改的功能 全自動方式 軟件工程 4)具有一定的一致性 、 完整性的檢查能力 5)能產(chǎn)生所需的各類查詢報告和清單等 。 ? 一個詞典管理程序應(yīng)具有以下功能 : ? 1)按軟件開發(fā)規(guī)范所規(guī)定的數(shù)據(jù)詞典條目的格式 ,作為其一組語法 。 因此一般均傾向于自動或半自動實現(xiàn)數(shù)據(jù)詞典 。 6)要建立索引目錄 。 （ 如數(shù)據(jù)流卡片 ） 則按名稱作為關(guān)鍵字順序存放 。 3)條目按圖號排序存放 ,同一圖號的所有條目按數(shù)據(jù)流 、數(shù)據(jù)項 、 文件和加工的先后次序分別存放 。 ? １．手工編寫． ? ２．計算機輔助編寫是指在計算機輔助繪制數(shù)據(jù)流圖的同時，隨著數(shù)據(jù)流圖的逐層分解，計算機系統(tǒng)生成數(shù)據(jù)詞典