第3章_需求分析

1、中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院軟件工程導(dǎo)論（第5版）第第3章章 需求分析需求分析中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院目錄目錄實(shí)體-聯(lián)系圖分析建模與規(guī)格說(shuō)明需求分析的任務(wù)與用戶溝通獲取需求的方法中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院目錄目錄驗(yàn)證軟件需求其他圖形工具數(shù)據(jù)規(guī)范化狀態(tài)轉(zhuǎn)換圖中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院目標(biāo)目標(biāo)v列舉信息收集技術(shù)技巧v設(shè)計(jì)項(xiàng)目的E-R圖v設(shè)計(jì)項(xiàng)目的狀態(tài)轉(zhuǎn)換圖v了解其他圖形工具中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院意義：意義：v軟件需求的深入理解是軟件開(kāi)發(fā)工作獲得軟件需求的深入理解是軟件開(kāi)發(fā)工作獲得成功的前提條件，不論我們把

2、設(shè)計(jì)和編碼成功的前提條件，不論我們把設(shè)計(jì)和編碼做得如何出色，不能真正滿足用戶需求的做得如何出色，不能真正滿足用戶需求的程序只會(huì)令用戶失望，給開(kāi)發(fā)帶來(lái)煩惱。程序只會(huì)令用戶失望，給開(kāi)發(fā)帶來(lái)煩惱。第第3章章 需求分析需求分析中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院第第3章章 需求分析需求分析v需求分析的基本任務(wù)是準(zhǔn)確地回答“系統(tǒng)必須做什么？”這個(gè)問(wèn)題。v確定系統(tǒng)必須完成哪些工作，也就是對(duì)目標(biāo)系統(tǒng)提出完整、準(zhǔn)確、清晰、具體的要求。v需求分析階段結(jié)束之前，系統(tǒng)分析員應(yīng)該寫(xiě)出軟件需求規(guī)格說(shuō)明書(shū)，以書(shū)面形式準(zhǔn)確地描述軟件需求。中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院v 在分析軟件需求和書(shū)寫(xiě)軟件需求規(guī)

3、格說(shuō)明書(shū)的過(guò)程中，在分析軟件需求和書(shū)寫(xiě)軟件需求規(guī)格說(shuō)明書(shū)的過(guò)程中，分析員和用戶都起著關(guān)鍵的、必不可少的作用。分析員和用戶都起著關(guān)鍵的、必不可少的作用。 中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院第第3章章 需求分析需求分析v所有的需求分析方法都遵守下述準(zhǔn)則： (1) 必須理解并描述問(wèn)題的信息域，根據(jù)這條準(zhǔn)則應(yīng)該建立數(shù)據(jù)模型。 (2) 必須定義軟件應(yīng)完成的功能，這條準(zhǔn)則要求建立功能模型。 (3) 必須描述作為外部事件結(jié)果的軟件行為，這條準(zhǔn)則要求建立行為模型。 (4) 必須對(duì)描述信息、功能和行為的模型進(jìn)行分解，用層次的方式展示細(xì)節(jié)。中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院確定對(duì)系統(tǒng)的綜合要求

4、確定對(duì)系統(tǒng)的綜合要求 分析系統(tǒng)的數(shù)據(jù)要求分析系統(tǒng)的數(shù)據(jù)要求3 導(dǎo)出系統(tǒng)的邏輯模型導(dǎo)出系統(tǒng)的邏輯模型4 修正系統(tǒng)開(kāi)發(fā)計(jì)劃修正系統(tǒng)開(kāi)發(fā)計(jì)劃3.1 需求分析的任務(wù)需求分析的任務(wù)中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院3.1 需求分析的任務(wù)需求分析的任務(wù)任務(wù)1：確定對(duì)系統(tǒng)的綜合要求 通常對(duì)軟件系統(tǒng)有下述幾方面的綜合要求： 功能需求 性能需求 可靠性和可用性需求 出錯(cuò)處理需求 接口需求 約束 逆向需求 將來(lái)可能提出的要求中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院3.1 需求分析的任務(wù)需求分析的任務(wù)任務(wù)2：分析系統(tǒng)的數(shù)據(jù)要求 分析系統(tǒng)的數(shù)據(jù)要求通常采用建立數(shù)據(jù)模型的方法（見(jiàn)3.4節(jié)實(shí)體-聯(lián)系圖) 復(fù)

