大學(xué)課件-軟件工程第3章-需求分析

軟件工程樹(shù)上有十只鳥(niǎo)，開(kāi)槍打死一只，還剩幾只？”第3章需求分析2“是無(wú)聲手槍或別的無(wú)聲的槍嗎？”“不是?！薄皹屄曈卸啻?？”“80－100分貝?！薄澳蔷褪钦f(shuō)會(huì)震的耳朵疼？”“是?！薄霸谶@個(gè)城市里打鳥(niǎo)犯不犯法？”“不犯。。?！薄澳_定那只鳥(niǎo)真的被打死啦？”“確定。。?！薄癘K，樹(shù)上的鳥(niǎo)里有沒(méi)有聾子？”“沒(méi)有。。?！薄坝袥](méi)有關(guān)在籠子里的？”“沒(méi)有。。。”2024/5/16第3章需求分析3“邊上還有沒(méi)有其他的樹(shù)，樹(shù)上還有沒(méi)有其他鳥(niǎo)？”“沒(méi)有。。?！薄坝袥](méi)有殘疾的或餓的飛不動(dòng)的鳥(niǎo)？”“沒(méi)有。。?！薄八悴凰銘言卸亲永锏男▲B(niǎo)？”“不算。。?！薄按蝤B(niǎo)的人眼有沒(méi)有花？保證是十只？”“沒(méi)有花，就十只。。?！薄坝袥](méi)有傻的不怕死的？”“都怕死。。。”“會(huì)不會(huì)一槍打死兩只？”“不會(huì)。。。”“所有的鳥(niǎo)都可以自由活動(dòng)嗎？”“完全可以。。?！?024/5/16第3章需求分析4“OK，如果您的回答沒(méi)有騙人，打死的鳥(niǎo)要是掛在樹(shù)上沒(méi)掉下來(lái)，那么就剩一只，如果掉下來(lái)，就一只不剩?！?024/5/16第3章需求分析5為了開(kāi)發(fā)出真正滿足用戶需求的軟件產(chǎn)品，必須知道用戶的需求。對(duì)軟件需求的深入理解是軟件開(kāi)發(fā)工作獲得成功的前提和關(guān)鍵。傳統(tǒng)軟件工程方法學(xué)采用結(jié)構(gòu)化分析(StructuredAnalysis,SA)技術(shù)完成需求分析工作。2024/5/16第3章需求分析6需求分析是發(fā)現(xiàn)、求精、建模、規(guī)格說(shuō)明和復(fù)審的過(guò)程。從宏觀角度調(diào)查、分析用戶所面臨的問(wèn)題——準(zhǔn)確地了解用戶當(dāng)前的情況和需要解決的問(wèn)題。反復(fù)求精、多次細(xì)化——充分理解用戶需求，得出對(duì)目標(biāo)系統(tǒng)的完整、準(zhǔn)確和具體的要求。2024/5/16第3章需求分析7第3章需求分析2024/5/16為了更好理解問(wèn)題，常常采用建立模型的方法。模型，就是為了理解事物而對(duì)事物做出的一種抽象，是對(duì)事物的一種無(wú)歧義的書(shū)面描述。模型由一組圖形符號(hào)和組織這些符號(hào)的規(guī)則組成。結(jié)構(gòu)化分析就是一種建立模型的活動(dòng)，通常建立數(shù)據(jù)模型、功能模型和行為模型等三種模型。8寫(xiě)出準(zhǔn)確的軟件需求規(guī)格說(shuō)明。對(duì)需求分析的結(jié)果(分析模型和規(guī)格說(shuō)明)嚴(yán)格審查。2024/5/16第3章需求分析9第3章需求分析2024/5/16在分析軟件需求和編寫(xiě)軟件規(guī)格說(shuō)明的過(guò)程中，軟件開(kāi)發(fā)者和軟件用戶都起著關(guān)鍵的、必不可少的作用。用戶與開(kāi)發(fā)者之間需要盡可能多的通信、溝通。避免出現(xiàn)誤解、遺漏、二義性。10用戶開(kāi)發(fā)者分析師2024/5/16第3章需求分析11第3章需求分析2024/5/16結(jié)構(gòu)化分析方法準(zhǔn)則：必須理解和表示問(wèn)題的信息域——建立數(shù)據(jù)模型。必須定義軟件應(yīng)完成的功能——建立功能模型。必須表示作為外部事件結(jié)果的軟件行為——建立行為模型。必須對(duì)描述信息、功能和行為的模型進(jìn)行分解，用層次的方式展示細(xì)節(jié)。分析過(guò)程應(yīng)該從要素信息移向?qū)崿F(xiàn)細(xì)節(jié)。12第3章需求分析2024/5/163.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é)13確定對(duì)系統(tǒng)的綜合要求功能需求性能需求可靠性和可用性需求出錯(cuò)處理需求接口需求約束逆向需求將來(lái)可能提出的要求2024/5/163.1需求分析的任務(wù)14分析系統(tǒng)的數(shù)據(jù)要求任何軟件系統(tǒng)本質(zhì)上都是信息處理系統(tǒng)建立數(shù)據(jù)模型（E-R圖）數(shù)據(jù)字典層次方框圖Warnier圖2024/5/163.1需求分析的任務(wù)15系統(tǒng)的邏輯模型數(shù)據(jù)流圖、E-R圖、狀態(tài)轉(zhuǎn)換圖、數(shù)據(jù)字典、算法描述修正系統(tǒng)的開(kāi)發(fā)計(jì)劃2024/5/163.1需求分析的任務(wù)16軟件需求分析總是從兩方或多方之間的通信開(kāi)始。用戶面臨的問(wèn)題需要用基于計(jì)算機(jī)的方案來(lái)解決；開(kāi)發(fā)者應(yīng)該對(duì)用戶的需求作出反應(yīng)，給用戶提供幫助。這樣就產(chǎn)生了相互通信的需求。從開(kāi)始通信到真正相互理解的道路通常是充滿坎坷的。良好的通信技術(shù)有助于加快理解的過(guò)程。2024/5/163.2與用戶溝通獲取需求的方法17訪談(或稱為會(huì)談)是最早開(kāi)始運(yùn)用的獲取用戶需求的技術(shù)，也是迄今為止仍然廣泛使用的主要的需求分析技術(shù)。用例分析訪談簡(jiǎn)易應(yīng)用規(guī)格說(shuō)明技術(shù)軟件原型正式非正式2024/5/163.2.1訪談182024/5/163.2.1訪談非正式訪談中，將提出一些可以自由回答的開(kāi)放性問(wèn)題，以鼓勵(lì)被訪問(wèn)的人員表達(dá)自己的想法，例如，詢問(wèn)用戶為什么對(duì)目前正在使用的系統(tǒng)感到不滿意。19兩種基本形式——正式訪談和非正式訪談。正式訪談中，系統(tǒng)分析員將提出一些事先準(zhǔn)備好的具體問(wèn)題，例如，詢問(wèn)客戶公司銷售的商品種類、雇用的銷售人員數(shù)目以及信息反饋時(shí)間應(yīng)該多快等。3.2.1訪談2024/5/16當(dāng)需要調(diào)查大量人員的意見(jiàn)時(shí)，向被調(diào)查的人員分發(fā)調(diào)查表是一個(gè)十分有效的做法。在對(duì)用戶進(jìn)行訪談的過(guò)程中使用情景分析技術(shù)往往非常有效。所謂情景分析就是對(duì)用戶運(yùn)用目標(biāo)系統(tǒng)解決某個(gè)具體問(wèn)題的方法和結(jié)果進(jìn)行分析。某種程度演示目標(biāo)系統(tǒng)的行為，使客戶便于理解，便于挖掘需求。使用戶積極配合20數(shù)據(jù)決定了需要的處理和算法，是需求分析的出發(fā)點(diǎn)。結(jié)構(gòu)化分析方法——面向數(shù)據(jù)流的自頂向下的逐步求精進(jìn)行需求分析的方法。高層數(shù)據(jù)流圖從輸出端回溯并逐步細(xì)節(jié)化2024/5/163.2.2面向數(shù)據(jù)流自頂向下求精21圖3.1面向數(shù)據(jù)流自頂向下求精過(guò)程2024/5/163.2.2面向數(shù)據(jù)流自頂向下求精223.2.3簡(jiǎn)易的應(yīng)用規(guī)格說(shuō)明技術(shù)2024/5/16提倡用戶與開(kāi)發(fā)者密切合作，共同標(biāo)識(shí)問(wèn)題，提出解決方案的要素，商討不同的方法并指定基本的需求。簡(jiǎn)易的應(yīng)用規(guī)格說(shuō)明技術(shù)已經(jīng)成為信息系統(tǒng)界使用的主流技術(shù)。簡(jiǎn)易應(yīng)用規(guī)格說(shuō)明方法基本準(zhǔn)則：232024/5/16在中立地點(diǎn)舉行由開(kāi)發(fā)者和用戶雙方出席的會(huì)議制定準(zhǔn)備會(huì)議和參加會(huì)議的規(guī)則。提出一個(gè)議事日程，這個(gè)日程應(yīng)該足夠正式，以便能夠涵蓋所有要點(diǎn)；同時(shí)這個(gè)日程又應(yīng)該足夠非正式，以便鼓勵(lì)自由思維。由一個(gè)“協(xié)調(diào)人”來(lái)主持會(huì)議。使用一種“定義機(jī)制”(例如，工作表、圖表等)。目標(biāo)是標(biāo)識(shí)問(wèn)題、提出解決方案要素、商討不同的方法以及在有利于實(shí)現(xiàn)目標(biāo)的氛圍中指定初步的需求。243.2.3簡(jiǎn)易的應(yīng)用規(guī)格說(shuō)明技術(shù)3.2.4快速建立軟件原型2024/5/16軟件原型——最準(zhǔn)確、最有效、最強(qiáng)大的需求分析技術(shù)。演示目標(biāo)程序的主要功能。要點(diǎn)——應(yīng)該實(shí)現(xiàn)用戶看得見(jiàn)的功能(例如屏幕顯示或打印報(bào)表)，省略目標(biāo)系統(tǒng)的“隱含”功能(例如修改文件)。253.2.4快速建立軟件原型2024/5/16特性1“快速”。目的：盡快向用戶提供一個(gè)可在計(jì)算機(jī)上運(yùn)行的目標(biāo)系統(tǒng)的模型功能：使用戶和開(kāi)發(fā)者在目標(biāo)系統(tǒng)應(yīng)該“做什么”這個(gè)問(wèn)題上盡可能快地達(dá)成共識(shí)。特性2“容易修改”。如果原型的第一版不是用戶所需要的，就必須根據(jù)用戶的意見(jiàn)迅速地修改它，構(gòu)建出原型的第二版，以更好地滿足用戶的需求。重復(fù)“修改—試用—反饋”的過(guò)程，直至用戶滿意，如果修改耗時(shí)過(guò)多，勢(shì)必延誤軟件開(kāi)發(fā)時(shí)間。26構(gòu)建原型的方法和工具第四代技術(shù)（4GT）數(shù)據(jù)庫(kù)查詢和報(bào)表語(yǔ)言、程序和應(yīng)用系統(tǒng)生成器可重用的軟件構(gòu)件使用一組已有的軟件構(gòu)件來(lái)裝配原型。形式化規(guī)格說(shuō)明和原型環(huán)境Z語(yǔ)言等數(shù)據(jù)結(jié)構(gòu)（或數(shù)據(jù)庫(kù)）軟件體系結(jié)構(gòu)構(gòu)件（程序）過(guò)程構(gòu)件（模塊）2024/5/163.2.4快速建立軟件原型273.3.1分析建模結(jié)構(gòu)化分析實(shí)質(zhì)上是一種創(chuàng)建模型的活動(dòng)。通過(guò)需求分析而建立的模型必須達(dá)到三個(gè)基本目標(biāo)：描述用戶的需求。為軟件設(shè)計(jì)工作奠定基礎(chǔ)。定義一組需求，一旦開(kāi)發(fā)出軟件產(chǎn)品之后，就可以用這組需求為標(biāo)準(zhǔn)來(lái)驗(yàn)收該產(chǎn)品。2024/5/163.3分析建模與規(guī)格說(shuō)明28數(shù)據(jù)字典數(shù)據(jù)流圖E-R圖狀態(tài)轉(zhuǎn)換圖處理規(guī)格控制規(guī)格說(shuō)明數(shù)據(jù)對(duì)描象述說(shuō)明在結(jié)構(gòu)化分析過(guò)程中，導(dǎo)出的分析模型的形式2024/5/16293.3.2軟件需求規(guī)格說(shuō)明2024/5/16軟件需求規(guī)格說(shuō)明——分析階段的最終成果。軟件需求規(guī)格說(shuō)明的框架。見(jiàn)《軟件需求規(guī)格說(shuō)明書(shū)框架.doc》自然語(yǔ)言：容易書(shū)寫(xiě)、容易理解形式化方法：無(wú)歧義、明確30數(shù)據(jù)模型包含三種相互關(guān)聯(lián)的信息：數(shù)據(jù)對(duì)象描述數(shù)據(jù)對(duì)象屬性數(shù)據(jù)對(duì)象彼此間相互連接的關(guān)系2024/5/163.4實(shí)體—聯(lián)系圖31數(shù)據(jù)對(duì)象是對(duì)軟件必須理解的復(fù)合信息的表示。所謂復(fù)合信息是指具有一系列不同性質(zhì)或?qū)傩缘氖挛?，因此，僅有單個(gè)值的事物(例如寬度)不是數(shù)據(jù)對(duì)象。數(shù)據(jù)對(duì)象：只封裝了數(shù)據(jù)，區(qū)別于面向?qū)ο笾械摹邦悺被颉皩?duì)象”。2024/5/163.4.1數(shù)據(jù)對(duì)象323.4.2屬性2024/5/16屬性定義了數(shù)據(jù)對(duì)象的性質(zhì)。應(yīng)該根據(jù)對(duì)所要解決的問(wèn)題的理解，來(lái)確定特定數(shù)據(jù)對(duì)象的一組合適的屬性。333.4.3聯(lián)系2024/5/16數(shù)據(jù)對(duì)象彼此之間相互連接的方式稱為關(guān)系(聯(lián)系)。一對(duì)一聯(lián)系(1∶1)一對(duì)多聯(lián)系(1∶N)多對(duì)多聯(lián)系(M∶N)聯(lián)系也可能有屬性。343.4.4實(shí)體—聯(lián)系圖的符號(hào)必須理解和表示問(wèn)題的信息域2024/5/16使用實(shí)體—關(guān)系圖來(lái)建立數(shù)據(jù)模型，滿足第一條分析準(zhǔn)則。把實(shí)體—關(guān)系圖簡(jiǎn)稱為ER圖，用ER圖描繪的數(shù)據(jù)模型也可以稱為ER模型。ER圖中包含實(shí)體(即數(shù)據(jù)對(duì)象)、關(guān)系和屬性三種基本成分。矩形框——實(shí)體連接相關(guān)實(shí)體的菱形框——關(guān)系橢圓形或圓角矩形表示實(shí)體(或關(guān)系)的屬性用無(wú)向邊把實(shí)體(或關(guān)系)與其屬性連接起來(lái)。35某校教學(xué)管理ER圖2024/5/1636學(xué)生和課程之間的E-R模型學(xué)生和課程之間的多對(duì)多聯(lián)系E-R模型；將多對(duì)多聯(lián)系轉(zhuǎn)換為一對(duì)多聯(lián)系E-R模型選課mn學(xué)號(hào)專業(yè)年級(jí)課名課號(hào)學(xué)時(shí)學(xué)生姓名課程學(xué)分(a)1n學(xué)號(hào)專業(yè)課名課號(hào)學(xué)時(shí)學(xué)號(hào)課號(hào)n1姓名課程學(xué)生年級(jí)學(xué)分(b)選課2024/5/1637建立系統(tǒng)實(shí)體模型的步驟：對(duì)系統(tǒng)的數(shù)據(jù)域和功能域進(jìn)行分析，確定系統(tǒng)中所涉及的實(shí)體。確定系統(tǒng)中各實(shí)體之間的關(guān)系。確定各實(shí)體及聯(lián)系的屬性。2024/5/163.4實(shí)體—聯(lián)系圖38例如，在工資計(jì)算系統(tǒng)中，單位對(duì)職工的工作情況進(jìn)行考勤，根據(jù)出勤結(jié)果、基本工資檔案、獎(jiǎng)金及扣款計(jì)算職工的實(shí)發(fā)工資。工資系統(tǒng)中所涉及的實(shí)體就包括職工、出勤、獎(jiǎng)勵(lì)和扣款。2024/5/163.4實(shí)體—聯(lián)系圖393.4實(shí)體—聯(lián)系圖2024/5/16確定系統(tǒng)中各實(shí)體之間的關(guān)系。一名職工一個(gè)月只有一條出勤記錄，因此職工和出勤兩個(gè)實(shí)體之間是一對(duì)一的關(guān)系；一名職工在一個(gè)月中對(duì)應(yīng)著多項(xiàng)扣款，如水電費(fèi)、缺勤扣款、個(gè)人所得稅等，因此職工和扣款之間是一對(duì)多的關(guān)系；同理，一名職工在一個(gè)月中可以獲得多項(xiàng)獎(jiǎng)勵(lì)，因此職工和獎(jiǎng)金之間也是一對(duì)多的關(guān)系。確定各實(shí)體及聯(lián)系的屬性。例如，職工實(shí)體具有職工號(hào)、性別、職稱、年齡、部門(mén)、基本工資等屬性。40工資計(jì)算系統(tǒng)的E-R模型2024/5/1641請(qǐng)為某倉(cāng)庫(kù)的管理設(shè)計(jì)一個(gè)ER模型。該倉(cāng)庫(kù)主要管理零件的訂購(gòu)和供應(yīng)等事項(xiàng)。倉(cāng)庫(kù)向工程項(xiàng)目提供零件，并且根據(jù)需要向供應(yīng)商訂購(gòu)零件。2024/5/16思考題422024/5/16思考題答案43某學(xué)校需要開(kāi)發(fā)一個(gè)學(xué)生成績(jī)管理系統(tǒng)，教務(wù)人員可以通過(guò)該系統(tǒng)維護(hù)學(xué)生信息、課程信息和成績(jī)信息，學(xué)生可以隨時(shí)查詢自己的成績(jī)單，該系統(tǒng)的實(shí)體關(guān)系圖如下所示：請(qǐng)問(wèn)圖中是否應(yīng)該增加"教務(wù)人員"？試說(shuō)明理由。2024/5/16思考題44不應(yīng)該增加“教務(wù)人員”。因?yàn)榻虅?wù)人員只是系統(tǒng)的一個(gè)使用者，系統(tǒng)不處理其屬性信息。2024/5/16思考題答案45第一范式每個(gè)屬性值都必須是原子值，即僅僅是一個(gè)簡(jiǎn)單值而不含內(nèi)部結(jié)構(gòu)第二范式滿足第一范式的條件，而且每個(gè)非關(guān)鍵字屬性都由整個(gè)關(guān)鍵字決定（而不是由關(guān)鍵字的一部分來(lái)決定）第三范式符合第二范式條件，而且一個(gè)非關(guān)鍵字屬性不能僅僅是對(duì)另一個(gè)非關(guān)鍵字屬性的進(jìn)一步描述（即一個(gè)非關(guān)鍵字屬性值不依賴于另一個(gè)非關(guān)鍵字屬性值）2024/5/163.5數(shù)據(jù)規(guī)范化46狀態(tài)轉(zhuǎn)換圖(簡(jiǎn)稱為狀態(tài)圖)通過(guò)描繪系統(tǒng)的狀態(tài)及引起系統(tǒng)狀態(tài)轉(zhuǎn)換的事件，來(lái)表示系統(tǒng)的行為。作為特定事件的結(jié)果，系統(tǒng)將做哪些動(dòng)作。狀態(tài)圖提供了建模機(jī)制，滿足第3條分析準(zhǔn)則。必須表示作為外部事件結(jié)果的軟件行為——建立行為模型2024/5/163.6狀態(tài)轉(zhuǎn)換圖47狀態(tài)是任何可以被觀察到的系統(tǒng)行為模式，一個(gè)狀態(tài)代表系統(tǒng)的一種行為模式。狀態(tài)規(guī)定了系統(tǒng)對(duì)事件的響應(yīng)方式。系統(tǒng)對(duì)事件的響應(yīng)，既可以是做一個(gè)(或一系列)動(dòng)作，也可以是僅僅改變系統(tǒng)本身的狀態(tài)。初態(tài)、終態(tài)、中間狀態(tài)既可以表示系統(tǒng)循環(huán)運(yùn)行過(guò)程，也可以表示系統(tǒng)單程生命期2024/5/163.6.1狀態(tài)483.6.2事件2024/5/16事件是在某個(gè)特定時(shí)刻發(fā)生的事情，它是對(duì)引起系統(tǒng)從一個(gè)狀態(tài)轉(zhuǎn)換到另一個(gè)狀態(tài)的外界事件的抽象。簡(jiǎn)而言之，事件就是引起系統(tǒng)狀態(tài)轉(zhuǎn)換的控制信息。49狀態(tài)圖中使用的主要符號(hào)：初態(tài)：實(shí)心圓（只有一個(gè)）終態(tài)：同心圓（0到多個(gè)）中間狀態(tài)：圓角矩形名稱、狀態(tài)變量的名字和值、活動(dòng)表狀態(tài)轉(zhuǎn)換：箭頭2024/5/163.6.3符號(hào)50事件名/動(dòng)作表達(dá)式事件說(shuō)明[守衛(wèi)條件]/動(dòng)作表達(dá)式2024/5/16狀態(tài)圖中使用的主要符號(hào)512024/5/163.6.4狀態(tài)轉(zhuǎn)換圖示例52復(fù)印機(jī)的工作過(guò)程大致如下：未接到復(fù)印命令時(shí)處于閑置狀態(tài)，一旦接到復(fù)印命令則進(jìn)入復(fù)印狀態(tài)，完成一個(gè)復(fù)印命令規(guī)定的工作后又回到閑置狀態(tài)，等待下一個(gè)復(fù)印命令；如果執(zhí)行復(fù)印命令時(shí)發(fā)現(xiàn)沒(méi)紙，則進(jìn)入缺紙狀態(tài)，發(fā)出警告，等待裝紙，裝滿紙后進(jìn)入閑置狀態(tài)，準(zhǔn)備接收復(fù)印命令；如果復(fù)印時(shí)發(fā)生卡紙故障，則進(jìn)入卡紙狀態(tài)，發(fā)出警告，等待維修人員來(lái)排除故障，故障排除后回到閑置狀態(tài)。試用狀態(tài)轉(zhuǎn)換圖描繪復(fù)印機(jī)的行為。2024/5/16思考題532024/5/16思考題答案54某信息系統(tǒng)的用戶注冊(cè)及使用系統(tǒng)過(guò)程如下：用戶登錄系統(tǒng)，填寫(xiě)注冊(cè)信息；在注冊(cè)過(guò)程中可以關(guān)閉注冊(cè)頁(yè)面取消注冊(cè)過(guò)程；系統(tǒng)自動(dòng)判斷注冊(cè)信息是否正確，如不正確予以提示并要求用戶修改；用戶填寫(xiě)完信息之后，提交信息，待系統(tǒng)管理員審核；審核結(jié)果分為通過(guò)或者不通過(guò)；信息尚未審核之前，或者審核通過(guò)之后，用戶都可修改自己的注冊(cè)信息，重新等待管理員審核；審核之后的客戶可以使用系統(tǒng)，如果使用過(guò)程中出現(xiàn)非法操作，管理員可以凍結(jié)該用戶一段時(shí)間；凍結(jié)期結(jié)束之后根據(jù)用戶表現(xiàn)，決定繼續(xù)凍結(jié)還是取消凍結(jié)。2024/5/16思考題552024/5/16思考題答案563.7.1層次方框圖用樹(shù)形結(jié)構(gòu)的一系列多層次的矩形框描述數(shù)據(jù)的層次結(jié)構(gòu)。頂層是一個(gè)單獨(dú)的矩形框，代表完整的數(shù)據(jù)結(jié)構(gòu)下面的各層矩形框代表這個(gè)數(shù)據(jù)的子集最底層代表組成這個(gè)數(shù)據(jù)的實(shí)際數(shù)據(jù)元素2024/5/163.7其他圖形工具573.7.1層次方框圖2024/5/163.7其他圖形工具583.7.2Warnier圖也用樹(shù)形結(jié)構(gòu)描述信息可以表明信息的邏輯組織是否重復(fù)出現(xiàn)是否有條件出現(xiàn)2024/5/163.7其他圖形工具592024/5/163.7其他圖形工具603.7.3IPO圖IPO圖是輸入、處理、輸出圖的簡(jiǎn)稱左邊框中列出有關(guān)的輸入中間框中列出主要的處理右邊框中列出產(chǎn)生的輸出處理的順序暗示了執(zhí)行的順序箭頭指出數(shù)據(jù)通信的情況3.7其他圖形工具613.7.3IPO圖2024/5/163.7其他圖形工具623.8.1驗(yàn)證需求的方面一致性：任何一條需求不能與其他需求相互矛盾完整性：包含用戶需要的每一個(gè)功能或性能實(shí)現(xiàn)性：硬件、軟件技術(shù)都可以實(shí)現(xiàn)。有效性：確實(shí)能夠解決用戶面對(duì)的問(wèn)題。3.8驗(yàn)證軟件需求633.8.2驗(yàn)證需求的方法1、驗(yàn)證需求的一致性自然語(yǔ)言書(shū)寫(xiě)：人工技術(shù)審查大規(guī)模項(xiàng)目時(shí)比較困難形式化描述：軟件工具3.8驗(yàn)證軟件需求642、驗(yàn)證需求的現(xiàn)實(shí)性開(kāi)發(fā)經(jīng)驗(yàn)、仿真或性能模擬技術(shù)3、驗(yàn)證需求的完整性和有效性用戶驗(yàn)證原型3.8驗(yàn)證軟件需求653.8.3用于需求分析的軟件工具工具要求（1）必須有形式化的語(yǔ)法（2）使用這個(gè)軟件工具能夠?qū)С鲈敿?xì)的文檔（3）必須提供規(guī)格說(shuō)明書(shū)中的不一致性和冗余性的手段（4）使用這個(gè)軟件工具之后，應(yīng)該能夠改進(jìn)通信狀況3.8驗(yàn)證軟件需求663.8.3用于需求分析的軟件工具工具舉例RSL（需求陳述語(yǔ)言）PSL/PSA（問(wèn)題陳述語(yǔ)言/問(wèn)題陳述分析程序）系統(tǒng)3.8驗(yàn)證軟件需求671問(wèn)題陳述某校財(cái)務(wù)科長(zhǎng)要求系統(tǒng)分析員研究一下用學(xué)校自己的微型計(jì)算機(jī)生成工資明細(xì)表和各種財(cái)務(wù)報(bào)表的可能性。問(wèn)題定義可行性研究需求分析結(jié)構(gòu)化分析實(shí)例68預(yù)期將獲得的經(jīng)濟(jì)效益能超過(guò)開(kāi)發(fā)這個(gè)系統(tǒng)的成本么？用戶面臨的問(wèn)題究竟是什么？該校一直為人工計(jì)算工資，工作量大。項(xiàng)目預(yù)期規(guī)模目前計(jì)算工資所花費(fèi)的成本新系統(tǒng)的開(kāi)發(fā)成本運(yùn)行費(fèi)用2024/5/162問(wèn)題定義69目前，每個(gè)月由兩名會(huì)計(jì)用半個(gè)月時(shí)間計(jì)算工資和編制報(bào)表，一名會(huì)計(jì)每個(gè)月的工資和崗位津貼共約2000元，因此，每年為此項(xiàng)工作花費(fèi)的人工費(fèi)約2.4萬(wàn)元。絕大多數(shù)單位希望3年內(nèi)收回投資，因此，投資7.2萬(wàn)元是投資額度的上限值。這些數(shù)字能夠使用戶對(duì)項(xiàng)目規(guī)模有一個(gè)大概的了解。2024/5/162問(wèn)題定義70輸出：關(guān)于系統(tǒng)規(guī)模和目標(biāo)的報(bào)告書(shū)2024/5/162問(wèn)題定義71目標(biāo)：用最小的代價(jià)盡快確定問(wèn)題是否能解。步驟：澄清系統(tǒng)規(guī)模和目標(biāo)研究現(xiàn)有系統(tǒng)2024/5/163可行性