需求分析ppt課件(2)(參考版)
2025-05-13 12:02本頁面
【正文】 ?從下述 4個(gè)方面進(jìn)行驗(yàn)證： (1) 一致性 . (2) 完整性 . (3) 現(xiàn)實(shí)性 . (4) 有效性 . 驗(yàn)證軟件需求 1 從哪些方面驗(yàn)證軟件需求的正確性 ? 驗(yàn)證需求的一致性 形式化的描述、軟件工具 ?驗(yàn)證需求的現(xiàn)實(shí)性 經(jīng)驗(yàn)、仿真 ? 驗(yàn)證需求的完整性和有效性 原型系統(tǒng) 2 驗(yàn)證軟件需求的方法 這類軟件工具應(yīng)該滿足下列要求： (1) 必須有 形式化 的語法 (或表 )，因此可以用計(jì)算機(jī)自動(dòng)處理使用這種語法說明的內(nèi)容； (2) 使用這個(gè)軟件工具能夠 導(dǎo)出詳細(xì)的文檔 ； (3) 必須提供 分析 (測(cè)試 )規(guī)格說明書的不一致性和冗余性的手段，并且應(yīng)該能夠產(chǎn)生一組報(bào)告指明對(duì)完整性分析的結(jié)果； (4) 使用這個(gè)軟件工具之后，應(yīng)該能夠改進(jìn)通信狀況。 IPO圖 1. 更新庫存清單主文件 2. 判斷零件的庫存數(shù)量是否少于庫存量臨界 3. 向“處理定貨”加工輸出需定貨的庫存信息。 – 加工邏輯說明必須描述實(shí)現(xiàn)加工的 策略 而不是實(shí)現(xiàn)加工的細(xì)節(jié)。 圖形工具 定貨報(bào)表 零件 編號(hào) 主要供應(yīng)商 供應(yīng)商 編號(hào) 供應(yīng)商 名稱 供應(yīng)商 地址 零件 名稱 定貨 數(shù)量 目前 價(jià)格 次要供應(yīng)商 供應(yīng)商 編號(hào) 供應(yīng)商 名稱 供應(yīng)商 地址 定貨報(bào)表的層次方框圖 定貨報(bào)表 零件編號(hào) 字符 (8) 零件名稱 字符 (1,20) 定貨 數(shù)量 整數(shù) (1,5) 目前 價(jià)格 實(shí)數(shù) 主要供應(yīng)商 供應(yīng)商編號(hào) 字符 (8) 供應(yīng)商名稱 字符 (1,20) 供應(yīng)商地址 字符 (1,50) 次要供應(yīng)商 供應(yīng)商編號(hào) 字符 (8) 供應(yīng)商名稱 字符 (1,20) 供應(yīng)商地址 字符 (1,50) 定貨報(bào)表的 Warnier圖 加工的描述 ? 對(duì)數(shù)據(jù)流圖的每一個(gè)基本加工，必須有一個(gè)基本加工邏輯說明。 數(shù)據(jù)詞典的用途 ? 作為分析階段的工具 ? 模塊間的統(tǒng)一接口 ? 開發(fā)人員的依據(jù) ? 數(shù)據(jù)庫設(shè)計(jì)的第一步 詞條描述內(nèi)容 ? 一般信息 ： 名字，別名，描述 ? 定義 ： 數(shù)據(jù)類型，長(zhǎng)度，結(jié)構(gòu) ? 使用特點(diǎn) ： 值的范圍，使用頻率，使用方式 ? 控制信息 ： 來源，用戶，使用它的程序，改變權(quán)，使用權(quán) ? 分組信息 ： 父結(jié)構(gòu)，從屬結(jié)構(gòu)，物理位置 定義式 ? X=[a|b]+3{c}8+(d) ? a=―001‖.. ―999‖ ? 本地電話號(hào)碼 =非零數(shù)字 +2{數(shù)字 }10 ? 非零數(shù)字 =[1|2|3|4|5|6|7|8|9] ? 數(shù)字 =[0|1|2|3|4|5|6|7|8|9] 定貨系統(tǒng) 倉庫管理員 采購員 事務(wù) 定貨報(bào)表 名字： 定貨報(bào)表 別名： 定貨信息 描述： 每天一次送給采購員的需要定貨的零件表 定義： 定貨報(bào)表 =零件編號(hào) +零件名稱 +定貨數(shù)量+主要供應(yīng)者 +次要供應(yīng)者 位置： 輸出到打印機(jī) 名字： 零件編號(hào) 別名： 描述： 唯一標(biāo)識(shí)庫存清單
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1