5、雜的數(shù)據(jù)由許多基本的數(shù)據(jù)元素組成，數(shù)據(jù)結(jié)構(gòu)表示數(shù)據(jù)元素之間的邏輯關(guān)系，通常用層次方框圖和Warnier圖來(lái)描繪數(shù)據(jù)結(jié)構(gòu)。 軟件系統(tǒng)經(jīng)常使用各種長(zhǎng)期保存的信息，這些信息通常以一定的方式組織并存儲(chǔ)在數(shù)據(jù)庫(kù)或文件中，為減少數(shù)據(jù)冗余，避免出現(xiàn)插入異?；騽h除異常，簡(jiǎn)化修改數(shù)據(jù)的過(guò)程，通常需要把數(shù)據(jù)結(jié)構(gòu)規(guī)范化。中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院3.1 需求分析的任務(wù)需求分析的任務(wù)任務(wù)3：導(dǎo)出系統(tǒng)的邏輯模型 綜合上述兩項(xiàng)分析的結(jié)果可以導(dǎo)出系統(tǒng)的詳細(xì)的邏輯模型，通常用數(shù)據(jù)流圖、實(shí)體-聯(lián)系圖、狀態(tài)轉(zhuǎn)換圖、數(shù)據(jù)字典和主要的處理算法描述這個(gè)邏輯模型。任務(wù)4：修正系統(tǒng)開(kāi)發(fā)計(jì)劃 根據(jù)在分析過(guò)程中獲得的對(duì)系統(tǒng)的

6、更深入更具體的了解，可以比較準(zhǔn)確地估計(jì)系統(tǒng)的成本和進(jìn)度，修正以前制定的開(kāi)發(fā)計(jì)劃。中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院v訪談v面向數(shù)據(jù)流自頂向下求精v簡(jiǎn)易的應(yīng)用規(guī)格說(shuō)明技術(shù)v快速建立軟件原型3.2 與用戶溝通獲取需求的方法與用戶溝通獲取需求的方法中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院3.2.1 訪談訪談v訪談是最早開(kāi)始使用且是迄今為止仍然廣泛使用的需求分析技術(shù)。 正式訪談 - 系統(tǒng)分析員將提出一些事先準(zhǔn)備好的具體問(wèn)題。 非正式訪談 - 分析員將提出一些用戶可以自由回答的開(kāi)放性問(wèn)題，以鼓勵(lì)被訪問(wèn)人員說(shuō)出自己的想法。v當(dāng)需要調(diào)查大量人員的意見(jiàn)時(shí)，請(qǐng)被調(diào)查人填寫(xiě)調(diào)查表是十分有效的做法。中

7、原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院3.2.1 訪談訪談v在訪問(wèn)用戶的過(guò)程中使用情景分析技術(shù)往往十分有效。所謂情景分析，就是對(duì)用戶將來(lái)使用目標(biāo)系統(tǒng)解決某個(gè)具體問(wèn)題的方法和結(jié)果進(jìn)行分析。系統(tǒng)分析員利用情景分析技術(shù)往往能夠獲知用戶的具體需求。v 情景分析技術(shù)的用處主要體現(xiàn)在下述兩個(gè)方面：(1) 它能在某種程度上演示目標(biāo)系統(tǒng)的行為，從而便于用戶理解，而且還可能進(jìn)一步揭示出一些分析員目前還不知道的需求。(2) 由于情景分析較易為用戶所理解，使用這種技術(shù)能保證用戶在需求分析過(guò)程中始終扮演一個(gè)積極主動(dòng)的角色。中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院3.2.2 面向數(shù)據(jù)流自頂向下求精面向數(shù)據(jù)流自頂

8、向下求精v數(shù)據(jù)決定了需要的處理和算法，它是需求分析的出發(fā)點(diǎn)。v結(jié)構(gòu)化分析方法實(shí)質(zhì)上就是面向數(shù)據(jù)流自頂向下逐步求精進(jìn)行需求分析的方法。v通過(guò)可行性研究已經(jīng)得出了目標(biāo)系統(tǒng)的高層數(shù)據(jù)流圖，需求分析的一個(gè)主要目標(biāo)是把數(shù)據(jù)流和數(shù)據(jù)存儲(chǔ)定義到元素級(jí)。為了達(dá)到這個(gè)目標(biāo)，通常從數(shù)據(jù)流圖的輸出端著手分析。中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院3.2.2 面向數(shù)據(jù)流自頂向下求精面向數(shù)據(jù)流自頂向下求精圖3.1面向數(shù)據(jù)流自頂向下求精過(guò)程中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院?jiǎn)栴}：v使用傳統(tǒng)的訪談或面向數(shù)據(jù)流自頂向下求精方法定義需求時(shí)，用戶處于被動(dòng)地位而且往往有意無(wú)意地與開(kāi)發(fā)者區(qū)分“彼此”。由于不能像同一個(gè)

