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

1、a,1,軟件需求分析的任務(wù)和過(guò)程 結(jié)構(gòu)化分析方法 原型化方法 動(dòng)態(tài)分析方法,軟件需求分析,over,a,2,軟件需求分析的任務(wù),深入描述軟件的功能和性能 確定軟件設(shè)計(jì)的約束和軟件同其它系統(tǒng)元素的接口細(xì)節(jié) 定義軟件的其它有效性需求,a,3,需求分析研究的對(duì)象是軟件項(xiàng)目的用戶要求 準(zhǔn)確地表達(dá)被接受的用戶要求 確定被開(kāi)發(fā)軟件系統(tǒng)的系統(tǒng)元素 將功能和信息結(jié)構(gòu)分配到這些系統(tǒng)元素中,a,4,需求分析的任務(wù)就是借助于當(dāng)前系統(tǒng)的邏輯模型導(dǎo)出目標(biāo)系統(tǒng)的邏輯模型，解決目標(biāo)系統(tǒng)的 “做什么” 的問(wèn)題。,a,5,通常軟件開(kāi)發(fā)項(xiàng)目是要實(shí)現(xiàn)目標(biāo)系統(tǒng)的物理模型 目標(biāo)系統(tǒng)的具體物理模型是由它的邏輯模型經(jīng)實(shí)例化，即具體到某個(gè)業(yè)

2、務(wù)領(lǐng)域而得到的,a,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),a,7,軟件的需求包括：,功能需求 性能需求 環(huán)境需求 可靠性需求 安全保密要求 用戶界面需求,資源使用需求 成本消耗需求 開(kāi)發(fā)進(jìn)度需求 預(yù)先估計(jì)以后系統(tǒng)可能達(dá)到的目標(biāo),a,8,(2) 分析與綜合 從信息流和信息結(jié)構(gòu)出發(fā)，逐步細(xì)化所有的軟件功能，找出系統(tǒng)各元素之間的聯(lián)系、接口特性和設(shè)計(jì)上的約束，分析它們是否滿足功能要求，是否合理。剔除其不合理的部分，增加其需要部分。最終綜合成系統(tǒng)的解決方案，給出目標(biāo)系統(tǒng)的詳

3、細(xì)邏輯模型。,a,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ū)ο蟮姆治龇椒ǎ∣OA）等,a,10,(3) 編制需求分析階段的文檔 軟件需求說(shuō)明書(shū) 數(shù)據(jù)要求說(shuō)明書(shū) 初步的用戶手冊(cè) 修改、完善與確定軟件開(kāi)發(fā)實(shí)施計(jì)劃,a,11,(4) 需求分析評(píng)審,系統(tǒng)定義的目標(biāo)是否與用戶的要求一致; 系統(tǒng)需求分析階段提供的文檔資料是否齊全; 文檔中的所有描述是否完整、清晰、準(zhǔn)確反映用戶要求; 與所有其它系統(tǒng)成分的重要接口是否都已經(jīng)描述;,a,12,被開(kāi)發(fā)項(xiàng)目的數(shù)據(jù)流與數(shù)據(jù)結(jié)構(gòu)是否足夠，確定; 所有圖表是否清楚，在不補(bǔ)

4、充說(shuō)明時(shí)能否理解; 主要功能是否已包括在規(guī)定的軟件范圍之內(nèi)，是否都已充分說(shuō)明; 設(shè)計(jì)的約束條件或限制條件是否符合實(shí)際; 開(kāi)發(fā)的技術(shù)風(fēng)險(xiǎn)是什么;,a,13,是否考慮過(guò)軟件需求的其它方案; 是否考慮過(guò)將來(lái)可能會(huì)提出的軟件需求; 是否詳細(xì)制定了檢驗(yàn)標(biāo)準(zhǔn)，它們能否對(duì)系統(tǒng)定義是否成功進(jìn)行確認(rèn);,a,14,需求分析流程,a,15,軟件需求分析的原則,需要能夠表達(dá)和理解問(wèn)題的信息域和功能域 要能以層次化的方式對(duì)問(wèn)題進(jìn)行分解和不斷細(xì)化 要給出系統(tǒng)的邏輯視圖和物理視圖,a,16,a,17,軟件需求規(guī)格說(shuō)明的原則,從現(xiàn)實(shí)中分離功能，即描述要“做什么”而不是“怎樣實(shí)現(xiàn)” 要求使用面向處理的規(guī)格說(shuō)明語(yǔ)言（或稱系統(tǒng)定義

