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

軟件需求分析的任務(wù)和過程第1頁，課件共61頁，創(chuàng)作于2023年2月軟件需求分析的任務(wù)深入描述軟件的功能和性能確定軟件設(shè)計的約束和軟件同其它系統(tǒng)元素的接口細節(jié)定義軟件的其它有效性需求第2頁，課件共61頁，創(chuàng)作于2023年2月需求分析研究的對象是軟件項目的用戶要求準確地表達被接受的用戶要求確定被開發(fā)軟件系統(tǒng)的系統(tǒng)元素將功能和信息結(jié)構(gòu)分配到這些系統(tǒng)元素中第3頁，課件共61頁，創(chuàng)作于2023年2月需求分析的任務(wù)就是借助于當前系統(tǒng)的邏輯模型導出目標系統(tǒng)的邏輯模型，解決目標系統(tǒng)的“做什么”的問題。第4頁，課件共61頁，創(chuàng)作于2023年2月通常軟件開發(fā)項目是要實現(xiàn)目標系統(tǒng)的物理模型目標系統(tǒng)的具體物理模型是由它的邏輯模型經(jīng)實例化，即具體到某個業(yè)務(wù)領(lǐng)域而得到的第5頁，課件共61頁，創(chuàng)作于2023年2月需求分析的過程(1)問題識別

從系統(tǒng)的角度來理解軟件并評審軟件范圍是否恰當確定對目標系統(tǒng)的綜合要求，即軟件的需求提出這些需求實現(xiàn)條件，以及需求應(yīng)達到的標準第6頁，課件共61頁，創(chuàng)作于2023年2月軟件的需求包括：功能需求性能需求環(huán)境需求可靠性需求安全保密要求用戶界面需求資源使用需求成本消耗需求開發(fā)進度需求預(yù)先估計以后系統(tǒng)可能達到的目標第7頁，課件共61頁，創(chuàng)作于2023年2月(2)分析與綜合 從信息流和信息結(jié)構(gòu)出發(fā)，逐步細化所有的軟件功能，找出系統(tǒng)各元素之間的聯(lián)系、接口特性和設(shè)計上的約束，分析它們是否滿足功能要求，是否合理。剔除其不合理的部分，增加其需要部分。最終綜合成系統(tǒng)的解決方案，給出目標系統(tǒng)的詳細邏輯模型。第8頁，課件共61頁，創(chuàng)作于2023年2月常用的分析方法面向數(shù)據(jù)流的結(jié)構(gòu)化分析方法（SA）面向數(shù)據(jù)結(jié)構(gòu)的Jackson方法（JSD）結(jié)構(gòu)化數(shù)據(jù)系統(tǒng)開發(fā)方法（DSSD）面向?qū)ο蟮姆治龇椒ǎ∣OA）等第9頁，課件共61頁，創(chuàng)作于2023年2月(3)編制需求分析階段的文檔?軟件需求說明書?數(shù)據(jù)要求說明書?初步的用戶手冊?修改、完善與確定軟件開發(fā)實施計劃第10頁，課件共61頁，創(chuàng)作于2023年2月(4)