9、團(tuán)隊(duì)的人那樣齊心協(xié)力地識(shí)別和精化需求，這兩種方法的效果有時(shí)并不理想。中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院3.2.3 簡(jiǎn)易的應(yīng)用規(guī)格說(shuō)明技術(shù)簡(jiǎn)易的應(yīng)用規(guī)格說(shuō)明技術(shù)v簡(jiǎn)易的應(yīng)用規(guī)格說(shuō)明技術(shù)是一種面向團(tuán)隊(duì)的需求收集法v提倡用戶與開(kāi)發(fā)者密切合作，共同標(biāo)識(shí)問(wèn)題，提出解決方案要素，商討不同的方案并指定基本需求v目前它已成為信息系統(tǒng)領(lǐng)域使用的主流技術(shù)。中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院使用簡(jiǎn)易的應(yīng)用規(guī)格說(shuō)明技術(shù)分析需求的典型過(guò)程：使用簡(jiǎn)易的應(yīng)用規(guī)格說(shuō)明技術(shù)分析需求的典型過(guò)程：1.初步的訪談，通過(guò)用戶對(duì)基本問(wèn)題的回答，初步確定待解決的問(wèn)題的范圍和解決方案。2.開(kāi)發(fā)者和用戶分別寫(xiě)出“產(chǎn)品需求”

10、。3.開(kāi)發(fā)者和用戶開(kāi)會(huì)討論，共同創(chuàng)建一張意見(jiàn)一致的組合列表。4. 把與會(huì)者分成更小的小組，每個(gè)小組的工作目標(biāo)是為每張列表中的項(xiàng)目制定小型規(guī)格說(shuō)明。小型規(guī)格說(shuō)明是對(duì)列表中包含的單詞或短語(yǔ)的準(zhǔn)確說(shuō)明。5. 每個(gè)小組向全體與會(huì)者展示他們制定的小型規(guī)格說(shuō)明，討論，以創(chuàng)建出意見(jiàn)一致的確認(rèn)標(biāo)準(zhǔn)。6. 由一名或多名與會(huì)者根據(jù)會(huì)議成果起草完整的軟件需求規(guī)格說(shuō)明書(shū)。中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院3.2.4 快速建立軟件原型快速建立軟件原型v快速建立軟件原型是最準(zhǔn)確、最有效、最強(qiáng)大的需求分析技術(shù)。所謂軟件原型，就是快速建立起來(lái)的旨在演示目標(biāo)系統(tǒng)主要功能的可運(yùn)行的程序。v構(gòu)建軟件原型的要點(diǎn)是，它應(yīng)該實(shí)

11、現(xiàn)用戶看得見(jiàn)的功能，省略目標(biāo)系統(tǒng)的“隱含”功能。v軟件原型的應(yīng)該具備的第一個(gè)特性是“快速”，第二個(gè)特性是“容易修改”。中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院3.2.4 快速建立軟件原型快速建立軟件原型v為了快速地構(gòu)建和修改原型，可以使用下述3種方法和工具： 第四代技術(shù) 可重用的軟件構(gòu)件 形式化規(guī)格說(shuō)明和原型環(huán)境中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院3.3 分析建模與規(guī)格說(shuō)明分析建模與規(guī)格說(shuō)明3.3.1 分析建模v模型為了理解事物而對(duì)事物作出的一種抽象，是對(duì)事物的一種無(wú)歧義的書(shū)面描述。v通常，模型由一組圖形符合和組織這些符號(hào)的規(guī)則組成。v需求分析過(guò)程應(yīng)該建立3種模型： 數(shù)據(jù)模型 -