5、語(yǔ)言） 如果被開(kāi)發(fā)軟件只是一個(gè)大系統(tǒng)中的一個(gè)元素，那么整個(gè)大系統(tǒng)也包括在規(guī)格說(shuō)明的描述之中,a,18,規(guī)格說(shuō)明必須包括系統(tǒng)運(yùn)行環(huán)境 規(guī)格說(shuō)明必須是一個(gè)認(rèn)識(shí)模型 規(guī)格說(shuō)明必須是可操作的 規(guī)格說(shuō)明必須容許不完備性并允許擴(kuò)充 規(guī)格說(shuō)明必須局部化和松散耦合,a,19,軟件需求方法,需求分析方法由對(duì)軟件問(wèn)題的信息域和功能域的系統(tǒng)分析過(guò)程及其表示方法組成 大多數(shù)的需求分析方法是由信息驅(qū)動(dòng)的 信息域具有三種屬性: 信息流、信息內(nèi)容和信息結(jié)構(gòu)。,a,20,結(jié)構(gòu)化分析方法,面向數(shù)據(jù)流進(jìn)行需求分析的方法 結(jié)構(gòu)化分析方法適合于數(shù)據(jù)處理類型軟件的需求分析,a,21,具體來(lái)說(shuō)，結(jié)構(gòu)化分析方法就是用抽象模型的概念，按照軟

6、件內(nèi)部數(shù)據(jù)傳遞、變換的關(guān)系，自頂向下逐層分解，直到找到滿足功能要求的所有可實(shí)現(xiàn)的軟件為止 結(jié)構(gòu)化分析方法使用工具：數(shù)據(jù)流圖，數(shù)據(jù)詞典，結(jié)構(gòu)化英語(yǔ)，判定表與判定樹(shù),a,22,數(shù)據(jù)流圖(DFD,Data Flow Diagram),數(shù)據(jù)流圖中的主要圖形元素,a,23,描述銀行取款過(guò)程的數(shù)據(jù)流圖,a,24,數(shù)據(jù)流與數(shù)據(jù)加工之間的關(guān)系,a,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),a,26,分層數(shù)據(jù)流圖,a,27,在多層數(shù)據(jù)流圖中，頂層流圖僅包含一個(gè)加工，

7、它代表被開(kāi)發(fā)系統(tǒng)。它的輸入流是該系統(tǒng)的輸入數(shù)據(jù)，輸出流是系統(tǒng)所輸出數(shù)據(jù) 底層流圖是指其加工不需再做分解的數(shù)據(jù)流圖，它處在最底層 中間層流圖則表示對(duì)其上層父圖的細(xì)化。它的每一加工可能繼續(xù)細(xì)化，形成子圖。,a,28,結(jié)構(gòu)化分析方法步驟示例 商店業(yè)務(wù)處理系統(tǒng),a,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ù)處理流程,a,30,經(jīng)過(guò)分析，商店業(yè)務(wù)處理的主要功能應(yīng)當(dāng)有銷(xiāo)售、采購(gòu)、會(huì)計(jì)三大項(xiàng)。主要數(shù)據(jù)流輸入的源點(diǎn)和輸出終點(diǎn)是顧客和供應(yīng)商。 然后從輸入端開(kāi)始，根據(jù)商店業(yè)務(wù)

8、工作流程，畫(huà)出數(shù)據(jù)流流經(jīng)的各加工框，逐步畫(huà)到輸出端，得到第一層數(shù)據(jù)流圖,a,31,第一層數(shù)據(jù)流圖,a,32,加細(xì)每一個(gè)加工框 銷(xiāo)售細(xì)化,a,33,采購(gòu)細(xì)化,a,34,檢查和修改數(shù)據(jù)流圖的原則,數(shù)據(jù)流圖上所有圖形符號(hào)只限于前述四種基本圖形元素 數(shù)據(jù)流圖的主圖必須包括前述四種基本元素，缺一不可 數(shù)據(jù)流圖的主圖上的數(shù)據(jù)流必須封閉在外部實(shí)體之間 每個(gè)加工至少有一個(gè)輸入數(shù)據(jù)流和一個(gè)輸出數(shù)據(jù)流,a,35,在數(shù)據(jù)流圖中，需按層給加工框編號(hào)。編號(hào)表明該加工所處層次及上下層的親子關(guān)系 規(guī)定任何一個(gè)數(shù)據(jù)流子圖必須與它上一層的一個(gè)加工對(duì)應(yīng)，兩者的輸入數(shù)據(jù)流和輸出數(shù)據(jù)流必須一致。此即父圖與子圖的平衡,a,36,圖上每

9、個(gè)元素都必須有名字 數(shù)據(jù)流圖中不可夾帶控制流 初畫(huà)時(shí)可以忽略瑣碎的細(xì)節(jié)，以集中精力于主要數(shù)據(jù)流,a,37,數(shù)據(jù)詞典（DD，Data Dictionary）,數(shù)據(jù)詞典與數(shù)據(jù)流圖配合，能清楚地表達(dá)數(shù)據(jù)處理的要求 詞條描述 對(duì)于在數(shù)據(jù)流圖中每一個(gè)被命名的圖形元素，均加以定義，其內(nèi)容有:名字，別名或編號(hào)，分類，描述，定義，位置，其它，等,a,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ù)量，流通量,a,39,（2）數(shù)據(jù)元素詞條描述,數(shù)據(jù)元素名： 類型：數(shù)字（離散值，連續(xù)值），文字（編碼

