軟件需求分析的任務(wù)和過(guò)程 PPT課件

1 軟件需求分析的任務(wù)和過(guò)程結(jié)構(gòu)化分析方法原型化方法動(dòng)態(tài)分析方法 軟件需求分析 over 2 軟件需求分析的任務(wù) 深入描述軟件的功能和性能確定軟件設(shè)計(jì)的約束和軟件同其它系統(tǒng)元素的接口細(xì)節(jié)定義軟件的其它有效性需求 3 需求分析研究的對(duì)象是軟件項(xiàng)目的用戶要求準(zhǔn)確地表達(dá)被接受的用戶要求確定被開(kāi)發(fā)軟件系統(tǒng)的系統(tǒng)元素將功能和信息結(jié)構(gòu)分配到這些系統(tǒng)元素中 4 需求分析的任務(wù)就是借助于當(dāng)前系統(tǒng)的邏輯模型導(dǎo)出目標(biāo)系統(tǒng)的邏輯模型 解決目標(biāo)系統(tǒng)的 做什么 的問(wèn)題 5 通常軟件開(kāi)發(fā)項(xiàng)目是要實(shí)現(xiàn)目標(biāo)系統(tǒng)的物理模型目標(biāo)系統(tǒng)的具體物理模型是由它的邏輯模型經(jīng)實(shí)例化 即具體到某個(gè)業(yè)務(wù)領(lǐng)域而得到的 6 需求分析的過(guò)程 1 問(wèn)題識(shí)別 從系統(tǒng)的角度來(lái)理解軟件并評(píng)審軟件范圍是否恰當(dāng) 確定對(duì)目標(biāo)系統(tǒng)的綜合要求 即軟件的需求 提出這些需求實(shí)現(xiàn)條件 以及需求應(yīng)達(dá)到的標(biāo)準(zhǔn) 7 軟件的需求包括 功能需求性能需求環(huán)境需求可靠性需求安全保密要求用戶界面需求 資源使用需求成本消耗需求開(kāi)發(fā)進(jìn)度需求預(yù)先估計(jì)以后系統(tǒng)可能達(dá)到的目標(biāo) 8 2 分析與綜合 從信息流和信息結(jié)構(gòu)出發(fā) 逐步細(xì)化所有的軟件功能 找出系統(tǒng)各元素之間的聯(lián)系 接口特性和設(shè)計(jì)上的約束 分析它們是否滿足功能要求 是否合理 剔除其不合理的部分 增加其需要部分 最終綜合成系統(tǒng)的解決方案 給出目標(biāo)系統(tǒng)的詳細(xì)邏輯模型 9 常用的分析方法 面向數(shù)據(jù)流的結(jié)構(gòu)化分析方法 SA 面向數(shù)據(jù)結(jié)構(gòu)的Jackson方法 JSD 結(jié)構(gòu)化數(shù)據(jù)系統(tǒng)開(kāi)發(fā)方法 DSSD 面向?qū)ο蟮姆治龇椒?OOA 等 10 3 編制需求分析階段的文檔 軟件需求說(shuō)明書(shū) 數(shù)據(jù)要求說(shuō)明書(shū) 初步的用戶手冊(cè) 修改 完善與確定軟件開(kāi)發(fā)實(shí)施計(jì)劃 11 4 需求分析評(píng)審 系統(tǒng)定義的目標(biāo)是否與用戶的要求一致 系統(tǒng)需求分析階段提供的文檔資料是否齊全 文檔中的所有描述是否完整 清晰 準(zhǔn)確反映用戶要求 與所有其它系統(tǒng)成分的重要接口是否都已經(jīng)描述 12 被開(kāi)發(fā)項(xiàng)目的數(shù)據(jù)流與數(shù)據(jù)結(jié)構(gòu)是否足夠 確定 所有圖表是否清楚 在不補(bǔ)充說(shuō)明時(shí)能否理解 主要功能是否已包括在規(guī)定的軟件范圍之內(nèi) 是否都已充分說(shuō)明 設(shè)計(jì)的約束條件或限制條件是否符合實(shí)際 開(kāi)發(fā)的技術(shù)風(fēng)險(xiǎn)是什么 13 是否考慮過(guò)軟件需求的其它方案 是否考慮過(guò)將來(lái)可能會(huì)提出的軟件需求 是否詳細(xì)制定了檢驗(yàn)標(biāo)準(zhǔn) 它們能否對(duì)系統(tǒng)定義是否成功進(jìn)行確認(rèn) 14 需求分析流程 15 軟件需求分析的原則 需要能夠表達(dá)和理解問(wèn)題的信息域和功能域要能以層次化的方式對(duì)問(wèn)題進(jìn)行分解和不斷細(xì)化要給出系統(tǒng)的邏輯視圖和物理視圖 16 17 軟件需求規(guī)格說(shuō)明的原則 從現(xiàn)實(shí)中分離功能 即描述要 做什么 而不是 怎樣實(shí)現(xiàn) 要求使用面向處理的規(guī)格說(shuō)明語(yǔ)言 或稱系統(tǒng)定義語(yǔ)言 如果被開(kāi)發(fā)軟件只是一個(gè)大系統(tǒng)中的一個(gè)元素 那么整個(gè)大系統(tǒng)也包括在規(guī)格說(shuō)明的描述之中 18 規(guī)格說(shuō)明必須包括系統(tǒng)運(yùn)行環(huán)境規(guī)格說(shuō)明必須是一個(gè)認(rèn)識(shí)模型規(guī)格說(shuō)明必須是可操作的規(guī)格說(shuō)明必須容許不完備性并允許擴(kuò)充規(guī)格說(shuō)明必須局部化和松散耦合 19 軟件需求方法 需求分析方法由對(duì)軟件問(wèn)題的信息域和功能域的系統(tǒng)分析過(guò)程及其表示方法組成大多數(shù)的需求分析方法是由信息驅(qū)動(dòng)的信息域具有三種屬性 信息流 信息內(nèi)容和信息結(jié)構(gòu) 20 結(jié)構(gòu)化分析方法 面向數(shù)據(jù)流進(jìn)行需求分析的方法結(jié)構(gòu)化分析方法適合于數(shù)據(jù)處理類型軟件的需求分析 21 具體來(lái)說(shuō) 結(jié)構(gòu)化分析方法就是用抽象模型的概念 按照軟件內(nèi)部數(shù)據(jù)傳遞 變換的關(guān)系 自頂向下逐層分解 直到找到滿足功能要求的所有可實(shí)現(xiàn)的軟件為止結(jié)構(gòu)化分析方法使用工具 數(shù)據(jù)流圖 數(shù)據(jù)詞典 結(jié)構(gòu)化英語(yǔ) 判定表與判定樹(shù) 22 數(shù)據(jù)流圖 DFD DataFlowDiagram 數(shù)據(jù)流圖中的主要圖形元素 23 描述銀行取款過(guò)程的數(shù)據(jù)流圖 24 數(shù)據(jù)流與數(shù)據(jù)加工之間的關(guān)系 25 數(shù)據(jù)流圖的層次結(jié)構(gòu) 為了表達(dá)數(shù)據(jù)處理過(guò)程的數(shù)據(jù)加工情況 需要采用層次結(jié)構(gòu)的數(shù)據(jù)流圖 按照系統(tǒng)的層次結(jié)構(gòu)進(jìn)行逐步分解 并以分層的數(shù)據(jù)流圖反映這種結(jié)構(gòu)關(guān)系 能清楚地表達(dá)和容易理解整個(gè)系統(tǒng) 26 分層數(shù)據(jù)流圖 27 在多層數(shù)據(jù)流圖中 頂層流圖僅包含一個(gè)加工 它代表被開(kāi)發(fā)系統(tǒng) 它的輸入流是該系統(tǒng)的輸入數(shù)據(jù) 輸出流是系統(tǒng)所輸出數(shù)據(jù)底層流圖是指其加工不需再做分解的數(shù)據(jù)流圖 它處在最底層中間層流圖則表示對(duì)其上層父圖的細(xì)化 它的每一加工可能繼續(xù)細(xì)化 形成子圖 28 結(jié)構(gòu)化分析方法步驟示例商店業(yè)務(wù)處理系統(tǒng) 29 這個(gè)數(shù)據(jù)流圖只是一個(gè)高層的系統(tǒng)邏輯模型 它反映了目標(biāo)系統(tǒng)要實(shí)現(xiàn)的功能 上下文圖 數(shù)據(jù)流圖繪制步驟首先確定系統(tǒng)的輸入和輸出根據(jù)商店業(yè)務(wù) 畫(huà)出頂層數(shù)據(jù)流圖 以反映最主要業(yè)務(wù)處理流程 30 經(jīng)過(guò)分析 商店業(yè)務(wù)處理的主要功能應(yīng)當(dāng)有銷售 采購(gòu) 會(huì)計(jì)三大項(xiàng) 主要數(shù)據(jù)流輸入的源點(diǎn)和輸出終點(diǎn)是顧客和供應(yīng)商 然后從輸入端開(kāi)始 根據(jù)商店業(yè)務(wù)工作流程 畫(huà)出數(shù)據(jù)流流經(jīng)的各加工框 逐步畫(huà)到輸出端 得到第一層數(shù)據(jù)流圖 31 第一層數(shù)據(jù)流圖 32 加細(xì)每一個(gè)加工框銷售細(xì)化 33 采購(gòu)細(xì)化 34 檢查和修改數(shù)據(jù)流圖的原則 數(shù)據(jù)流圖上所有圖形符號(hào)只限于前述四種基本圖形元素?cái)?shù)據(jù)流圖的主圖必須包括前述四種基本元素 缺一不可數(shù)據(jù)流圖的主圖上的數(shù)據(jù)流必須封閉在外部實(shí)體之間每個(gè)加工至少有一個(gè)輸入數(shù)據(jù)流和一個(gè)輸出數(shù)據(jù)流 35 在數(shù)據(jù)流圖中 需按層給加工框編號(hào) 編號(hào)表明該加工所處層次及上下層的親子關(guān)系規(guī)定任何一個(gè)數(shù)據(jù)流子圖必須與它上一層的一個(gè)加工對(duì)應(yīng) 兩者的輸入數(shù)據(jù)流和輸出數(shù)據(jù)流必須一致 此即父圖與子圖的平衡 36 圖上每個(gè)元素都必須有名字?jǐn)?shù)據(jù)流圖中不可夾帶控制流初畫(huà)時(shí)可以忽略瑣碎的細(xì)節(jié) 以集中精力于主要數(shù)據(jù)流 37 數(shù)據(jù)詞典 DD DataDictionary 數(shù)據(jù)詞典與數(shù)據(jù)流圖配合 能清楚地表達(dá)數(shù)據(jù)處理的要求詞條描述 對(duì)于在數(shù)據(jù)流圖中每一個(gè)被命名的圖形元素 均加以定義 其內(nèi)容有 名字 別名或編號(hào) 分類 描述 定義 位置 其它 等 38 1 數(shù)據(jù)流詞條描述 數(shù)據(jù)流名 說(shuō)明 簡(jiǎn)要介紹作用即它產(chǎn)生的原因和結(jié)果數(shù)據(jù)流來(lái)源 來(lái)自何方數(shù)據(jù)流去向 去向何處數(shù)據(jù)流組成 數(shù)據(jù)結(jié)構(gòu)數(shù)據(jù)量流通量 數(shù)據(jù)量 流通量 39 2 數(shù)據(jù)元素詞條描述 數(shù)據(jù)元素名 類型 數(shù)字 離散值 連續(xù)值 文字 編碼類型 長(zhǎng)度 取值范圍 相關(guān)的數(shù)據(jù)元素及數(shù)據(jù)結(jié)構(gòu) 40 3 數(shù)據(jù)文件詞條描述 數(shù)據(jù)文件名 簡(jiǎn)述 存放的是什么數(shù)據(jù)輸入數(shù)據(jù) 輸出數(shù)據(jù) 數(shù)據(jù)文件組成 數(shù)據(jù)結(jié)構(gòu)存儲(chǔ)方式 順序 直接 關(guān)鍵碼存取頻率 41 4 加工邏輯詞條描述 加工名 加工編號(hào) 反映該加工的層次簡(jiǎn)要描述 加工邏輯及功能簡(jiǎn)述輸入數(shù)據(jù)流 輸出數(shù)據(jù)流 加工邏輯 簡(jiǎn)述加工程序 加工順序 42 5 源點(diǎn)及匯 終 點(diǎn)詞條描述 名稱 外部實(shí)體名簡(jiǎn)要描述 什么外部實(shí)體有關(guān)數(shù)據(jù)流 數(shù)目 43 數(shù)據(jù)結(jié)構(gòu)的描述 符號(hào)含義舉例 被定義為 與x a b 或 或x a b x a b 或m n重復(fù)x a x 3 a 8 可選x a 基本數(shù)據(jù)元素x a 連結(jié)符x 1 9 44 存折格式 45 存折 戶名 所號(hào) 帳號(hào) 開(kāi)戶日 性質(zhì) 印密 1 存取行 50戶名 2 字母 24所號(hào) 001 999 帳號(hào) 00000001 99999999 開(kāi)戶日 年 月 日性質(zhì) 1 6 注 1 表示普通戶 5 表示工資戶等印密 0 注 印密在存折上不顯示存取行 日期 摘要 支出 存入 余額 操作 復(fù)核 46 對(duì)數(shù)據(jù)流圖的每一個(gè)基本加工 必須有一個(gè)基本加工邏輯說(shuō)明基本加工邏輯說(shuō)明必須描述基本加工如何把輸入數(shù)據(jù)流變換為輸出數(shù)據(jù)流的加工規(guī)則 基本加工邏輯說(shuō)明 47 加工邏輯說(shuō)明必須描述實(shí)現(xiàn)加工的策略而不是實(shí)現(xiàn)加工的細(xì)節(jié)加工邏輯說(shuō)明中包含的信息應(yīng)是充足的 完備的 有用的 沒(méi)有重復(fù)的多余信息 48 用于寫(xiě)加工邏輯說(shuō)明的工具 結(jié)構(gòu)化英語(yǔ) 判定表 判定樹(shù) 49 1 結(jié)構(gòu)化英語(yǔ) 結(jié)構(gòu)化英語(yǔ)的詞匯表由英語(yǔ)命令動(dòng)詞數(shù)據(jù)詞典中定義的名字有限的自定義詞邏輯關(guān)系詞IF THEN ELSE CASE OF WHILE DO REPEAT UNTIL等組成 50 是一種介于自然語(yǔ)言和形式化語(yǔ)言之間的語(yǔ)言語(yǔ)言的正文用基本控制結(jié)構(gòu)進(jìn)行分割 加工中的操作用自然語(yǔ)言短語(yǔ)來(lái)表示其基本控制結(jié)構(gòu)有三種 簡(jiǎn)單陳述句結(jié)構(gòu) 避免復(fù)合語(yǔ)句 重復(fù)結(jié)構(gòu) WHILE DO或REPEAT UNTIL結(jié)構(gòu) 判定結(jié)構(gòu) IF THEN ELSE或CASE OF結(jié)構(gòu) 51 商店業(yè)務(wù)處理系統(tǒng)中 檢查發(fā)貨單 IF發(fā)貨單金額超過(guò) 500THENIF欠款超過(guò)了60天THEN在償還欠款前不予批準(zhǔn)ELSE 欠款未超期 發(fā)批準(zhǔn)書(shū) 發(fā)貨單ENDIFELSE 發(fā)貨單金額未超過(guò) 500 IF欠款超過(guò)60天THEN發(fā)批準(zhǔn)書(shū) 發(fā)貨單及賒欠報(bào)告ELSE 欠款未超期 發(fā)批準(zhǔn)書(shū) 發(fā)貨單ENDIFENDIF 52 2 判定表 如果數(shù)據(jù)流圖的加工需要依賴于多個(gè)邏輯條件的取值 使用判定表來(lái)描述比較合適 53 以 檢查發(fā)貨單 為例 54 3 判定樹(shù) 判定樹(shù)也是用來(lái)表達(dá)加工邏輯的一種工具 有時(shí)侯它比判定表更直觀 55 back 56 最常用的動(dòng)態(tài)分析方法 狀態(tài)遷移圖時(shí)序圖Petri網(wǎng) 57 狀態(tài)遷移圖 狀態(tài)遷移圖是描述系統(tǒng)的狀態(tài)如何相應(yīng)外部的信號(hào)進(jìn)行推移的一種圖形表示 圓圈 表示可得到的系統(tǒng)狀態(tài)箭頭 表示從一