12、- 實(shí)體-聯(lián)系圖 功能模型- - 數(shù)據(jù)流圖 行為模型-狀態(tài)轉(zhuǎn)換圖中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院3.3.2 軟件需求規(guī)格說(shuō)明軟件需求規(guī)格說(shuō)明v通過(guò)需求分析除了創(chuàng)建分析模型之外，還應(yīng)該寫(xiě)出軟件需求規(guī)格說(shuō)明書(shū)，它是需求分析階段得出的最主要的文檔。v描述軟件需求說(shuō)明書(shū)有兩種方法： 自然語(yǔ)言 形式化方法中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院3.4 實(shí)體聯(lián)系圖實(shí)體聯(lián)系圖v數(shù)據(jù)模型是一種面向問(wèn)題的數(shù)據(jù)模型，是按照用戶的觀點(diǎn)對(duì)數(shù)據(jù)建立的模型。它描述了從用戶角度看到的數(shù)據(jù)，反映了用戶的現(xiàn)實(shí)環(huán)境，而且與在軟件系統(tǒng)中的實(shí)現(xiàn)方法無(wú)關(guān)。v通常使用實(shí)體-聯(lián)系圖（簡(jiǎn)稱ER圖）來(lái)建立數(shù)據(jù)模型v數(shù)據(jù)模型中包

13、含3種相互關(guān)聯(lián)的信息：數(shù)據(jù)對(duì)象（實(shí)體）、數(shù)據(jù)對(duì)象的屬性及數(shù)據(jù)對(duì)象彼此間相互連接的關(guān)系。中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院3.4.1 數(shù)據(jù)對(duì)象數(shù)據(jù)對(duì)象v數(shù)據(jù)對(duì)象是對(duì)軟件必須理解的具有一系列不同性質(zhì)或?qū)傩缘氖挛锏某橄?，僅有單個(gè)值的事物不是數(shù)據(jù)對(duì)象。 由一組屬性來(lái)定義的實(shí)體都可以被認(rèn)為是數(shù)據(jù)對(duì)象。 數(shù)據(jù)對(duì)象彼此間是有關(guān)聯(lián)的 數(shù)據(jù)對(duì)象只封裝了數(shù)據(jù)而沒(méi)有對(duì)施加于數(shù)據(jù)上的操作的引用，這是數(shù)據(jù)對(duì)象與面向?qū)ο蠓缎椭小邦悺被颉皩?duì)象”的顯著區(qū)別。中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院3.4.2 屬性屬性v屬性定義了數(shù)據(jù)對(duì)象的性質(zhì)。v應(yīng)該根據(jù)對(duì)所要解決的問(wèn)題的理解，來(lái)確定特定數(shù)據(jù)對(duì)象的一組合適的屬性

14、。例如：學(xué)生具有學(xué)號(hào)、姓名、性別、年齡、專業(yè)（其它略）等屬性； 課程具有課程號(hào)、課程名、學(xué)分、學(xué)時(shí)數(shù)等屬性； 教師具有職工號(hào)、姓名、年齡、職稱等屬性。中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院3.4.3 聯(lián)系聯(lián)系v數(shù)據(jù)對(duì)象彼此之間相互連接的方式稱為聯(lián)系，也稱為關(guān)系。v聯(lián)系有3種類型： 一對(duì)一聯(lián)系（1：1） 一對(duì)多聯(lián)系（1：N） 多對(duì)多聯(lián)系（M：N）v聯(lián)系也可能有屬性。比如成績(jī)既不是學(xué)生的屬性，也不是課程的屬性，而是學(xué)生“學(xué)”課程的屬性，這個(gè)屬性就是聯(lián)系“學(xué)”的屬性。中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院3.4.4 實(shí)體實(shí)體-聯(lián)系圖的符號(hào)聯(lián)系圖的符號(hào)v實(shí)體-聯(lián)系圖的基本符號(hào)符號(hào)含義表示實(shí)

15、體表示實(shí)體間的聯(lián)系，與實(shí)體的連線上需用數(shù)字標(biāo)明具體的對(duì)應(yīng)關(guān)系表示實(shí)體或聯(lián)系的屬性用于實(shí)體、屬性及聯(lián)系的連接中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院舉 例圖3.2 某校教學(xué)管理ER圖對(duì)象對(duì)象教師屬性教師屬性學(xué)生屬性學(xué)生屬性課程屬性課程屬性聯(lián)系屬性聯(lián)系屬性關(guān)系關(guān)系中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院例子：例子：v請(qǐng)為某倉(cāng)庫(kù)的管理設(shè)計(jì)一個(gè)ER模型。該倉(cāng)庫(kù)主要管理零件的訂購(gòu)和供應(yīng)等事項(xiàng)。倉(cāng)庫(kù)向工程項(xiàng)目供應(yīng)零件，并且根據(jù)需要向供應(yīng)商訂購(gòu)零件。中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院工程項(xiàng)目零件供應(yīng)商項(xiàng)目名稱訂購(gòu)量供應(yīng)商編號(hào)供應(yīng)商名稱地址項(xiàng)目編號(hào)開(kāi)工日期供應(yīng)訂購(gòu)供應(yīng)量零件名稱零件編號(hào)MNN

