dfd中的數(shù)據(jù)流、數(shù)據(jù)存儲(chǔ)表示某個(gè)有組織的數(shù)據(jù)集合,它們(參考版)
2024-10-03 21:44本頁面
【正文】 因此，case系統(tǒng)顯得非常必要。如： 4是相同概念的處理， 5是 9的手段，并構(gòu)成 8的具體操作，同樣， 11和 12也是 10的具體操作。 所有和 SafeHome的交互，由用戶交互子系統(tǒng)管理，該子系統(tǒng)讀入通過鍵盤和功能建提供的輸入，在 LCD顯示屏上顯示提示消息和系統(tǒng)狀態(tài)。 非形式化 的需求陳述 完整的 需求定義 功能規(guī)約 北京理工大學(xué)計(jì)算機(jī)系 實(shí)例分析 數(shù)據(jù)流和控制流舉例 (使用 Ward和 mellor符號(hào)） 監(jiān)控固件和 操作接口 每個(gè)固件狀態(tài) 動(dòng)作 警告 機(jī)器人初始化控制 操作命令 部件狀態(tài)緩沖器 位置 命令 開始 /停止 處理 機(jī)器人命令 機(jī)器人命令文件 操作 設(shè)置 處理活動(dòng) 記錄機(jī)器人動(dòng)作 位串 北京理工大學(xué)計(jì)算機(jī)系 數(shù)據(jù)和控制模型的關(guān)系 DFD 加工規(guī)約 加工模型 CFD 控制規(guī)約 控制模型 數(shù)據(jù)輸出 數(shù)據(jù)條件 數(shù)據(jù)輸入 控制輸入 控制輸出 加工 激活者 北京理工大學(xué)計(jì)算機(jī)系 例：家庭安全系統(tǒng)問題陳述 SafeHome軟件使得房主能夠在安裝時(shí)配置安全系統(tǒng)、監(jiān)控所有和安全系統(tǒng)連接的傳感器以及通過包含在 SafeHome控制面板中的鍵盤和功能與房主交互。 功能和行為需求描述 ； 非功能性需求描述 ； 軟件需求規(guī)約及評(píng)審 北京理工大學(xué)計(jì)算機(jī)系 需求驗(yàn)證 (1) 正確性 (2) 無二義性 (3) 完整性 (4) 可驗(yàn)證性 (5) 一致性 (6) 可理解性 (7) 可修改性 (8) 可被跟蹤性 (9) 可跟蹤性 (10)設(shè)計(jì)無關(guān)性 (11)注釋 需求分析的主要難點(diǎn) ? 問題的復(fù)雜性 ? 交流障礙 ? 不完備性和不一致性 ? 需求易變性 (1)需求模型及語言： 功能分解模型 OO模型 單一表示模式 多視點(diǎn) 非形式化方法 形式化方法 (2)CASE技術(shù)及工具： 集成化 零散的機(jī)器支撐環(huán)境 構(gòu)件化 自動(dòng)化 最終目標(biāo) ? 實(shí)現(xiàn)軟件生產(chǎn)的全自動(dòng)化 解決途徑 北京理工大學(xué)計(jì)算機(jī)系 需求工程研究新進(jìn)展 需求工程 研究進(jìn)展可歸結(jié)為需求工程 對(duì)象化、形式化和自動(dòng)化 三個(gè)主要方面。 可能的狀態(tài)： 就緒 ： 等待分配 CPU ； 運(yùn)行 ： 正在 CPU上做處理 ； 等待 ：放棄 CPU； 事件 ： t1 : 因 I/O等事件發(fā)生要求中斷 ； t2 :中斷事件已經(jīng)處理 ； t3 : 分配 CPU ； t4 : 已經(jīng) 用完分配的 CPU時(shí)間 ； 北京理工大學(xué)計(jì)算機(jī)系 運(yùn)行 等待 就緒 t2 t1 t4 t3 t1 t2 t3 t4 就緒 運(yùn)行 運(yùn)行 等待 就緒 等待 就緒 北京理工大學(xué)計(jì)算機(jī)系 ? 時(shí)序圖 ? 作用 ： 用于對(duì)比系統(tǒng)中處理事件的時(shí)序與響 應(yīng)的處理時(shí)間 。 給出當(dāng) 多個(gè)申請(qǐng)占用 CPU運(yùn)行的進(jìn)程時(shí)， CPU分配 的進(jìn)程 的狀態(tài)圖 和狀態(tài)矩陣。 m狀態(tài)稱為 n的后繼狀態(tài)。 ?狀態(tài)遷移圖表示： 狀態(tài)圖 和 狀態(tài)矩陣。 * 表示： ① ② ③ ④ 基本條件 條件項(xiàng) 基本動(dòng)作
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1