10、類型） 長(zhǎng)度： 取值范圍： 相關(guān)的數(shù)據(jù)元素及數(shù)據(jù)結(jié)構(gòu)：,a,40,（3）數(shù)據(jù)文件詞條描述,數(shù)據(jù)文件名： 簡(jiǎn)述：存放的是什么數(shù)據(jù) 輸入數(shù)據(jù)： 輸出數(shù)據(jù)： 數(shù)據(jù)文件組成：數(shù)據(jù)結(jié)構(gòu) 存儲(chǔ)方式：順序，直接，關(guān)鍵碼 存取頻率：,a,41,（4）加工邏輯詞條描述,加工名： 加工編號(hào)：反映該加工的層次 簡(jiǎn)要描述：加工邏輯及功能簡(jiǎn)述 輸入數(shù)據(jù)流： 輸出數(shù)據(jù)流： 加工邏輯：簡(jiǎn)述加工程序，加工順序,a,42,（5）源點(diǎn)及匯(終)點(diǎn)詞條描述,名稱：外部實(shí)體名 簡(jiǎn)要描述：什么外部實(shí)體 有關(guān)數(shù)據(jù)流： 數(shù)目：,a,43,數(shù)據(jù)結(jié)構(gòu)的描述,符 號(hào) 含 義 舉 例 被定義為 與 x = ab .,. 或 .|. 或 x = a

11、,b，x = a|b . 或 m.n 重復(fù) x = a， x = 3a8 (.) 可選 x = (a) “.” 基本數(shù)據(jù)元素 x = “a” . 連結(jié)符 x = 1.9,a,44,存折格式,a,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ù)核,a,46,對(duì)數(shù)據(jù)流圖的每一個(gè)基本加工，必須有一個(gè)基本加工邏輯說(shuō)明 基本加工邏輯說(shuō)明必須描述基本加工如何把輸入

12、數(shù)據(jù)流變換為輸出數(shù)據(jù)流的加工規(guī)則,基本加工邏輯說(shuō)明,a,47,加工邏輯說(shuō)明必須描述實(shí)現(xiàn)加工的策略而不是實(shí)現(xiàn)加工的細(xì)節(jié) 加工邏輯說(shuō)明中包含的信息應(yīng)是充足的，完備的，有用的，沒(méi)有重復(fù)的多余信息,a,48,用于寫(xiě)加工邏輯說(shuō)明的工具, 結(jié)構(gòu)化英語(yǔ) 判定表 判定樹(shù),a,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等組成。,a,50,是一種介于自然語(yǔ)言和形式化語(yǔ)言之間的語(yǔ)言 語(yǔ)言的正文用基本控制結(jié)構(gòu)進(jìn)行分割，加工中的操作用自然語(yǔ)言短語(yǔ)來(lái)表示 其基本控

13、制結(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)；,a,51,商店業(yè)務(wù)處理系統(tǒng)中“檢查發(fā)貨單”,IF 發(fā)貨單金額超過(guò)$500 THEN IF 欠款超過(guò)了60天 THEN 在償還欠款前不予批準(zhǔn) ELSE （欠款未超期） 發(fā)批準(zhǔn)書(shū)，發(fā)貨單 ENDIF ELSE （發(fā)貨單金額未超過(guò)$500） IF 欠款超過(guò)60天 THEN 發(fā)批準(zhǔn)書(shū)，發(fā)貨單及賒欠報(bào)告 ELSE （欠款未超期） 發(fā)批準(zhǔn)書(shū)，發(fā)貨單 ENDIF ENDIF,a,52,（2）判定表,如果數(shù)據(jù)流圖的加工需要依賴于多個(gè)邏輯條件的取值，使用判定表來(lái)描述比較合適,a,53,以“檢查發(fā)貨單”為例,a,54,（3）判定樹(shù),判定樹(shù)也是用來(lái)表達(dá)加工邏輯的一種工具。有時(shí)侯它比判定表更直觀。,a,55,back,a,56,最常用的動(dòng)態(tài)分析方法,狀態(tài)遷移圖 時(shí)序圖 Petri網(wǎng),a,57,狀態(tài)遷移圖,狀態(tài)遷移圖是描述系統(tǒng)的狀態(tài)如何相應(yīng)外部的信號(hào)進(jìn)行推移的一種圖形表示。 圓圈“”表示可得到的系統(tǒng)狀態(tài) 箭頭“”表