16、M中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院3.5 數(shù)據(jù)規(guī)范化數(shù)據(jù)規(guī)范化v軟件系統(tǒng)經(jīng)常使用各種長(zhǎng)期保存的信息，這些信息通常以一定的方式組織并存儲(chǔ)在數(shù)據(jù)庫(kù)或文件中，為減少數(shù)據(jù)冗余，避免出現(xiàn)插入異?；騽h除異常，簡(jiǎn)化修改數(shù)據(jù)的過(guò)程，通常需要把數(shù)據(jù)結(jié)構(gòu)規(guī)范化。v通常用“范式”定義消除數(shù)據(jù)冗余的程度。 第一范式 第二范式 第三范式中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院3.6 狀態(tài)轉(zhuǎn)換圖狀態(tài)轉(zhuǎn)換圖v狀態(tài)轉(zhuǎn)換圖通過(guò)描繪系統(tǒng)的狀態(tài)及引起系統(tǒng)狀態(tài)轉(zhuǎn)換的事件，來(lái)表示系統(tǒng)的行為。3.6.1 狀態(tài)v狀態(tài)是任何可以被觀察到的系統(tǒng)行為模式，一個(gè)狀態(tài)代表系統(tǒng)的一種行為模式。狀態(tài)規(guī)定了系統(tǒng)對(duì)事件的響應(yīng)方式。v在狀態(tài)圖

17、中定義的狀態(tài)主要有初態(tài)、終態(tài)和中間狀態(tài)。在一張狀態(tài)圖中，只能有一個(gè)初態(tài)，而終態(tài)則可以有0至多個(gè)。中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院3.6.1 狀態(tài)狀態(tài)v狀態(tài)圖既可以表示系統(tǒng)循環(huán)運(yùn)行過(guò)程，也可以表示系統(tǒng)單程生命期。v當(dāng)描繪循環(huán)運(yùn)行過(guò)程時(shí)，通常并不關(guān)心循環(huán)是怎樣啟動(dòng)的。v當(dāng)描繪單程生命期時(shí)，需要標(biāo)明初始狀態(tài)(系統(tǒng)啟動(dòng)時(shí)進(jìn)入初始狀態(tài))和最終狀態(tài)(系統(tǒng)運(yùn)行結(jié)束時(shí)到達(dá)最終狀態(tài))。中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院3.6.2 事件事件v事件是在某個(gè)特定時(shí)刻發(fā)生的事情，它是對(duì)引起系統(tǒng)做動(dòng)作或從一個(gè)狀態(tài)轉(zhuǎn)換到另一個(gè)狀態(tài)的外界事件的抽象。3.6.3 符號(hào) 初態(tài)用實(shí)心圓表示 終態(tài)用一對(duì)同心圓（

18、內(nèi)圓為實(shí)心圓）表示 中間狀態(tài)用圓角矩形表示，可以用兩條水平橫線把它分成上、中、下3個(gè)部分，分別放置狀態(tài)名（必選）、狀態(tài)變量的名字和值（可選）、活動(dòng)表（可選）中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院3.6.3 符號(hào)符號(hào)圖3.3狀態(tài)圖中使用的主要符號(hào)中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院3.6.3 符號(hào)符號(hào) 活動(dòng)表的語(yǔ)法格式為： 事件名（參數(shù)表）/動(dòng)作表達(dá)式 活動(dòng)表中有3種標(biāo)準(zhǔn)事件： Entry事件指定進(jìn)入該狀態(tài)的動(dòng)作 Exit事件指定退出該狀態(tài)的動(dòng)作 Do事件指定在該狀態(tài)下的動(dòng)作（最常用） 活動(dòng)表的動(dòng)作表達(dá)式描述應(yīng)做的具體動(dòng)作 狀態(tài)轉(zhuǎn)換由兩個(gè)狀態(tài)之間帶箭頭的連線表示，箭頭指明了轉(zhuǎn)換方向