需求分析評審系統(tǒng)定義的目標是否與用戶的要求一致;系統(tǒng)需求分析階段提供的文檔資料是否齊全;文檔中的所有描述是否完整、清晰、準確反映用戶要求;與所有其它系統(tǒng)成分的重要接口是否都已經(jīng)描述;第11頁，課件共61頁，創(chuàng)作于2023年2月被開發(fā)項目的數(shù)據(jù)流與數(shù)據(jù)結(jié)構(gòu)是否足夠，確定;所有圖表是否清楚，在不補充說明時能否理解;主要功能是否已包括在規(guī)定的軟件范圍之內(nèi)，是否都已充分說明;設(shè)計的約束條件或限制條件是否符合實際;開發(fā)的技術(shù)風險是什么;第12頁，課件共61頁，創(chuàng)作于2023年2月是否考慮過軟件需求的其它方案;是否考慮過將來可能會提出的軟件需求;是否詳細制定了檢驗標準，它們能否對系統(tǒng)定義是否成功進行確認;第13頁，課件共61頁，創(chuàng)作于2023年2月需求分析流程第14頁，課件共61頁，創(chuàng)作于2023年2月軟件需求分析的原則需要能夠表達和理解問題的信息域和功能域要能以層次化的方式對問題進行分解和不斷細化要給出系統(tǒng)的邏輯視圖和物理視圖第15頁，課件共61頁，創(chuàng)作于2023年2月第16頁，課件共61頁，創(chuàng)作于2023年2月軟件需求規(guī)格說明的原則從現(xiàn)實中分離功能，即描述要“做什么”而不是“怎樣實現(xiàn)”要求使用面向處理的規(guī)格說明語言（或稱系統(tǒng)定義語言）如果被開發(fā)軟件只是一個大系統(tǒng)中的一個元素，那么整個大系統(tǒng)也包括在規(guī)格說明的描述之中第17頁，課件共61頁，創(chuàng)作于2023年2月規(guī)格說明必須包括系統(tǒng)運行環(huán)境規(guī)格說明必須是一個認識模型規(guī)格說明必須是可操作的規(guī)格說明必須容許不完備性并允許擴充規(guī)格說明必須局部化和松散耦合第18頁，課件共61頁，創(chuàng)作于2023年2月軟件需求方法需求分析方法由對軟件問題的信息域和功能域的系統(tǒng)分析過程及其表示方法組成大多數(shù)的需求分析方法是由信息驅(qū)動的信息域具有三種屬性:信息流、信息內(nèi)容和信息結(jié)構(gòu)。第19頁，課件共61頁，創(chuàng)作于2023年2月結(jié)構(gòu)化分析方法

面向數(shù)據(jù)流進行需求分析的方法結(jié)構(gòu)化分析方法適合于數(shù)據(jù)處理類型軟件的需求分析第20頁，課件共61頁，創(chuàng)作于2023年2月具體來說，結(jié)構(gòu)化分析方法就是用抽象模型的概念，按照軟件內(nèi)部數(shù)據(jù)傳遞、變換的關(guān)系，自頂向下逐層分解，直到找到滿足功能要求的所有可實現(xiàn)的軟件為止結(jié)構(gòu)化分析方法使用工具：數(shù)據(jù)流圖，數(shù)據(jù)詞典，結(jié)構(gòu)化英語，判定表與判定樹第21頁，課件共61頁，創(chuàng)作于2023年2月數(shù)據(jù)流圖(DFD,DataFlowDiagram)數(shù)據(jù)流圖中的主要圖形元素第22頁，課件共61頁，創(chuàng)作于2023年2月描述銀行取款過程的數(shù)據(jù)流圖第23頁，課件共61頁，創(chuàng)作于2023年2月數(shù)據(jù)流與數(shù)據(jù)加工之間的關(guān)系第24頁，課件共61頁，創(chuàng)作于2023年2月數(shù)據(jù)流圖的層次結(jié)構(gòu)為了表達數(shù)據(jù)處理過程的數(shù)據(jù)加工情況，需要采用層次結(jié)構(gòu)的數(shù)據(jù)流圖。按照系統(tǒng)的層次結(jié)構(gòu)進行逐步分解，并以分層的數(shù)據(jù)流圖反映這種結(jié)構(gòu)關(guān)系，能清楚地表達和容易理解整個系統(tǒng)第25頁，課件共61頁，創(chuàng)作于2023年2月分層數(shù)據(jù)流圖第26頁，課件共61頁，創(chuàng)作于2023年2月在多層數(shù)據(jù)流圖中，頂層流圖僅包含一個加工，它代表被開發(fā)系統(tǒng)。它的輸入流是該系統(tǒng)的輸入數(shù)據(jù)，輸出流是系統(tǒng)所輸出數(shù)據(jù)底層流圖是指其加工不需再做分解的數(shù)據(jù)流圖，它處在最底層中間層流圖則表示對其上層父圖的細化。它的每一加工可能繼續(xù)細化，形成子圖。第27頁，課件共61頁，創(chuàng)作于2023年2月

結(jié)構(gòu)化分析方法步驟示例

