軟件工程需求分析 PPT課件

第三章軟件需求分析 3 1需求分析的任務(wù)3 2與用戶溝通獲取需求的方法3 3分析建模與規(guī)格說明3 4實體 聯(lián)系圖3 5數(shù)據(jù)規(guī)范化3 6狀態(tài)轉(zhuǎn)換圖3 7其他圖形工具3 8驗證軟件需求3 9小結(jié)習(xí)題 教學(xué)要求 教學(xué)目的 了解需求分析的任務(wù)和步驟 評審標(biāo)準(zhǔn)和過程 掌握基本技術(shù) 理解需求規(guī)格說明書的作用與組成 教學(xué)重點 基本技術(shù) 需求規(guī)格說明書的作用與組成 教學(xué)難點 基本技術(shù) 需求分析簡介 軟件需求指用戶對所開發(fā)的軟件在功能 性能 環(huán)境 可靠性等各方面的要求 需求分析主要回答待開發(fā)的系統(tǒng)必須 做什么 并用 需求規(guī)格說明書 的形式準(zhǔn)確 詳細(xì) 規(guī)范地表達(dá)出來 注意 需求分析階段 系統(tǒng)分析員的主要關(guān)注點是 做什么 what 不是 怎樣做 how 需求分析階段 系統(tǒng)分析員應(yīng)該給出軟件需求規(guī)格說明書 3 1需求分析的任務(wù) 四項主要任務(wù) 1 確定對系統(tǒng)的綜合要求2 分析系統(tǒng)的數(shù)據(jù)要求3 導(dǎo)出系統(tǒng)的邏輯模型4 修正系統(tǒng)開發(fā)計劃 提問并思考 如果你是一個用戶 你會對將要開發(fā)的軟件有哪些要求 3 1 1確定對系統(tǒng)的綜合要求 功能需求 指定系統(tǒng)必須提供的服務(wù) 性能需求 指定系統(tǒng)必須滿足的定時約束或容量約束等 可靠性和可用性需求 應(yīng)定量指定 出錯處理需求 指環(huán)境錯誤 非系統(tǒng)本身的錯誤 接口需求 常見的接口需求 用戶接口需求 硬件接口需求 軟件接口需求 通信接口需求 約束 常見的約束 精度 工具和語言約束 設(shè)計約束 應(yīng)該使用的標(biāo)準(zhǔn) 應(yīng)該使用的硬件平臺 逆向需求 指定系統(tǒng)不應(yīng)該做什么 將來可能提出的要求 3 1 2分析系統(tǒng)的數(shù)據(jù)要求 提問并思考 如果你是設(shè)計者 除了上述需求以外 你覺得還需要得到哪些要求 答 軟件系統(tǒng)本質(zhì)上是信息處理系統(tǒng) 要考慮數(shù)據(jù)和數(shù)據(jù)處理的問題 對系統(tǒng)數(shù)據(jù)的分析 建立數(shù)據(jù) 3 4節(jié)實體 聯(lián)系圖 描繪數(shù)據(jù)結(jié)構(gòu) 3 7節(jié)其他圖形工具 數(shù)據(jù)結(jié)構(gòu)規(guī)范化 3 5節(jié) 3 1 3導(dǎo)出系統(tǒng)的邏輯模型 用數(shù)據(jù)流圖 實體一聯(lián)系圖 狀態(tài)轉(zhuǎn)換圖 數(shù)據(jù)字典和主要的處理算法描述這個邏輯模型 3 1 4修正系統(tǒng)開發(fā)計劃根據(jù)在分析過程中獲得的對系統(tǒng)的更深入更具體的了解 可以比較準(zhǔn)確地估計系統(tǒng)的成本和進(jìn)度 修正以前制定的開發(fā)計劃 圖 軟件需求分析的通信途徑 分析小組成員主要包括領(lǐng)域?qū)＜?系統(tǒng)分析員 客戶訪談問題分析與確認(rèn) 3 2與用戶溝通獲取需求的方法 1 訪談2 面向數(shù)據(jù)流自頂向下求精3 簡易的應(yīng)用規(guī)格說明技術(shù)4 快速建立軟件原型 3 2 1訪談 分正式和非正式訪談 可采用調(diào)查表形式可使用情景分析技術(shù) 例 某出版社系統(tǒng)調(diào)查表 3 2 2面向數(shù)據(jù)流自頂向下求精 結(jié)構(gòu)化分析方法的實質(zhì) 進(jìn)一步細(xì)化可行性研究階段獲得到高層數(shù)據(jù)流圖 包括建立 詳細(xì)的數(shù)據(jù)流圖 描繪數(shù)據(jù)在軟件系統(tǒng)內(nèi)從輸入移動到輸出的過程中所經(jīng)受到變換 數(shù)據(jù)字典 定義數(shù)據(jù)流圖中包含的元素 實體關(guān)系 ER 圖 從用戶角度描述數(shù)據(jù) IPO圖 描述數(shù)據(jù)流圖中處理框的功能和算法 面向數(shù)據(jù)流自頂向下求精過程 3 2 3簡易的應(yīng)用規(guī)格說明技術(shù) 一種面向團隊的需求收集法 提倡用戶與開發(fā)者密切合作 共同標(biāo)識問題 提出解決方案要素 商討不同方案并指定基本需求 具體過程見教材P60面提問 此方法將產(chǎn)生什么樣的產(chǎn)品 3 2 4快速建立軟件原型 快速原形就是快速建立起來的旨在演示目標(biāo)系統(tǒng)主要功能的可運行的程序 要點 實現(xiàn)用戶看得見的功能 省略目標(biāo)系統(tǒng) 隱含 功能 具有 快速 和 容易修改 兩大特性 3 2 4快速建立軟件原型 建立和修改原型的方法和工具 1 第四代技術(shù) 包括眾多數(shù)據(jù)庫查詢和報表語言 程序和應(yīng)用系統(tǒng)生成器以及其他非常高級的非過程語言 能快速生成可執(zhí)行的代碼 2 可重用的軟件構(gòu)件 使用一組已有的軟件構(gòu)件 也稱為組件 來裝配 而不是從頭構(gòu)造 原型 3 形式化規(guī)格說明和原型環(huán)境 在交互式環(huán)境下 用自動工具把基于形式語言的規(guī)格說明翻譯成可執(zhí)行的程序代碼 3 3分析建模與規(guī)格說明 3 3 1分析建模什么是模型 為了理解事物而對事物做出的一種抽象 是對事物的一種無歧義的書面描述 模型通常由一組圖形符號和組織這些符號的規(guī)則組成 模型的作用 在建模過程中了解系統(tǒng) 通過抽象降低復(fù)雜性 有助于回憶所有的細(xì)節(jié) 有助于開發(fā)小組間的交流 有助于與用戶的交流 為系統(tǒng)的維護提供文檔 例 結(jié)構(gòu)化分析方法建立的需求模型 結(jié)構(gòu)化分析 StructuredAnalysis SA 是面向數(shù)據(jù)流進(jìn)行分析的方法 主要建立以下幾種模型 實體關(guān)系圖 Entity RelationshipDiagram E R圖 來創(chuàng)建數(shù)據(jù)模型 描述系統(tǒng)中所有重要的數(shù)據(jù)對象 數(shù)據(jù)流圖 DataFlowDiagram DFD 用來創(chuàng)建功能模型 描述了信息流和數(shù)據(jù)轉(zhuǎn)換 狀態(tài)轉(zhuǎn)換圖 State TransitionDiagram STD 用來創(chuàng)建行為模型 描述系統(tǒng)狀態(tài)如何響應(yīng)外部事件 而進(jìn)行轉(zhuǎn)換 教材p56 例 面向?qū)ο蠓制矸椒?OOA 所建立的摸型 對象模型 Objectmodel 定義實體 描述系統(tǒng)的靜態(tài)結(jié)構(gòu) 定義 對誰做 動態(tài)模型 Dynamicmodel 描述對象之間的交互過程 規(guī)定 何時做 功能模型作 Functionalmodel 描述內(nèi)部數(shù)據(jù)的處理 指明系統(tǒng)應(yīng) 做什么 軟件需求規(guī)格說明 軟件需求規(guī)格說明書 是需求分析階段最主要的文檔 對目標(biāo)進(jìn)行完善和補充 并寫出完整的需求說明 為消除自然語言中可能存在的不一致 歧義 含糊 不完整及抽象層次混亂等問題 有主張用形式化方法描述用戶對軟件系統(tǒng)的需求 例 GB8567 88計算機軟件產(chǎn)品開發(fā)文件編制指南 結(jié)構(gòu)化分析方法 StructuredAnalysis SA 面向數(shù)據(jù)流進(jìn)行需求分析的方法適合于數(shù)據(jù)處理類型軟件的需求分析 結(jié)構(gòu)化分折模型的組成結(jié)構(gòu) 3 4實體 聯(lián)系圖 實體 聯(lián)系圖 E R圖 描繪系統(tǒng)的數(shù)據(jù)關(guān)系 分析實體 聯(lián)系有助于對業(yè)務(wù)或系統(tǒng)數(shù)據(jù)組成的理解和交互 一 基本概念 1 實體 客觀世界中存在的 可區(qū)分的事物 數(shù)據(jù)對象 實體在數(shù)據(jù)模型中的體現(xiàn) 能由一組屬性來定義的實體都可以被認(rèn)為是數(shù)據(jù)對象 屬性 實體或數(shù)據(jù)對象所具有的性質(zhì) 聯(lián)系 客觀事物之間的聯(lián)系 聯(lián)系分為三種 一對一 1 1 一對多聯(lián)系 1 N 多對多聯(lián)系 M N 二 E R圖的結(jié)構(gòu)三種基本元素 例 教學(xué)E R圖 三 如何建立實體一聯(lián)系圖 1 在需求收集的過程中 列出應(yīng)用軟件或業(yè)務(wù)過程涉及到的所有 事物 將其演化成數(shù)據(jù)對象 2 一次考慮一個對象 定義這個對象和其他對象之間是否存在連接 3 如果存在連接 應(yīng)創(chuàng)建一個或多個關(guān)系 4 對每一個關(guān)系 確定其關(guān)聯(lián)類型 5 重復(fù)步驟 2 到步驟 4 直到定義了所有關(guān)系 6 定義每個實體的屬性 7 形式化并復(fù)審實體關(guān)系圖 8 重復(fù)步驟 1 到 7 直到數(shù)據(jù)建模完成 2 4數(shù)據(jù)流圖 DFD DataFlowDiagram 描述數(shù)據(jù)處理過程的工具 通過圖形的方法 從數(shù)據(jù)傳遞和數(shù)據(jù)處理的角度 刻畫數(shù)據(jù)流從輸入到輸出的移動變換過程 數(shù)據(jù)流三個重要屬性 數(shù)據(jù)流名字 數(shù)據(jù)組成 流向 2 4 1符號 1 說明 用圖形符號以黑盒子形式描繪組成系統(tǒng)的每個部件 程序 文檔 數(shù)據(jù)庫 人工過程等 表達(dá)數(shù)據(jù)在系統(tǒng)各部件之間流動的情況 符號 2 例1 描述銀行取款過程的數(shù)據(jù)流圖 應(yīng)該注意的幾個問題 適當(dāng)?shù)孛?詳見教材p45 數(shù)據(jù)存儲 代表數(shù)據(jù)靜止?fàn)顟B(tài) 數(shù)據(jù)流 代表數(shù)據(jù)的運動狀態(tài) 注意數(shù)據(jù)流與控制流的區(qū)別 通常數(shù)據(jù)流圖中忽略出錯處理 打開或關(guān)閉文件之類的內(nèi)務(wù)處理 若數(shù)據(jù)的源點和終點相同 則應(yīng)該有兩個箭頭和這個數(shù)據(jù)源 終 點相連 或重復(fù)畫一個源 終 點 數(shù)據(jù)流圖的層次結(jié)構(gòu) 對于大型系統(tǒng) 往往采用自頂向下逐層分解的方法 用分層數(shù)據(jù)流圖表示所有數(shù)據(jù)流和加工 對任何一個數(shù)據(jù)流圖來說 它的上層圖為父圖 在它的下一層的圖為子圖 分層數(shù)據(jù)流圖 說明 在多層數(shù)據(jù)流圖中 頂層流圖僅包含一個數(shù)據(jù)處理 它代表被開發(fā)系統(tǒng) 它的輸入流是該系統(tǒng)的輸入數(shù)據(jù) 輸出流是系統(tǒng)所輸出數(shù)據(jù)底層流圖是指其數(shù)據(jù)處理不需再做分解的數(shù)據(jù)流圖 它處在最底層中間層流圖則表示對其上層父圖的細(xì)化 它的每一數(shù)據(jù)處理可能繼續(xù)細(xì)化 形成子圖 注意的原則 1 數(shù)據(jù)流圖上所有圖形符號只限于前述四種基本圖形元素 數(shù)據(jù)流圖的主圖必須包括前述四種基本元素 缺一不可 數(shù)據(jù)流圖的主圖上的數(shù)據(jù)流必須封閉在外部實體之間 外部實體可以是一個也可以是多個 每個數(shù)據(jù)處理至少有一個輸入數(shù)據(jù)流和一個輸出數(shù)據(jù)流 在數(shù)據(jù)流圖中 需按層給數(shù)據(jù)處理框編號 編號表明該處理所處層次及上下層的親子關(guān)系 注意的原則 2 規(guī)定任何一個數(shù)據(jù)流子圖必須與它上一層的一個數(shù)據(jù)加工對應(yīng) 兩者的輸入數(shù)據(jù)流和輸出數(shù)據(jù)流必須一致 此即父圖與子圖的平衡 可以在數(shù)據(jù)流圖中加入物質(zhì)流 幫助用戶理解數(shù)據(jù)流圖 圖上每個元素都必須有名字 數(shù)據(jù)流圖中不可夾帶控制流 初畫時可以忽略瑣碎的細(xì)節(jié) 以集中精力于主要數(shù)據(jù)流 例2 結(jié)構(gòu)化分析方法步驟示例 商場業(yè)務(wù)處理系統(tǒng)假設(shè)某商場的經(jīng)營業(yè)務(wù) 商場進(jìn)貨時 先發(fā)訂貨單給供應(yīng)商 供應(yīng)商收到訂貨單 將商品發(fā)給商場 商場貨到付款 供應(yīng)商收款后 將收據(jù)發(fā)給商場 當(dāng)顧客到商場采購商品時 先下購物訂單 商場查詢庫存中是否有此種商品 若有則發(fā)貨給顧客 若沒有 則向供應(yīng)商訂貨 貨到之后再銷售給顧客 顧客收到貨物之后付款 商場開收據(jù)給顧客 商場對貨物的管理方面要求知道每種貨物詳細(xì)的銷售情況 分析業(yè)務(wù)流程 訂貨過程 分析業(yè)務(wù)流程 采購過程 第一步 繪制頂層數(shù)據(jù)流圖 1 基本思想 任何計算機系統(tǒng)都是有若干個數(shù)據(jù)源 終 點加上一個事務(wù)處理組成 首先從問題的描述中提取數(shù)據(jù)流圖中的源 終 點 數(shù)據(jù)處理 數(shù)據(jù)流和數(shù)據(jù)存儲四種成份 分析源 終 點 分析數(shù)據(jù)處理 分析數(shù)據(jù)流和數(shù)據(jù)存儲 分析數(shù)據(jù)源點和終點 如果將商場的購 銷業(yè)務(wù)系統(tǒng)看成一個整體 則外部的與這個系統(tǒng)有交往的對象 機構(gòu) 人員 或外部系統(tǒng) 是 供應(yīng)商 和 顧客 二者是商場購銷系統(tǒng)源點和終點 分析源點 終點與商場之間的數(shù)據(jù)流 數(shù)據(jù)流方向分別是 供應(yīng)商方給商場 發(fā)貨單 貨款收據(jù)顧客給商場 訂單 貨款商場給供貨商 訂貨單 貨款商場給顧客 貨物 收據(jù) 分析數(shù)據(jù)存儲 需要存儲的數(shù)據(jù)分別是庫存信息暫存訂單 缺貨訂單 采購訂單商品銷售歷史資金帳目 第一步 繪制頂層數(shù)據(jù)流圖 2 第一步 繪制頂層數(shù)據(jù)流圖 3 第一步 繪制頂層數(shù)據(jù)流圖 3 第二步 將頂層數(shù)據(jù)流圖細(xì)化 經(jīng)過分析 商店業(yè)務(wù)處理的主要數(shù)據(jù)處理是銷售 采購 會計三大數(shù)據(jù)處理 三者之間的數(shù)據(jù)流 需要存儲的數(shù)據(jù)有 DFD L2 2 采購細(xì)化 DFD L2 1 銷售細(xì)化 2 5數(shù)據(jù)詞典 DD datadictionary DD是對數(shù)據(jù)流圖中包含的所有元素的定義的集合 使得每個圖形元素的名字都有一個精確的 嚴(yán)格的定義 數(shù)據(jù)流圖和詞典結(jié)合在一起 能清楚地表達(dá)數(shù)據(jù)處理的要求 構(gòu)成了 需求說明書 2 5 1數(shù)據(jù)字典的內(nèi)容 主要描述數(shù)據(jù)流數(shù)據(jù)元素數(shù)據(jù)存儲數(shù)據(jù)處理 2 5 2定義數(shù)據(jù)的方法 1 定義數(shù)據(jù)流 數(shù)據(jù)流名 說明 簡要介紹作用即它產(chǎn)生的原因和結(jié)果 數(shù)據(jù)流來源 來自何方 數(shù)據(jù)流去向 去向何處 數(shù)據(jù)流組成 數(shù)據(jù)結(jié)構(gòu) 數(shù)據(jù)量流通量 數(shù)據(jù)量 流通量 舉例 數(shù)據(jù)流定義 2 定義數(shù)據(jù)元素 數(shù)據(jù)元素 數(shù)據(jù)項 指數(shù)據(jù)處理中最小的 不可再分的單位 描述包括 數(shù)據(jù)元素名 類型 數(shù)字 離散值 連續(xù)值 文字 編碼類型 長度 取值范圍 相關(guān)的數(shù)據(jù)元素及數(shù)據(jù)結(jié)構(gòu) 數(shù)據(jù)元素定義舉例 1 數(shù)據(jù)元素定義舉例 2 數(shù)據(jù)元素定義舉例 3 數(shù)據(jù)元素定義舉例 4 3 定義數(shù)據(jù)存儲 數(shù)據(jù)文件名 簡述 存放的是什么數(shù)據(jù)輸入數(shù)據(jù) 輸出數(shù)據(jù) 數(shù)據(jù)文件組成 數(shù)據(jù)結(jié)構(gòu)存儲方式 順序 直接 關(guān)鍵碼存取頻率 數(shù)據(jù)存儲定義舉例 1 4 定義數(shù)據(jù)處理 數(shù)據(jù)處理定義舉例 1 數(shù)據(jù)處理定義舉例 2 加工邏輯詞條說明舉例 3 源點及匯 終 點詞條描述 名稱 外部實體名簡要描述 什么外部實體有關(guān)數(shù)據(jù)流 數(shù)目 3 5數(shù)據(jù)規(guī)范化 1 第一范式每個屬性值都必須是原子值 2 第二范式滿足第一范式條件 而且每個非關(guān)鍵字屬性都由整個關(guān)鍵字決定 3 第三范式符合第二范式的條件 每個非關(guān)鍵字屬性都僅由關(guān)鍵字決定 而且一個非關(guān)鍵字屬性不能僅僅是對另一個非關(guān)鍵字屬性的進(jìn)一步描述 范式低 冗余大 范式高 分解得細(xì) 冗余小 但處理過程復(fù)雜 3 6狀態(tài)轉(zhuǎn)換圖 STD 為了直觀地分析系統(tǒng)的動作 從特定的視點出發(fā)描述系統(tǒng)的行為 需要采用動態(tài)分析的方法 狀態(tài)轉(zhuǎn)換圖是一種常用的動態(tài)分析方法 是描述系統(tǒng)的狀態(tài)如何響應(yīng)外部信號 而進(jìn)行轉(zhuǎn)換的一種圖形表示 3 6 1狀態(tài) 指任何可以被觀察到的系統(tǒng)行為模式 一個狀態(tài)代表系統(tǒng)的一種行為模式 主要有 初態(tài) 終態(tài)和中間狀態(tài) 一個狀態(tài)圖中 只能有一個初態(tài) 但可以有0 多個終態(tài) 3 6 2事件 某個特定時刻發(fā)生的事情 它是對引起系統(tǒng)做動作或 和 從一個狀態(tài)轉(zhuǎn)換到另一個狀態(tài)的外界事情的抽象 3 6 3狀態(tài)轉(zhuǎn)換圖符號 活動表語法 事件名 參數(shù)表 動作表達(dá)式常用事件名 Entry Exit Do動作表達(dá)式 應(yīng)做的具體動作事件表達(dá)式 觸發(fā)狀態(tài)轉(zhuǎn)換的事件 語法 事件說明 守衛(wèi)條件 動作表達(dá)式 其中 事件說明的語法 事件名 參數(shù)表 電話系統(tǒng)的狀態(tài)圖 電話系統(tǒng)的狀態(tài)圖 電話系統(tǒng)的狀態(tài)圖 3 7其他圖形工具 3 7 1層次方框圖 3 7 2Warnier圖 3 7 3IPO圖 3 8驗證軟件需求 問 從哪些方面驗證軟件需求的正確性 如何驗證 1 一致性自然語言書寫的需求說明 只能用人工方法驗證 形式化方法定義的可以借助驗證工具 3 8 3節(jié) 2 完整性需要用戶參與 合作 建立快速原型 3 現(xiàn)實性參照以往類似系統(tǒng) 進(jìn)行仿真或性能模擬4 有效性 用于需求分析的軟件工具 對采用形式化方法定義的需求進(jìn)行驗證的工具 應(yīng)該滿足下列要求 1 必須有形式化的語法 或表 因此可以用計算機自動處理使用這種語法說明的內(nèi)容 2 使用這個軟件工具能夠?qū)С鲈敿?xì)的文檔 3 必須提供分析 測試 規(guī)格說明書的不一致性和冗余性的手段 并且應(yīng)該能夠產(chǎn)生一組報告指明對完整性分析的結(jié)果 4 使用這個軟件工具之后 應(yīng)該能夠改進(jìn)通信狀況 如 在1977年設(shè)計完成的