19、。狀態(tài)通常由事件觸發(fā)，此時(shí)應(yīng)在表示狀態(tài)轉(zhuǎn)換的箭頭上標(biāo)出觸發(fā)轉(zhuǎn)換的事件表達(dá)式；若未標(biāo)，則表示在源狀態(tài)的內(nèi)部活動(dòng)執(zhí)行完之后自動(dòng)觸發(fā)轉(zhuǎn)換。中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院3.6.3 符號(hào)符號(hào) 事件表達(dá)式的語(yǔ)法如下：事件說(shuō)明守衛(wèi)條件/動(dòng)作表達(dá)式 事件說(shuō)明的語(yǔ)法為： 事件名（參數(shù)表） 守衛(wèi)條件是一個(gè)布爾表達(dá)式。若同時(shí)使用事件說(shuō)明和守衛(wèi)條件，則當(dāng)且僅當(dāng)事件發(fā)生且布爾表達(dá)式為真時(shí)，狀態(tài)轉(zhuǎn)換才發(fā)生；若只有守衛(wèi)條件沒(méi)有事件說(shuō)明，則只要守衛(wèi)條件為真，狀態(tài)轉(zhuǎn)換就發(fā)生。 動(dòng)作表達(dá)式是一個(gè)過(guò)程表達(dá)式，當(dāng)狀態(tài)轉(zhuǎn)換開(kāi)始時(shí)執(zhí)行該表達(dá)式中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院習(xí)題習(xí)題3.6:v復(fù)印機(jī)的工作過(guò)程大

20、致如下：未接到復(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)。 請(qǐng)用狀態(tài)轉(zhuǎn)換圖描繪復(fù)印機(jī)的行為。中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院例子：例子：v一個(gè)保險(xiǎn)箱上裝了一個(gè)復(fù)合鎖，鎖有三個(gè)位置，分別標(biāo)記為1、2、3，轉(zhuǎn)盤(pán)可向左(L)或向右(R)轉(zhuǎn)動(dòng)。這樣，在任意時(shí)刻轉(zhuǎn)盤(pán)都有6種可能的運(yùn)動(dòng)，即1L、1R、2L、2R、3L和3R

21、。保險(xiǎn)箱的組合密碼是1L、3R、2L，轉(zhuǎn)盤(pán)的任何其他運(yùn)動(dòng)都將引起報(bào)警。試用狀態(tài)轉(zhuǎn)換圖描述保險(xiǎn)箱的行為。中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院3.6.4 例子例子圖3.4電話系統(tǒng)的狀態(tài)圖中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院3.6.4 例子例子v圖中表明，沒(méi)有人打電話時(shí)電話處于閑置狀態(tài)；有人拿起聽(tīng)筒則進(jìn)入撥號(hào)音狀態(tài)，到達(dá)這個(gè)狀態(tài)后，電話的行為是響起撥號(hào)音并計(jì)時(shí)；這時(shí)如果拿起聽(tīng)筒的人改變主意不想打了，他把聽(tīng)筒放下(掛斷)，電話重又回到閑置狀態(tài)；如果拿起聽(tīng)筒很長(zhǎng)時(shí)間不撥號(hào)(超時(shí))，則進(jìn)入超時(shí)狀態(tài)；。中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院3

22、.7 其他圖形工具其他圖形工具3.7.1 層次方框圖v層次方框圖用樹(shù)形結(jié)構(gòu)的一系列多層次的矩形框描繪數(shù)據(jù)的層次結(jié)構(gòu)。 樹(shù)形結(jié)構(gòu)的頂層是一個(gè)單獨(dú)的矩形框，它代表完整的數(shù)據(jù)結(jié)構(gòu) 下面的各層矩形框代表這個(gè)數(shù)據(jù)的子集 最底層的各個(gè)框代表組成這個(gè)數(shù)據(jù)的實(shí)際數(shù)據(jù)元素（不能再分割的元素）中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院層次方框圖例子層次方框圖例子 例如，一家計(jì)算機(jī)公司的產(chǎn)品由硬件、軟件和服務(wù)3類產(chǎn)品組成；硬件產(chǎn)品又分為處理機(jī)、存儲(chǔ)器和外部設(shè)備；軟件產(chǎn)品又分為系統(tǒng)軟件和應(yīng)用軟件，系統(tǒng)軟件又進(jìn)一步分為操作系統(tǒng)、編譯程序和軟件工具；服務(wù)包括軟件服務(wù)、硬件維修和培訓(xùn)3方面。試用層次方框圖來(lái)描繪這家計(jì)算機(jī)

