大連理工軟件學(xué)院軟件工程課件

大連理工大學(xué)軟件學(xué)院軟件工程2023/7/22大連理工大學(xué)軟件學(xué)院2第3章需求分析樹上有十只鳥，開槍打死一只，還剩幾只？”2023/7/22大連理工大學(xué)軟件學(xué)院3第3章需求分析“是無聲手槍或別的無聲的槍嗎？”“不是?！薄皹屄曈卸啻?？”“80－100分貝?！薄澳蔷褪钦f會震的耳朵疼？”“是?！薄霸谶@個城市里打鳥犯不犯法？”“不犯。。?！薄澳_定那只鳥真的被打死啦？”“確定。。?！薄癘K，樹上的鳥里有沒有聾子？”“沒有。。。”“有沒有關(guān)在籠子里的？”“沒有。。?！?023/7/22大連理工大學(xué)軟件學(xué)院4第3章需求分析“邊上還有沒有其他的樹，樹上還有沒有其他鳥？”“沒有。。?！薄坝袥]有殘疾的或餓的飛不動的鳥？”“沒有。。?！薄八悴凰銘言卸亲永锏男▲B？”“不算。。?！薄按蝤B的人眼有沒有花？保證是十只？”“沒有花，就十只。。?！薄坝袥]有傻的不怕死的？”“都怕死。。?！薄皶粫粯尨蛩纼芍?？”“不會。。?！薄八械镍B都可以自由活動嗎？”“完全可以。。?！?023/7/22大連理工大學(xué)軟件學(xué)院5第3章需求分析“OK，如果您的回答沒有騙人，打死的鳥要是掛在樹上沒掉下來，那么就剩一只，如果掉下來，就一只不剩?！?023/7/22大連理工大學(xué)軟件學(xué)院6第3章需求分析為了開發(fā)出真正滿足用戶需求的軟件產(chǎn)品，必須知道用戶的需求。對軟件需求的深入理解是軟件開發(fā)工作獲得成功的前提和關(guān)鍵。傳統(tǒng)軟件工程方法學(xué)采用結(jié)構(gòu)化分析(StructuredAnalysis,SA)技術(shù)完成需求分析工作。2023/7/22大連理工大學(xué)軟件學(xué)院7第3章需求分析需求分析是發(fā)現(xiàn)、求精、建模、規(guī)格說明和復(fù)審的過程。從宏觀角度調(diào)查、分析用戶所面臨的問題——準(zhǔn)確地了解用戶當(dāng)前的情況和需要解決的問題。反復(fù)求精、多次細化——充分理解用戶需求，得出對目標(biāo)系統(tǒng)的完整、準(zhǔn)確和具體的要求。2023/7/22大連理工大學(xué)軟件學(xué)院8為了更好理解問題，常常采用建立模型的方法。模型，就是為了理解事物而對事物做出的一種抽象，是對事物的一種無歧義的書面描述。模型由一組圖形符號和組織這些符號的規(guī)則組成。結(jié)構(gòu)化分析就是一種建立模型的活動，通常建立數(shù)據(jù)模型、功能模型和行為模型等三種模型。第3章需求分析2023/7/22大連理工大學(xué)軟件學(xué)院9第3章需求分析寫出準(zhǔn)確的軟件需求規(guī)格說明。對需求分析的結(jié)果(分析模型和規(guī)格說明)嚴(yán)格審查。2023/7/22大連理工大學(xué)軟件學(xué)院10在分析軟件需求和編寫軟件規(guī)格說明的過程中，軟件開發(fā)者和軟件用戶都起著關(guān)鍵的、必不可少的作用。用戶與開發(fā)者之間需要盡可能多的通信、溝通。避免出現(xiàn)誤解、遺漏、二義性。第3章需求分析2023/7/22大連理工大學(xué)軟件學(xué)院11第3章需求分析用戶開發(fā)者分析師2023/7/22大連理工大學(xué)軟件學(xué)院12結(jié)構(gòu)化分析方法準(zhǔn)則：必須理解和表示問題的信息域——建立數(shù)據(jù)模型。必須定義軟件應(yīng)完成的功能——建立功能模型。必須表示作為外部事件結(jié)果的軟件行為——建立行為模型。必須對描述信息、功能和行為的模型進行分解，用層次的方式展示細節(jié)。分析過程應(yīng)該從要素信息移向?qū)崿F(xiàn)細節(jié)。第3章需求分析2023/7/22大連理工大學(xué)軟件學(xué)院133.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é)第3章需求分析2023/7/22大連理工大學(xué)軟件學(xué)院143.1需求分析的任務(wù)確定對系統(tǒng)的綜合要求功能需求性能需求可靠性和可用性需求出錯處理需求接口需求約束逆向需求將來可能提出的要求2023/7/22大連理工大學(xué)軟件學(xué)院153.1需求分析的任務(wù)分析系統(tǒng)的數(shù)據(jù)要求任何軟件系統(tǒng)本質(zhì)上都是信息處理系統(tǒng)建立數(shù)據(jù)模型（E-R圖）數(shù)據(jù)字典層次方框圖Warnier圖2023/7/22大連理工大學(xué)軟件學(xué)院163.1需求分析的任務(wù)系統(tǒng)的邏輯模型數(shù)據(jù)流圖、E-R圖、狀態(tài)轉(zhuǎn)換圖、數(shù)據(jù)字典、算法描述修正系統(tǒng)的開發(fā)計劃2023/7/22大連理工大學(xué)軟件學(xué)院173.2與用戶溝通獲取需求的方法軟件需求分析總是從兩方或多方之間的通信開始。用戶面臨的問題需要用基于計算機的方案來解決；開發(fā)者應(yīng)該對用戶的需求作出反應(yīng)，給用戶提供幫助。這樣就產(chǎn)生了相互通信的需求。從開始通信到真正相互理解的道路通常是充滿坎坷的。良好的通信技術(shù)有助于加快理解的過程。2023/7/22大連理工大學(xué)軟件學(xué)院183.2.1

