軟件工程需求分析 PPT課件

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