【正文】 體育新聞聯(lián)播 招生 副刊 商業(yè)新聞 廣告 招聘 廣告 求助 細化 例： 圖 2022年 5月 31日 2時 0分 59 六 、狀態(tài)轉(zhuǎn)換圖 狀態(tài)轉(zhuǎn)換圖 (狀態(tài)圖 )通過描繪系統(tǒng)的狀態(tài)及引起系統(tǒng)狀態(tài)轉(zhuǎn)換的事件 ,來表示系統(tǒng)的行為 .此外 ,狀態(tài)圖還指明了作為特定事件的結(jié)果系統(tǒng)將作那些動作(例如 ,處理數(shù)據(jù) )。 基本術(shù)語 (1) 事件： 某個特定時刻所發(fā)生的事情，它是對引起系統(tǒng)從一種狀態(tài)轉(zhuǎn)換到另一種狀態(tài)的現(xiàn)實世界中的事件的抽象。事件沒有持續(xù)時間，是瞬間完成的。 2022年 5月 31日 2時 0分 60 (2) 狀態(tài)： 是任何可以被觀察到的系統(tǒng)行為模式 ,一個狀態(tài)代表系統(tǒng)的一種行為模式 .狀態(tài)規(guī)定了系統(tǒng)對事件的響應(yīng)方式 . 狀態(tài)有持續(xù)性 ，它占用一段時間間隔。狀態(tài)與事件密不可分，一個事件分開兩個狀態(tài)，一個狀態(tài)隔開兩個事件。事件表示 時刻 ，狀態(tài)代表 時間間隔。 (3) 行為： 是指系統(tǒng)達到某種狀態(tài)時所做的一系列處理操作 。 這些操作是需要耗費時間的 。 2022年 5月 31日 2時 0分 61 狀態(tài) 2 do :行為 2 狀態(tài) 1 do :行為 1 初始事件 結(jié)束事件 事件 1 表示方法 ： 圓形框或橢圓框表示 狀態(tài) ， 框內(nèi)可標上狀態(tài)名也可以不給狀態(tài)起名字 ， 行為在框內(nèi)用關(guān)鍵字 do（ 后接冒號 ） 標明 。 箭頭線 表示 狀態(tài)的轉(zhuǎn)換 ， 線上標以 事件名 。 可在事件名后面加一個方括號的條件 ， 表示條件為真時 ， 該事件的發(fā)生才引起箭頭所示的狀態(tài)轉(zhuǎn)換 。 狀態(tài)圖既可以表示循環(huán)運行過程，可以表示單程生命周期。 當描述單程生命周期時，需要標明 初始狀態(tài)和最終狀態(tài)。 在狀態(tài)圖中，初始狀態(tài)用 實心圓 表示，最終狀態(tài)用一對同心圓（內(nèi)圓為實心圓）表示。 2022年 5月 31日 2時 0分 62 閑 置 撥 號 通 話 斷 線 撥號音 do:響撥號音 超 時 do:響蜂鳴音 存儲的信息 do:播放信息 接通中 do:試接通 振 鈴 do:振 鈴 忙 音 do:響忙音 拿起聽筒 數(shù)字 數(shù)字 有效號碼 已接通 受話人回話 受話人掛斷電話 掛斷電話 超 時 掛斷電話 超時 無效號碼 信息播完 占 線 例：電話的 狀態(tài)圖 2022年 5月 31日 2時 0分 63 七、驗證軟件需求（ 01（ 3）） 驗證軟件需求的正確性（從以下 4個不同角度驗證） （ 1） 一致性 ：任何一條需求不能和其他需求互相矛盾。 （ 2） 完整性 ：規(guī)格說明書應(yīng)該包括用戶需求的每一個功能或性能 （ 3） 現(xiàn)實性 ：指定的需求應(yīng)該是現(xiàn)有的硬件技術(shù)和軟件技術(shù)基本 上可以實現(xiàn)的。 （ 4） 有效性 ：需求是正確有效的，確實能解決用戶面對的問題。 驗證軟件需求的方法 （ 1） 驗證需求的一致性： 方法：用人工技術(shù)審查驗證軟件系統(tǒng)規(guī)格說明書，但不能保證效果；用軟件工具驗證需求的一致性，能有效地保證軟件需求的一致性，但要求需求規(guī)格說明書必須是用形式化的需求陳述語言書寫。 （ 2） 驗證需求的現(xiàn)實性： 方法：參照經(jīng)驗，用現(xiàn)有的軟、硬件技術(shù)實現(xiàn)目標系統(tǒng)的可能性；采用仿真或性能模擬技術(shù)，來幫助分析軟件需求規(guī)格說明書的現(xiàn)實性。 2022年 5月 31日 2時 0分 64 （ 3） 驗證需求的完整性和有效性： 檢驗需求的完整性，特別是證明系統(tǒng)確實滿足用戶的實際需要（有效性），只有在用戶的密切合作下才能完成。 方法 1：先開發(fā)一個軟件系統(tǒng)（根據(jù)需求分析來開發(fā)）→ 用戶試用（便于了解實際需求） → 寫出正式的“正確的”規(guī)格說明書。 → 修正軟件系統(tǒng)。（該方法的缺點是成本提高了，現(xiàn)實中不實用） 方法 2：采用原型系統(tǒng)的方法（可以減少成本和縮短周期時間 ）。 2022年 5月 31日 2時 0分 65 七、小結(jié) 本章主要介紹軟件需求分析，從需求分析任務(wù)開始 → 分析過程→ 分析概念模型和規(guī)范化 → 介紹軟件需求分析的常用分析工具 → 最后介紹需求分析的驗證。 需求分析的主要任務(wù)是確定用戶必須做什么。具體講要確定系統(tǒng)的功能和性能、運行環(huán)境。 分析過程。從可行性分析的報告入手，詳細分析系統(tǒng)中的數(shù)據(jù)，通過分析得出系統(tǒng)邏輯模型（用數(shù)據(jù)流圖、 ER圖、數(shù)據(jù)字典和算法描述）。同時介紹如何使用 ER圖和 3個范式。 常用軟件需求分析工具。主要介紹傳統(tǒng)的結(jié)構(gòu)化分析方法，利用該工具來產(chǎn)生 DFD圖；使用判定表與判定樹來描述數(shù)據(jù)；使用結(jié)構(gòu)化分析語言來描述數(shù)據(jù)； IPO圖、層次方框圖和 Warnier圖等的圖形工具來描述數(shù)據(jù)。 驗證需求分析。主要介紹驗證的內(nèi)容（一致性、完整性、現(xiàn)實性和有效性）和驗證的方法。 2022年 5月 31日 2時 0分 66 作業(yè) P63 3 5 2022年 5月 31日 2時 0分 67 下面通過分層畫出運動會管理系統(tǒng)來說明 SA方法，自定向下，逐步分解，用 DFD圖來表示目標系統(tǒng)邏輯模型的數(shù)據(jù)流。 見圖 32 2022年 5月 31日 2時 0分 68 收發(fā)員 0 運動會 管理系統(tǒng) 1 登記 報名單 2 統(tǒng)計 成績 裁判長 收發(fā)員 裁判長 公布臺 報名單 比賽項目 項目成績 各隊成績 運動員號碼單 項目參加者 單項名次 團體名次 收發(fā)員 裁判長 裁判長 報名單 比賽項目 項目成績 項目參加者 單項名次 團體名次 公布臺 團體成績 運動員 名單 裁判長 公布臺 單項名次 團體名次 運動員名單 團體成績 DFD0 DFD1 2022年 5月 31日 2時 0分 69 運動會 編號 登記 隊員 檢查 報名單 決定 比賽名單 團體成績 團體成績 運動員名單 收發(fā)員 收發(fā)員 運動員名單 運動員名單 裁判長 裁判長 項 目 報名單 合格 報名單 正式 報名單 運動員號碼單 比賽項目 項目參加者 檢查 破記錄 記錄 成績 累計 團體 總分 裁判長 公布臺 運動員名單 運動員名單 運動員成績 最高記錄 最高記錄 項目成績 單項成績 單項結(jié)果 單項名次 2022年 5月 31日 2時 0分 70 決定 團體名次 公布臺 團體成績 運動員名單 運動員成績 收發(fā)員 團體成績 匯報 各隊成績 團體名次 各隊成績 DFD2 圖 34 運動會管理系統(tǒng)分層 DFD圖 從圖中可以看出， DFD0表示運動會管理系統(tǒng)的 IPO功能，DFD1將 DFD0繼續(xù)分解下去， DFD2又將 DFD1分解下去。