23、公司全部產(chǎn)品的數(shù)據(jù)結(jié)構(gòu)。中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院層次方框圖例子層次方框圖例子圖3.5層次方框圖的一個(gè)例子中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院3.7.2 Warnier圖圖vWarnier圖也用樹(shù)形結(jié)構(gòu)描繪信息，但它提供的描繪手段比層次方框圖更豐富。v用Warnier圖可以清楚地描繪信息的邏輯結(jié)構(gòu)。 它可以表明一個(gè)（或一類）信息元素是重復(fù)出現(xiàn)的 也可以表示特定信息在某一類信息中是有條件地出現(xiàn)的 重復(fù)和條件約束是軟件處理過(guò)程的基礎(chǔ)，所以很容易把Warnier圖轉(zhuǎn)變成軟件設(shè)計(jì)的工具。中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院3.7.2 Warnier圖圖vWarnier

24、圖用花括號(hào)的開(kāi)括號(hào)來(lái)區(qū)分?jǐn)?shù)據(jù)結(jié)構(gòu)的層次 在一個(gè)開(kāi)括號(hào)內(nèi)的所有名字都屬于同一類信息 異或符號(hào) 表明一類信息或數(shù)據(jù)元素在一定條件下才出現(xiàn)，而且這個(gè)符號(hào)上、下方的兩個(gè)名字所代表的數(shù)據(jù)只能出現(xiàn)一個(gè) 在一個(gè)名字下方（或右側(cè)）的圓括號(hào)中的數(shù)字指明這個(gè)名字代表的信息（或元素）在這個(gè)數(shù)據(jù)結(jié)構(gòu)中重復(fù)出現(xiàn)的次數(shù)中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院3.7.2 Warnier圖圖v例子：一種軟件產(chǎn)品要么是系統(tǒng)軟件要么是應(yīng)用軟件。系統(tǒng)軟件中有P1種操作系統(tǒng)，P2種編譯程序，此外還有軟件工具。軟件工具又可以進(jìn)一步細(xì)分為P3種編輯程序、P4種測(cè)試驅(qū)動(dòng)程序和P5種設(shè)備輔助工具。中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)

25、學(xué)院3.7.2 Warnier圖圖圖3.6 Warnier圖的一個(gè)例子中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院3.7.3 IPO圖圖vIPO圖是輸入、處理、輸出圖的簡(jiǎn)稱，它能方便地描繪輸入數(shù)據(jù)、對(duì)數(shù)據(jù)的處理和輸出數(shù)據(jù)之間的關(guān)系。v在需求分析階段可以使用IPO圖簡(jiǎn)略地描述數(shù)據(jù)流圖中各個(gè)處理的基本算法。vIPO圖使用的基本符號(hào)既少又簡(jiǎn)單： 左邊框中列出有關(guān)的輸入數(shù)據(jù) 中間框中列出主要的處理 右邊框中列出產(chǎn)生的輸出數(shù)據(jù) 處理框中列出處理的次序暗示了執(zhí)行的順序 粗大箭頭指出數(shù)據(jù)通信的情況中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院3.7.3 IPO圖圖圖3.7 主文件更新的IPO圖中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院3.7.3 IPO圖圖圖3.8改進(jìn)的IPO圖的形式建議使用一種改進(jìn)的IPO圖(也稱為IPO表)，這種圖中包含某些附加的信息。中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院3.7.3 IPO圖圖中原工學(xué)院信息商務(wù)學(xué)院中原工學(xué)院信息商務(wù)學(xué)院3.8 驗(yàn)證軟件需求驗(yàn)證軟件需求3.8.1驗(yàn)證軟件需求的正確性v為了提高軟件質(zhì)量，確保軟件開(kāi)發(fā)成功，降低軟件開(kāi)發(fā)成本，一旦對(duì)目標(biāo)系統(tǒng)提出一組要求之后，必須嚴(yán)格驗(yàn)證這些需求的正確性。v一般從以下4個(gè)方面來(lái)驗(yàn)證需求的正確性： 一致性 完整性 現(xiàn)實(shí)性 有效性中原工學(xué)院信息商務(wù)學(xué)院中