訪談訪談(或稱為會談)是最早開始運用的獲取用戶需求的技術(shù)，也是迄今為止仍然廣泛使用的主要的需求分析技術(shù)。用例分析訪談簡易應(yīng)用規(guī)格說明技術(shù)軟件原型正式非正式2023/7/22大連理工大學(xué)軟件學(xué)院193.2.1訪談兩種基本形式——正式訪談和非正式訪談。正式訪談中，系統(tǒng)分析員將提出一些事先準(zhǔn)備好的具體問題，例如，詢問客戶公司銷售的商品種類、雇用的銷售人員數(shù)目以及信息反饋時間應(yīng)該多快等。非正式訪談中，將提出一些可以自由回答的開放性問題，以鼓勵被訪問的人員表達自己的想法，例如，詢問用戶為什么對目前正在使用的系統(tǒng)感到不滿意。2023/7/22大連理工大學(xué)軟件學(xué)院20當(dāng)需要調(diào)查大量人員的意見時，向被調(diào)查的人員分發(fā)調(diào)查表是一個十分有效的做法。在對用戶進行訪談的過程中使用情景分析技術(shù)往往非常有效。所謂情景分析就是對用戶運用目標(biāo)系統(tǒng)解決某個具體問題的方法和結(jié)果進行分析。某種程度演示目標(biāo)系統(tǒng)的行為，使客戶便于理解，便于挖掘需求。使用戶積極配合3.2.1訪談2023/7/22大連理工大學(xué)軟件學(xué)院213.2.2面向數(shù)據(jù)流自頂向下求精數(shù)據(jù)決定了需要的處理和算法，是需求分析的出發(fā)點。結(jié)構(gòu)化分析方法——面向數(shù)據(jù)流的自頂向下的逐步求精進行需求分析的方法。高層數(shù)據(jù)流圖從輸出端回溯并逐步細節(jié)化2023/7/22大連理工大學(xué)軟件學(xué)院223.2.2面向數(shù)據(jù)流自頂向下求精圖3.1面向數(shù)據(jù)流自頂向下求精過程2023/7/22大連理工大學(xué)軟件學(xué)院23提倡用戶與開發(fā)者密切合作，共同標(biāo)識問題，提出解決方案的要素，商討不同的方法并指定基本的需求。簡易的應(yīng)用規(guī)格說明技術(shù)已經(jīng)成為信息系統(tǒng)界使用的主流技術(shù)。簡易應(yīng)用規(guī)格說明方法基本準(zhǔn)則：3.2.3簡易的應(yīng)用規(guī)格說明技術(shù)2023/7/22大連理工大學(xué)軟件學(xué)院24在中立地點舉行由開發(fā)者和用戶雙方出席的會議制定準(zhǔn)備會議和參加會議的規(guī)則。提出一個議事日程，這個日程應(yīng)該足夠正式，以便能夠涵蓋所有要點；同時這個日程又應(yīng)該足夠非正式，以便鼓勵自由思維。由一個“協(xié)調(diào)人”來主持會議。使用一種“定義機制”(例如，工作表、圖表等)。目標(biāo)是標(biāo)識問題、提出解決方案要素、商討不同的方法以及在有利于實現(xiàn)目標(biāo)的氛圍中指定初步的需求。3.2.3簡易的應(yīng)用規(guī)格說明技術(shù)2023/7/22大連理工大學(xué)軟件學(xué)院25軟件原型——最準(zhǔn)確、最有效、最強大的需求分析技術(shù)。演示目標(biāo)程序的主要功能。要點——應(yīng)該實現(xiàn)用戶看得見的功能(例如屏幕顯示或打印報表)，省略目標(biāo)系統(tǒng)的“隱含”功能(例如修改文件)。3.2.4快速建立軟件原型2023/7/22大連理工大學(xué)軟件學(xué)院26特性1“快速”。目的：盡快向用戶提供一個可在計算機上運行的目標(biāo)系統(tǒng)的模型功能：使用戶和開發(fā)者在目標(biāo)系統(tǒng)應(yīng)該“做什么”這個問題上盡可能快地達成共識。特性2“容易修改”。如果原型的第一版不是用戶所需要的，就必須根據(jù)用戶的意見迅速地修改它，構(gòu)建出原型的第二版，以更好地滿足用戶的需求。重復(fù)“修改—試用—反饋”的過程，直至用戶滿意，如果修改耗時過多，勢必延誤軟件開發(fā)時間。3.2.4快速建立軟件原型2023/7/22大連理工大學(xué)軟件學(xué)院273.2.4快速建立軟件原型構(gòu)建原型的方法和工具第四代技術(shù)（4GT）數(shù)據(jù)庫查詢和報表語言、程序和應(yīng)用系統(tǒng)生成器可重用的軟件構(gòu)件使用一組已有的軟件構(gòu)件來裝配原型。形式化規(guī)格說明和原型環(huán)境Z語言等數(shù)據(jù)結(jié)構(gòu)（或數(shù)據(jù)庫）軟件體系結(jié)構(gòu)構(gòu)件（程序）過程構(gòu)件（模塊）2023/7/22大連理工大學(xué)軟件學(xué)院283.3分析建模與規(guī)格說明3.3.1分析建模結(jié)構(gòu)化分析實質(zhì)上是一種創(chuàng)建模型的活動。通過需求分析而建立的模型必須達到三個基本目標(biāo)：描述用戶的需求。為軟件設(shè)計工作奠定基礎(chǔ)。定義一組需求，一旦開發(fā)出軟件產(chǎn)品之后，就可以用這組需求為標(biāo)準(zhǔn)來驗收該產(chǎn)品。2023/7/22大連理工大學(xué)軟件學(xué)院29數(shù)據(jù)字典數(shù)據(jù)流圖E-R圖狀態(tài)轉(zhuǎn)換圖處理規(guī)格控制規(guī)格說明數(shù)據(jù)對描象述說明在結(jié)構(gòu)化分析過程中，導(dǎo)出的分析模型的形式2023/7/22大連理工大學(xué)軟件學(xué)院30軟件需求規(guī)格說明——分析階段的最終成果。軟件需求規(guī)格說明的框架。見《軟件需求規(guī)格說明書框架.doc》自然語言：容易書寫、容易理解形式化方法：無歧義、明確3.3.2軟件需求規(guī)格說明2023/7/22大連理工大學(xué)軟件學(xué)院313.4實體—聯(lián)系圖數(shù)據(jù)模型包含三種相互關(guān)聯(lián)的信息：數(shù)據(jù)對象描述數(shù)據(jù)對象屬性數(shù)據(jù)對象彼此間相互連接的關(guān)系2023/7/22大連理工大學(xué)軟件學(xué)院323.4.1數(shù)據(jù)對象數(shù)據(jù)對象是對軟件必須理解的復(fù)合信息的表示。所謂復(fù)合信息是指具有一系列不同性質(zhì)或?qū)傩缘氖挛铮虼?，僅有單個值的事物(例如寬度)不是數(shù)據(jù)對象。數(shù)據(jù)對象：只封裝了數(shù)據(jù)，區(qū)別于面向?qū)ο笾械摹邦悺被颉皩ο蟆薄?023/7/22大連理工大學(xué)軟件學(xué)院33屬性定義了數(shù)據(jù)對象的性質(zhì)。應(yīng)該根據(jù)對所要解決的問題的理解，來確定特定數(shù)據(jù)對象的一組合適的屬性。3.4.2屬性2023/7/22大連理工大學(xué)軟件學(xué)院34數(shù)據(jù)對象彼此之間相互連接的方式稱為關(guān)系(聯(lián)系)。一對一聯(lián)系(1∶1)一對多聯(lián)系(1∶N)多對多聯(lián)系(M∶N)聯(lián)系也可能有屬性。3.4.3聯(lián)系2023/7/22大連理工大學(xué)軟件學(xué)院35使用實體—關(guān)系圖來建立數(shù)據(jù)模型，滿足第一條分析準(zhǔn)則。把實體—關(guān)系圖簡稱為ER圖，用ER圖描繪的數(shù)據(jù)模型也可以稱為ER模型。ER圖中包含實體(即數(shù)據(jù)對象)、關(guān)系和屬性三種基本成分。矩形框——實體連接相關(guān)實體的菱形框——關(guān)系橢圓形或圓角矩形表示實體(或關(guān)系)的屬性用無向邊把實體(或關(guān)系)與其屬性連接起來。3.4.4實體—聯(lián)系圖的符號必須理解和表示問題的信息域2023/7/22大連理工大學(xué)軟件學(xué)院36某校教學(xué)管理ER圖2023/7/22大連理工大學(xué)軟件學(xué)院37學(xué)生和課程之間的E-R模型學(xué)生和課程之間的多對多聯(lián)系E-R模型；將多對多聯(lián)系轉(zhuǎn)換為一對多聯(lián)系E-R模型選課mn學(xué)號專業(yè)年級課名課號學(xué)時學(xué)生姓名課程學(xué)分(a)1n學(xué)號專業(yè)課名課號學(xué)時學(xué)號課號n1姓名課程學(xué)生年級學(xué)分(b)選課2023/7/22大連理工大學(xué)軟件學(xué)院383.4實體—聯(lián)系圖建立系統(tǒng)實體模型的步驟：對系統(tǒng)的數(shù)據(jù)域和功能域進行分析，確定系統(tǒng)中所涉及的實體。確定系統(tǒng)中各實體之間的關(guān)系。確定各實體及聯(lián)系的屬性。2023/7/22大連理工大學(xué)軟件學(xué)院393.4實體—聯(lián)系圖例如，在工資計算系統(tǒng)中，單位對職工的工作情況進行考勤，根據(jù)出勤結(jié)果、基本工資檔案、獎金及扣款計算職工的實發(fā)工資。工資系統(tǒng)中所涉及的實體就包括職工、出勤、獎勵和扣款。2023/7/22大連理工大學(xué)軟件學(xué)院40確定系統(tǒng)中各實體之間的關(guān)系。一名職工一個月只有一條出勤記錄，因此職工和出勤兩個實體之間是一對一的關(guān)系；一名職工在一個月中對應(yīng)著多項扣款，如水電費、缺勤扣款、個人所得稅等，因此職工和扣款之間是一對多的關(guān)系；同理，一名職工在一個月中可以獲得多項獎勵，因此職工和獎金之間也是一對多的關(guān)系。確定各實體及聯(lián)系的屬性。例如，職工實體具有職工號、性別、職稱、年齡、部門、基本工資等屬性。3.4實體—聯(lián)系圖2023/7/22大連理工大學(xué)軟件學(xué)院41工資計算系統(tǒng)的E-R模型2023/7/22大連理工大學(xué)軟件學(xué)院42思考題請為某倉庫的管理設(shè)計一個ER模型。該倉庫主要管理零件的訂購和供應(yīng)等事項。倉庫向工程項目提供零件，并且根據(jù)需要向供應(yīng)商訂購零件。2023/7/22大連理工大學(xué)軟件學(xué)院43思考題答案2023/7/22大連理工大學(xué)軟件學(xué)院44思考題某學(xué)校需要開發(fā)一個學(xué)生成績管理系統(tǒng)，教務(wù)人員可以通過該系統(tǒng)維護學(xué)生信息、課程信息和成績信息，學(xué)生可以隨時查詢自己的成績單，該系統(tǒng)的實體關(guān)系圖如下所示：請問圖中是否應(yīng)該增加"教務(wù)人員"？試說明理由。2023/7/22大連理工大學(xué)軟件學(xué)院45思考題答案不應(yīng)該增加“教務(wù)人員”。因為教務(wù)人員只是系統(tǒng)的一個使用者，系統(tǒng)不處理其屬性信息。2023/7/22大連理工大學(xué)軟件學(xué)院463.5數(shù)據(jù)規(guī)范化第一范式每個屬性值都必須是原子值，即僅僅是一個簡單值而不含內(nèi)部結(jié)構(gòu)第二范式滿足第一范式的條件，而且每個非關(guān)鍵字屬性都由整個關(guān)鍵字決定（而不是由關(guān)鍵字的一部分來決定）第三范式符合第二范式條件，而且一個非關(guān)鍵字屬性不能僅僅是對另一個非關(guān)鍵字屬性的進一步描述（即一個非關(guān)鍵字屬性值不依賴于另一個非關(guān)鍵字屬性值）2023/7/22大連理工大學(xué)軟件學(xué)院473.6狀態(tài)轉(zhuǎn)換圖狀態(tài)轉(zhuǎn)換圖(簡稱為狀態(tài)圖)通過描繪系統(tǒng)的狀態(tài)及引起系統(tǒng)狀態(tài)轉(zhuǎn)換的事件，來表示系統(tǒng)的行為。作為特定事件的結(jié)果，系統(tǒng)將做哪些動作。狀態(tài)圖提供了建模機制，滿足第3條分析準(zhǔn)則。必須表示作為外部事件結(jié)果的軟件行為——建立行為模型2023/7/22大連理工大學(xué)軟件學(xué)院483.6.1狀態(tài)狀態(tài)是任何可以被觀察到的系統(tǒng)行為模式，一個狀態(tài)代表系統(tǒng)的一種行為模式。狀態(tài)規(guī)定了系統(tǒng)對事件的響應(yīng)方式。系統(tǒng)對事件的響應(yīng)，既可以是做一個(或一系列)動作，也可以是僅僅改變系統(tǒng)本身的狀態(tài)。初態(tài)、終態(tài)、中間狀態(tài)既可以表示系統(tǒng)循環(huán)運行過程，也可以表示系統(tǒng)單程生命期2023/7/22大連理工大學(xué)軟件學(xué)院49事件是在某個特定時刻發(fā)生的事情，它是對引起系統(tǒng)從一個狀態(tài)轉(zhuǎn)換到另一個狀態(tài)的外界事件的抽象。簡而言之，事件就是引起系統(tǒng)狀態(tài)轉(zhuǎn)換的控制信息。3.6.2事件2023/7/22大連理工大學(xué)軟件學(xué)院503.6.3符號狀態(tài)圖中使用的主要符號：初態(tài)：實心圓（只有一個）終態(tài)：同心圓（0到多個）中間狀態(tài)：圓角矩形名稱、狀態(tài)變量的名字和值、活動表狀態(tài)轉(zhuǎn)換：箭頭2023/7/22大連理工大學(xué)軟件學(xué)院51狀態(tài)圖中使用的主要符號事件名/動作表達式事件說明[守衛(wèi)條件]/動作表達式2023/7/22大連理工大學(xué)軟件學(xué)院523.6.4狀態(tài)轉(zhuǎn)換圖示例2023/7/22大連理工大學(xué)軟件學(xué)院53思考題復(fù)印機的工作過程大致如下：未接到復(fù)印命令時處于閑置狀態(tài)，一旦接到復(fù)印命令則進入復(fù)印狀態(tài)，完成一個復(fù)印命令規(guī)定的工作后又回到閑置狀態(tài)，等待下一個復(fù)印命令；如果執(zhí)行復(fù)印命令時發(fā)現(xiàn)沒紙，則進入缺紙狀態(tài)，發(fā)出警告，等待裝紙，裝滿紙后進入閑置狀態(tài)，準(zhǔn)備接收復(fù)印命令；如果復(fù)印時發(fā)生卡紙故障，則進入卡紙狀態(tài)，發(fā)出警告，等待維修人員來排除故障，故障排除后回到閑置狀態(tài)。試用狀態(tài)轉(zhuǎn)換圖描繪復(fù)印機的行為。2023/7/22大連理工大學(xué)軟件學(xué)院54思考題答案2023/7/22大連理工大學(xué)軟件學(xué)院55思考題某信息系統(tǒng)的用戶注冊及使用系統(tǒng)過程如下：用戶登錄系統(tǒng)，填寫注冊信息；在注冊過程中可以關(guān)閉注冊頁面取消注冊過程；系統(tǒng)自動判斷注冊信息是否正確，如不正確予以提示并要求用戶修改；用戶填寫完信息之后，提交信息，待系統(tǒng)管理員審核；審核結(jié)果分為通過或者不通過；信息尚未審核之前，或者審核通過之后，用戶都可修改自己的注冊信息，重新等待管理員審核；審核之后的客戶可以使用系統(tǒng)，如果使用過程中出現(xiàn)非法操作，管理員可以凍結(jié)該用戶一段時間；凍結(jié)期結(jié)束之后根據(jù)用戶表現(xiàn)，決定繼續(xù)凍結(jié)還是取消凍結(jié)。2023/7/22大連理工大學(xué)軟件學(xué)院56思考題答案2023/7/22大連理工大學(xué)軟件學(xué)院573.7其他圖形工具3.7.1層次方框圖用樹形結(jié)構(gòu)的一系列多層次的矩形框描述數(shù)據(jù)的層次結(jié)構(gòu)。頂層是一個單獨的矩形框，代表完整的數(shù)據(jù)結(jié)構(gòu)下面的各層矩形框代表這個數(shù)據(jù)的子集最底層代表組成這個數(shù)據(jù)的實際數(shù)據(jù)元素2023/7/22大連理工大學(xué)軟件學(xué)院583.7其他圖形工具3.7.1層次方框圖2023/7/22大連理工大學(xué)軟件學(xué)院593.7其他圖形工具3.7.2Warnier圖也用樹形結(jié)構(gòu)描述信息可以表明信息的邏輯組織是否重復(fù)出現(xiàn)是否有條件出現(xiàn)2023/7/22大連理工大學(xué)軟件學(xué)院603.7其他圖形工具2023/7/22大連理工大學(xué)軟件學(xué)院613.7其他圖形工具3.7.3IPO圖IPO圖是輸入、處理、輸出圖的簡稱左邊框中列出有關(guān)的輸入中間框中列出主要的處理右邊框中列出產(chǎn)生的輸出處理的順序暗示了執(zhí)行的順序箭頭指出數(shù)據(jù)通信的情況2023/7/22大連理工大學(xué)軟件學(xué)院623.7其他圖形工具3.7.3IPO圖2023/7/22大連理工大學(xué)軟件學(xué)院633.8驗證軟件需求3.8.1驗證需求的方面一致性：任何一條需求不能與其他需求相互矛盾完整性：包含用戶需要的每一個功能或性能實現(xiàn)性：硬件、軟件技術(shù)都可以實現(xiàn)。有效性：確實能夠解決用戶面對的問題。2023/7/22大連理工大學(xué)軟件學(xué)院643.8驗證軟件需求3.8.2驗證需求的方法1、驗證需求的一致性自然語言書寫：人工技術(shù)審查大規(guī)模項目時比較困難形式化描述：軟件工具2023/7/22大連理工大學(xué)軟件學(xué)院653.8驗證軟件需求2、驗證需求的現(xiàn)實性開發(fā)經(jīng)驗、仿真或性能模擬技術(shù)3、驗證需求的完整性和有效性用戶驗證原型2023/7/22大連理工大學(xué)軟件學(xué)院663.8驗證軟件需求3.8.3用于需求分析的軟件工具工具要求（1）必須有形式化的語法（2）使用這個軟件工具能夠?qū)С鲈敿毜奈臋n（3）必須提供規(guī)格說明書中的不一致性和冗余性的手段（4）使用這個軟件工具之后，應(yīng)該能夠改進通信狀況2023/7/22大連理工大學(xué)軟件學(xué)院673.8驗證軟件需求3.8.3用于需求分析的軟件工具工具舉例RSL（需求陳述語言）PSL/PSA（問題陳述語言/問題陳述分析程序）系統(tǒng)2023/7/22大連理工大學(xué)軟件學(xué)院68結(jié)構(gòu)化分析實例1問題陳述某校財務(wù)科長要求系統(tǒng)分析員研究一下用學(xué)校自己的微型計算機生成工資明細表和各種財務(wù)報表的可能性。問題定義可行性研究需求分析2023/7/22大連理工大學(xué)軟件學(xué)院692問題定義預(yù)期將獲得的經(jīng)濟效益能超過開發(fā)這個系統(tǒng)的成本么？用戶面臨的問題究竟是什么？該校一直為人工計算工資，工作量大。項目預(yù)期規(guī)模目前計算工資所花費的成本新系統(tǒng)的開發(fā)成本運行費用2023/7/22大連理工大學(xué)軟件學(xué)院702問題定義目前，每個月由兩名會計用半個月時間計算工資和編制報表，一名會計每個月的工資和崗位津貼共約2000元，因此，每年為此項工作花費的人工費約2.4萬元。絕大多數(shù)單位希望3年內(nèi)收回投資，因此，投資7.2萬元是投資額度的上限值。這些數(shù)字能夠使用戶對項目規(guī)模有一個大概的了解。2023/7/22大連理工大學(xué)軟件學(xué)院712問題定義輸出：關(guān)于系統(tǒng)規(guī)模和目標(biāo)的報告書2023/7/22大連理工大學(xué)軟件學(xué)院723可行性研究目標(biāo)：用最小的代價盡快確定問題是否能解。步驟：澄清系統(tǒng)規(guī)模和目標(biāo)研究現(xiàn)有系統(tǒng)2023/7/22大連理工大學(xué)軟件學(xué)院733可行性研究教師職工課時表任務(wù)表審核數(shù)據(jù)審核后的數(shù)據(jù)排序?qū)Ｓ?/p>