商店業(yè)務(wù)處理系統(tǒng)第28頁，課件共61頁，創(chuàng)作于2023年2月這個數(shù)據(jù)流圖只是一個高層的系統(tǒng)邏輯模型，它反映了目標系統(tǒng)要實現(xiàn)的功能(上下文圖）數(shù)據(jù)流圖繪制步驟首先確定系統(tǒng)的輸入和輸出根據(jù)商店業(yè)務(wù)，畫出頂層數(shù)據(jù)流圖，以反映最主要業(yè)務(wù)處理流程第29頁，課件共61頁，創(chuàng)作于2023年2月經(jīng)過分析，商店業(yè)務(wù)處理的主要功能應(yīng)當有銷售、采購、會計三大項。主要數(shù)據(jù)流輸入的源點和輸出終點是顧客和供應(yīng)商。然后從輸入端開始，根據(jù)商店業(yè)務(wù)工作流程，畫出數(shù)據(jù)流流經(jīng)的各加工框，逐步畫到輸出端，得到第一層數(shù)據(jù)流圖第30頁，課件共61頁，創(chuàng)作于2023年2月第一層數(shù)據(jù)流圖第31頁，課件共61頁，創(chuàng)作于2023年2月加細每一個加工框 銷售細化第32頁，課件共61頁，創(chuàng)作于2023年2月采購細化第33頁，課件共61頁，創(chuàng)作于2023年2月檢查和修改數(shù)據(jù)流圖的原則數(shù)據(jù)流圖上所有圖形符號只限于前述四種基本圖形元素數(shù)據(jù)流圖的主圖必須包括前述四種基本元素，缺一不可數(shù)據(jù)流圖的主圖上的數(shù)據(jù)流必須封閉在外部實體之間每個加工至少有一個輸入數(shù)據(jù)流和一個輸出數(shù)據(jù)流第34頁，課件共61頁，創(chuàng)作于2023年2月在數(shù)據(jù)流圖中，需按層給加工框編號。編號表明該加工所處層次及上下層的親子關(guān)系規(guī)定任何一個數(shù)據(jù)流子圖必須與它上一層的一個加工對應(yīng)，兩者的輸入數(shù)據(jù)流和輸出數(shù)據(jù)流必須一致。此即父圖與子圖的平衡第35頁，課件共61頁，創(chuàng)作于2023年2月圖上每個元素都必須有名字數(shù)據(jù)流圖中不可夾帶控制流初畫時可以忽略瑣碎的細節(jié)，以集中精力于主要數(shù)據(jù)流第36頁，課件共61頁，創(chuàng)作于2023年2月數(shù)據(jù)詞典（DD，DataDictionary）數(shù)據(jù)詞典與數(shù)據(jù)流圖配合，能清楚地表達數(shù)據(jù)處理的要求詞條描述——對于在數(shù)據(jù)流圖中每一個被命名的圖形元素，均加以定義，其內(nèi)容有:名字，別名或編號，分類，描述，定義，位置，其它，等第37頁，課件共61頁，創(chuàng)作于2023年2月（1）數(shù)據(jù)流詞條描述數(shù)據(jù)流名：說明：簡要介紹作用即它產(chǎn)生的原因和結(jié)果數(shù)據(jù)流來源：來自何方數(shù)據(jù)流去向：去向何處數(shù)據(jù)流組成：數(shù)據(jù)結(jié)構(gòu)數(shù)據(jù)量流通量：數(shù)據(jù)量，流通量第38頁，課件共61頁，創(chuàng)作于2023年2月（2）數(shù)據(jù)元素詞條描述數(shù)據(jù)元素名：類型：數(shù)字（離散值，連續(xù)值），文字（編碼類型）長度：取值范圍：相關(guān)的數(shù)據(jù)元素及數(shù)據(jù)結(jié)構(gòu)：第39頁，課件共61頁，創(chuàng)作于2023年2月（3）數(shù)據(jù)文件詞條描述數(shù)據(jù)文件名：簡述：存放的是什么數(shù)據(jù)輸入數(shù)據(jù)：輸出數(shù)據(jù)：數(shù)據(jù)文件組成：數(shù)據(jù)結(jié)構(gòu)存儲方式：順序，直接，關(guān)鍵碼存取頻率：第40頁，課件共61頁，創(chuàng)作于2023年2月（4）加工邏輯詞條描述加工名：加工編號：反映該加工的層次簡要描述：加工邏輯及功能簡述輸入數(shù)據(jù)流：輸出數(shù)據(jù)流：加工邏輯：簡述加工程序，加工順序第41頁，課件共61頁，創(chuàng)作于2023年2月（5）源點及匯(終)點詞條描述名稱：外部實體名簡要描述：什么外部實體有關(guān)數(shù)據(jù)流：數(shù)目：第42頁，課件共61頁，創(chuàng)作于2023年2月數(shù)據(jù)結(jié)構(gòu)的描述

符號

含義

舉例＝被定義為＋與

x=a＋b[...,...]或[...|...]或

x=[a,b]，x=[a|b]{...}或m{...}n重復

x={a}，x=3{a}8(...)可選

x=(a)“...”基本數(shù)據(jù)元素

x=“a”.. 連結(jié)符

x=1..9第43頁，課件共61頁，創(chuàng)作于2023年2月存折格式第44頁，課件共61頁，創(chuàng)作于2023年2月存折＝戶名＋所號＋帳號＋開戶日＋性質(zhì)＋（印密）＋1{存取行}50戶名＝2{字母}24所號＝“001”..“999”帳號＝“00000001”..“99999999”開戶日＝年＋月＋日性質(zhì)＝“1”..“6”注：“1”表示普通戶，“5”表示工資戶等印密＝“0”注：印密在存折上不顯示存取行＝日期＋（摘要）＋支出＋存入＋余額＋操作＋復核第45頁，課件共61頁，創(chuàng)作于2023年2月

對數(shù)據(jù)流圖的每一個基本加工，必須有一個基本加工邏輯說明基本加工邏輯說明必須描述基本加工如何把輸入數(shù)據(jù)流變換為輸出數(shù)據(jù)流的加工規(guī)則基本加工邏輯說明第46頁，課件共61頁，創(chuàng)作于2023年2月加工邏輯說明必須描述實現(xiàn)加工的策略而不是實現(xiàn)加工的細節(jié)加工邏輯說明中包含的信息應(yīng)是充足的，完備的，有用的，沒有重復的多余信息第47頁，課件共61頁，創(chuàng)作于2023年2月用于寫加工邏輯說明的工具?

結(jié)構(gòu)化英語?

判定表?

判定樹第48頁，課件共61頁，創(chuàng)作于2023年2月（1）結(jié)構(gòu)化英語結(jié)構(gòu)化英語的詞匯表由英語命令動詞數(shù)據(jù)詞典中定義的名字有限的自定義詞邏輯關(guān)系詞IF_THEN_ELSE、

CASE_OF、

WHILE_DO、

REPEAT_UNTIL等組成。第49頁，課件共61頁，創(chuàng)作于2023年2月是一種介于自然語言和形式化語言之間的語言語言的正文用基本控制結(jié)構(gòu)進行分割，加工中的操作用自然語言短語來表示其基本控制結(jié)構(gòu)有三種：簡單陳述句結(jié)構(gòu)：避免復合語句；重復結(jié)構(gòu)：WHILE_DO或

REPEAT_UNTIL結(jié)構(gòu)。判定結(jié)構(gòu)：IF_THEN_ELSE或

CASE_OF結(jié)構(gòu)；第50頁，課件共61頁，創(chuàng)作于2023年2月商店業(yè)務(wù)處理系統(tǒng)中“檢查發(fā)貨單”IF發(fā)貨單金額超過$500THENIF欠款超過了60天THEN在償還欠款前不予批準ELSE（欠款未超期）發(fā)批準書，發(fā)貨單ENDIFELSE（發(fā)貨單金額未超過$500）IF欠款超過60天THEN發(fā)批準書，發(fā)貨單及賒欠報告ELSE（欠款未超期）發(fā)批準書，發(fā)貨單ENDIFENDIF第51頁，課件共61頁，創(chuàng)作于2023年2月（2）判定表如果數(shù)據(jù)流圖的加工需要依賴于多個邏輯條件的取值，使用判定表來描述比較合適第52頁，課件共61頁，創(chuàng)作于2023年2月以“檢查發(fā)貨單”為例第53頁，課件共61頁，創(chuàng)作于2023年2月（3）判定樹