軟件工程第2篇-第4章-需求分析

第4章結(jié)構(gòu)化需求分析本章的主要目標(biāo)是介紹軟件需求分析的相關(guān)工作。讀完本章，你將了解以下基本內(nèi)容：需求分析的基礎(chǔ)。結(jié)構(gòu)化面向數(shù)據(jù)流的需求分析。結(jié)構(gòu)化需求分析常用工具。11/2/20231?曲阜師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院第4章結(jié)構(gòu)化需求分析4.1需求分析基礎(chǔ)4.2面向數(shù)據(jù)流的結(jié)構(gòu)化需求分析方法4.3其他圖形工具11/2/20232?曲阜師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院4.1需求分析基礎(chǔ)

軟件需求是指用戶對(duì)目標(biāo)軟件系統(tǒng)在功能、行為、性能、設(shè)計(jì)約束等方面的期望，最終形成需求規(guī)格說明。需求分析階段是介于系統(tǒng)分析和軟件設(shè)計(jì)階段間的重要橋梁。

11/2/20233?曲阜師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院4.1.1需求分析的任務(wù)與原則需求分析可分為問題分析、需求描述及需求評(píng)審3個(gè)階段。在問題分析階段，分析人員通過對(duì)問題及其環(huán)境的理解、分析和綜合，清除用戶需求的模糊性、歧義性和不一致性，并在用戶的幫助下對(duì)相互沖突的要求進(jìn)行折衷。需求描述階段的主要任務(wù)是以需求模型為基礎(chǔ)，考慮到問題的軟件可解性，生成需求規(guī)格說明和初步的用戶手冊(cè)。在需求評(píng)審階段，分析人員需在用戶和軟件設(shè)計(jì)人員的配合下對(duì)自己生成的需求規(guī)格說明和初步的用戶手冊(cè)進(jìn)行復(fù)核，以確保軟件需求的全面性、精確性和一致性，并使用戶和設(shè)計(jì)人員對(duì)需求規(guī)格說明及用戶手冊(cè)的理解達(dá)成一致。

11/2/20234?曲阜師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院4.1.2需求初步獲取技術(shù)

4.1.2.1訪談與會(huì)議

4.1.2.2深入用戶工作環(huán)境

4.1.2.3用戶與開發(fā)人員一同參與

4.1.2.4需求實(shí)例11/2/20235?曲阜師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院4.1.2.4需求實(shí)例問題描述：家庭保安市場(chǎng)正以每年40%的速度增長(zhǎng)?，F(xiàn)希望建立一種基于微處理器的家庭保安系統(tǒng)，它能夠識(shí)別異常事件并采取相應(yīng)的防護(hù)措施。這些異常事件應(yīng)包括非法進(jìn)入、火災(zāi)、水淹等等。一旦異常情形被相應(yīng)的傳感器探測(cè)出來，系統(tǒng)應(yīng)自動(dòng)通過電話向監(jiān)控中心報(bào)警。此外，系統(tǒng)還應(yīng)該允許戶主對(duì)其行為實(shí)施程序式控制。針對(duì)此問題，軟件研發(fā)聯(lián)合小組首先制定工作制度：每次會(huì)議開始前必須有確定的議程，參加者需要針對(duì)各項(xiàng)議程進(jìn)行充分的準(zhǔn)備，這種準(zhǔn)備不僅是思想上的，還應(yīng)成形于文字。11/2/20236?曲阜師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院

最后，初步分析活動(dòng)應(yīng)形成結(jié)論性文檔，該文檔將作為后續(xù)分析活動(dòng)的基礎(chǔ)。經(jīng)過初步分析后，“家庭保安系統(tǒng)”的部分需求文檔（不包括約束條件和測(cè)試標(biāo)準(zhǔn)）如下：“家庭保安系統(tǒng)”的軟件允許用戶在安裝時(shí)進(jìn)行系統(tǒng)配置，實(shí)施對(duì)傳感器的監(jiān)控并通過控制面板與用戶進(jìn)行信息交互。配置操作包括：(1)指定每一傳感器的種類和編號(hào)；(2)設(shè)置開、關(guān)機(jī)密碼；(3)指定報(bào)警電話號(hào)碼；(4)指定報(bào)警延遲和電話重?fù)苎舆t時(shí)間（以秒為單位）。當(dāng)軟件系統(tǒng)接收到傳感器發(fā)出的數(shù)據(jù)后，判斷是否出現(xiàn)異常事件。若是，則在指定的延遲時(shí)間內(nèi)撥報(bào)警電話，撥號(hào)操作將按照重?fù)苎舆t反復(fù)進(jìn)行，直至電話接通。然后軟件系統(tǒng)負(fù)責(zé)報(bào)告時(shí)間、地點(diǎn)和異常事件的性質(zhì)。開機(jī)后，軟件系統(tǒng)負(fù)責(zé)顯示當(dāng)前工作狀態(tài)，接收并處理用戶指令。11/2/20237?曲阜師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院4.1.3需求建模軟件目標(biāo)系統(tǒng)可通過模型刻畫所涉及的信息、處理功能及實(shí)際運(yùn)行時(shí)的外部行為。

建立軟件模型是分析活動(dòng)的焦點(diǎn)。11/2/20238?曲阜師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院4.1.4問題抽象、問題分解與多視點(diǎn)分析抽象方法要求分析人員在分析過程中善于捕捉用戶描述或問題本身所固有的一般――特殊關(guān)系，首先關(guān)注一般問題的解決途徑，進(jìn)而指導(dǎo)特殊問題的求解。問題分解也是普遍適用于分析各階段的一般性方法。與問題分解相對(duì)應(yīng)，還有一種“視角分解”方法廣泛應(yīng)用于需求分析活動(dòng)，這就是所謂的“多視點(diǎn)分析”。11/2/20239?曲阜師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院4.1.5支持需求分析的快速原型技術(shù)一旦確定采用快速原型技術(shù)后，分析人員不妨遵循以下步驟：利用各種分析技術(shù)和方法，生成一個(gè)簡(jiǎn)化的需求規(guī)格說明；對(duì)前述需求規(guī)格說明進(jìn)行檢查、修訂后，生成設(shè)計(jì)規(guī)格說明。一般情況，為了快速生成原型，軟件的設(shè)計(jì)只關(guān)心軟 件的總體結(jié)構(gòu)、用戶界面和數(shù)據(jù)設(shè)計(jì)，不注重過程內(nèi)部的控制流程設(shè)計(jì)。在現(xiàn)有工具或環(huán)境的幫助下快速生成可運(yùn)行的軟件原型并進(jìn)行測(cè)試、完善和改進(jìn)。可用的主要工具有可重用的軟部件庫(kù)、用戶界面自動(dòng)生成器等快速原型支持工具；將原型提交給用戶評(píng)估并征詢改進(jìn)意見；上述過程將反復(fù)迭代進(jìn)行，直到用戶完全認(rèn)可為止。11/2/202310?曲阜師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院4.1.6需求規(guī)格說明與評(píng)審4.1.6.1需求規(guī)格說明書的目標(biāo)和內(nèi)容 它必須服務(wù)于以下目標(biāo)：便于用戶、分析人員和軟件設(shè)計(jì)人員進(jìn)行理解和交流。支持目標(biāo)軟件系統(tǒng)的確認(rèn)?？刂葡到y(tǒng)進(jìn)化過程。

需求規(guī)格說明書的主體內(nèi)容包括功能與行為需求描述以及非行為需求描述兩部分。需求規(guī)格說明書基本構(gòu)架和內(nèi)容見《計(jì)算機(jī)軟件文檔編制規(guī)范（GB/T8567-2006）》。

11/2/202311?曲阜師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院4.1.6.2需求評(píng)審

衡量需求規(guī)格說明書質(zhì)量的標(biāo)準(zhǔn)按重要性次序排列為正確性、無歧義性、完全性、可驗(yàn)證性、一致性、可理解性、可修改性和可追蹤性。

正確性。需求規(guī)格說明書中的功能、行為、性能描述必須與用戶對(duì)目標(biāo)軟件產(chǎn)品的期望相吻合。無歧義性。對(duì)于用戶、分析人員、設(shè)計(jì)人員和測(cè)試人員而言，需求規(guī)格說明書中的任何語法單位只能有唯一的語義解釋。完全性。需求規(guī)格說明書不能遺漏任何用戶需求?？沈?yàn)證性。對(duì)于規(guī)格說明書中的任何需求，均應(yīng)該對(duì)技術(shù)和經(jīng)濟(jì)上的可行性手段進(jìn)行驗(yàn)證和確認(rèn)。11/2/202312?曲阜師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院一致性。需求規(guī)格說明書的各部分內(nèi)容之間不能相互矛盾。可理解性。追求上述目標(biāo)不應(yīng)妨礙需求規(guī)格說明書對(duì)于用戶、設(shè)計(jì)人員和測(cè)試人員的易理解性。可修改性。需求規(guī)格說明書的格式和組織方式應(yīng)保證能夠比較容易地接納后續(xù)的增刪改，并使修改后的說明書能夠較好地保持其他各項(xiàng)屬性?？勺粉櫺?。需求規(guī)格說明書分析后獲得的每項(xiàng)需求必須與用戶的原始需求項(xiàng)清晰地聯(lián)系起來，并為后續(xù)開發(fā)和其他文檔引用這些需求項(xiàng)提供便利。11/2/202313?曲阜師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院

4.2面向數(shù)據(jù)流的結(jié)構(gòu)化需求分析方法

結(jié)構(gòu)化分析方法的雛形出現(xiàn)于20世紀(jì)60年代后期。直到1979年才由DeMarco將其作為一種需求分析方法正式提出。20世紀(jì)80年代中后期，Ward&Hatley和Hatley&Pirbhai在結(jié)構(gòu)化分析方法中引入了實(shí)時(shí)系統(tǒng)分析機(jī)制，Harel等人研制了面向復(fù)雜實(shí)時(shí)反應(yīng)式系統(tǒng)的開發(fā)環(huán)境STATEMATE。結(jié)構(gòu)化需求分析過程是通過建立三種模型來詮釋，它們分別是數(shù)據(jù)模型、功能模型和行為模型。11/2/202314?曲阜師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院4.2.1實(shí)體-聯(lián)系圖在數(shù)據(jù)模型中包含三種相互關(guān)聯(lián)的信息：數(shù)據(jù)對(duì)象、數(shù)據(jù)對(duì)象的屬性及數(shù)據(jù)對(duì)象彼此間相互連接的關(guān)系。4.2.1.1數(shù)據(jù)對(duì)象數(shù)據(jù)對(duì)象可以是外部實(shí)體（例如產(chǎn)生或使用信息的任何事物）、事物（例如報(bào)表）、行為（例如打電話）、事件（例如響警報(bào)）、角色（例如教師、學(xué)生、經(jīng)理、雇員等）、單位（例如會(huì)計(jì)科）、地點(diǎn)（例如倉(cāng)庫(kù)）或結(jié)構(gòu)（例如文件）等?？傊?，可以由一組屬性來定義的實(shí)體都可以被認(rèn)為是數(shù)據(jù)對(duì)象。數(shù)據(jù)對(duì)象彼此間是有關(guān)聯(lián)的，例如，教師“教”課程，學(xué)生“學(xué)”課程。數(shù)據(jù)對(duì)象只封裝了數(shù)據(jù)而沒有對(duì)施加于數(shù)據(jù)之上的操作加以引用，這是數(shù)據(jù)對(duì)象與面向?qū)ο蠓缎椭械摹邦悺被颉皩?duì)象”的顯著區(qū)別。11/2/202315?曲阜師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院4.2.1.2屬性屬性定義了數(shù)據(jù)對(duì)象的性質(zhì)。應(yīng)該根據(jù)對(duì)所要解決問題的理解，來確定特定數(shù)據(jù)對(duì)象的一組合適的屬性。11/2/202316?曲阜師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院4.2.1.3聯(lián)系客觀世界中的事物彼此間往往是有聯(lián)系的。數(shù)據(jù)對(duì)象彼此之間相互連接的方式稱為聯(lián)系，也稱為關(guān)系。聯(lián)系可分為以下三種：一對(duì)一聯(lián)系（1：1）一對(duì)多聯(lián)系（1：N）多對(duì)多聯(lián)系（M：N）11/2/202317?曲阜師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院4.2.1.4實(shí)體-聯(lián)系圖的符號(hào)使用實(shí)體-聯(lián)系圖（Entity-RelationshipDiagram）來建立數(shù)據(jù)模型?？梢园褜?shí)體聯(lián)系圖簡(jiǎn)稱為ER圖，相應(yīng)地把用ER圖描繪的數(shù)據(jù)模型稱為ER模型。11/2/202318?曲阜師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院4.2.1.5數(shù)據(jù)規(guī)范化通常用“范式（NormalForms）”定義消除數(shù)據(jù)冗余的程度。第一范式（1NF）數(shù)據(jù)冗余程度最大，第六范式（6NF）冗余程度最小。從實(shí)用角度來看，在大多數(shù)場(chǎng)合選用第三范式比較恰當(dāng)。

第一范式無重復(fù)的列。第二范式完全依賴于主鍵[消除非主屬性對(duì)主鍵的部分函數(shù)依賴]。第三范式不依賴于其它非主屬性[消除傳遞依賴]。11/2/202319?曲阜師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院4.2.2狀態(tài)轉(zhuǎn)換圖狀態(tài)轉(zhuǎn)移圖（簡(jiǎn)稱為狀態(tài)圖）通過描繪系統(tǒng)的狀態(tài)及引起系統(tǒng)狀態(tài)轉(zhuǎn)換的事件來表示系統(tǒng)的行為。

4.2.2.1狀態(tài)狀態(tài)是任何可以被觀察到的系統(tǒng)行為模式，一個(gè)狀態(tài)代表系統(tǒng)的一種行為模式。狀態(tài)規(guī)定了系統(tǒng)對(duì)事件的響應(yīng)方式。在狀態(tài)圖中定義的狀態(tài)主要有：初態(tài)（即初始狀態(tài)）、終態(tài)（最終狀態(tài)）和中間狀態(tài)。在一張狀態(tài)圖中只有一個(gè)初態(tài)，而終態(tài)則可以有0至多個(gè)。4.2.2.2事件事件是在某個(gè)特定時(shí)刻發(fā)生的事件，它是對(duì)引起系統(tǒng)做動(dòng)作或（和）從一個(gè)狀態(tài)轉(zhuǎn)換到另一個(gè)狀態(tài)的外界事件的抽象。11/2/202320?曲阜師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院4.2.2.3符號(hào)

在狀態(tài)圖中，初態(tài)用實(shí)心圓表示，終態(tài)用一對(duì)同心圓（內(nèi)圓為實(shí)心圓）表示，中間狀態(tài)用圓角矩形表示，可以用兩條水平橫線分成上、中、下3個(gè)部分。上面部分為狀態(tài)的名稱，這部分不能缺??；中間部分為狀態(tài)變量的名字和值，此部分可選；下面部分是活動(dòng)表，這部分也是可選。

活動(dòng)表的語法格式為：事件名（參數(shù)表）/動(dòng)作表達(dá)式狀態(tài)圖中兩個(gè)狀態(tài)之間帶箭頭的連線稱為狀態(tài)轉(zhuǎn)換，箭頭指明了轉(zhuǎn)換方向。

事件表達(dá)式的語法：事件說明[警戒條件]/動(dòng)作表達(dá)式圖4.2是狀態(tài)圖中使用的主要符號(hào)表征。

11/2/202321?曲阜師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院4.2.2.4舉例

11/2/202322?曲阜師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院4.2.3數(shù)據(jù)流圖數(shù)據(jù)流圖（DataFlowDiagram，DFD）是一種圖形化技術(shù)，它描繪信息流和數(shù)據(jù)從輸入移動(dòng)到輸出的過程所經(jīng)受的變換。如圖4.4（a）所示，數(shù)據(jù)流圖有4種基本符號(hào)：正方形（或立方體）表示數(shù)據(jù)的源點(diǎn)或終點(diǎn)；圓角矩形（或圓形）代表變換數(shù)據(jù)的處理；開口矩形（或兩條平行橫線）代表數(shù)據(jù)存儲(chǔ)；箭頭表示數(shù)據(jù)流，即特定數(shù)據(jù)的流動(dòng)方向。注意，數(shù)據(jù)流與程序流程圖中用箭頭表示的控制流有本質(zhì)不同，不可以混淆。

11/2/202323?曲阜師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院處理并不一定是一個(gè)程序。一個(gè)處理框可以代表一系列程序、單個(gè)程序或者程序的一個(gè)模塊；它甚至可以代表用穿孔機(jī)穿孔或目視檢查數(shù)據(jù)正確性等人工處理過程。一個(gè)數(shù)據(jù)存儲(chǔ)也并不等同于一個(gè)文件，它可以表示一個(gè)文件、文件的一部分、數(shù)據(jù)庫(kù)的元素或記錄的一部分等；數(shù)據(jù)存儲(chǔ)和數(shù)據(jù)流都是數(shù)據(jù)，僅僅所處的狀態(tài)不同。數(shù)據(jù)流圖的基本要點(diǎn)是描繪“做什么”，而不考慮“怎樣做”。11/2/202324?曲阜師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院4.2.3.2數(shù)據(jù)流層次

在分析的初始，整個(gè)信息處理系統(tǒng)可以用圖4.5所示的頂級(jí)（第0級(jí)）數(shù)據(jù)流圖表示:11/2/202325?曲阜師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院

隨著需求分析活動(dòng)的逐漸深入，較高層抽象級(jí)別的復(fù)雜轉(zhuǎn)換可以精化為一系列相互關(guān)聯(lián)的數(shù)據(jù)流和子轉(zhuǎn)換。在進(jìn)行逐層精化的過程中，必須維持層次間數(shù)據(jù)流圖的平衡，被完成精化的轉(zhuǎn)換的輸入流、輸出流必須與精化它的數(shù)據(jù)流子圖的初始輸入流和最終輸出流保持嚴(yán)格一致。11/2/202326?曲阜師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院4.2.3.3數(shù)據(jù)字典通常，數(shù)據(jù)字典的每一數(shù)據(jù)條目包含以下內(nèi)容：（1）在數(shù)據(jù)流圖中標(biāo)識(shí)數(shù)據(jù)流、數(shù)據(jù)源或外部實(shí)體的名稱與別名；（2）數(shù)據(jù)類型；（3）所有以它作為輸入流或輸出流的轉(zhuǎn)換列表；（4）如何使用該數(shù)據(jù)條目的簡(jiǎn)要說明；（5）數(shù)據(jù)條目的解釋性說明；（6）其他補(bǔ)充說明，例如取值范圍與缺省值，有關(guān)的設(shè)計(jì)約束等。11/2/202327?曲阜師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院

數(shù)據(jù)條目的定義必須遵循精確、簡(jiǎn)潔的原則，并且能為用戶方和軟件開發(fā)方共同理解。例如，可以使用形式語言中的語法定義機(jī)制描述數(shù)據(jù)條目的內(nèi)容：=定義為（等價(jià)于）；A+B表示語法成分A、B的順序連接；A|B表示A或B；（）表示括弧內(nèi)的內(nèi)容可選（圓括弧里的分量可有可無）。[A]表示A0|A，即含有一個(gè)A，或者不含；{A}n(n≥0)表示n個(gè)A的順序連接；11/2/202328?曲阜師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院常常使用上限和下限進(jìn)一步注釋表示重復(fù)的花括弧。一種注釋方法是在開括弧的左邊用上角標(biāo)和下角標(biāo)分別表明重復(fù)的上限和下限；另一種注釋方法是在開括弧左側(cè)標(biāo)明重復(fù)的下限，在閉括弧的右側(cè)標(biāo)明重復(fù)的上限。例如：1{A}5，或者，它們含義相同。表示用A表示的字符串集合，字符串包括：A、AA、AAA、AAAA和AAAAA。這樣，“家庭保安系統(tǒng)”中的“電話號(hào)碼”數(shù)據(jù)條目可以定義如下：電話號(hào)碼=分機(jī)號(hào)|外線號(hào)碼分機(jī)號(hào)=8601|8602|…|8699外線號(hào)碼=9+[市話號(hào)碼|長(zhǎng)話號(hào)碼]長(zhǎng)話號(hào)碼=0+區(qū)號(hào)+市話號(hào)碼區(qū)號(hào)=3{0|1|…|9}3市話號(hào)碼=局號(hào)+分局號(hào)局號(hào)=455|448|888|552分局號(hào)=4{0|1|…|9}411/2/202329?曲阜師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院4.2.3.4基于數(shù)據(jù)流的分析方法4.2.3.4.1創(chuàng)建數(shù)據(jù)流

數(shù)據(jù)流圖是目標(biāo)軟件系統(tǒng)中各個(gè)處理子功能以及它們之間的數(shù)據(jù)流動(dòng)的圖形表示。數(shù)據(jù)流圖的精化過程實(shí)際上是處理子功能和數(shù)據(jù)流的細(xì)化過程。隨著這一過程的進(jìn)行，用戶需求逐步精確化、一致化和完全化。11/2/202330?曲阜師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院在創(chuàng)建用戶需求的數(shù)據(jù)流模型的過程中，分析人員應(yīng)遵循以下規(guī)則：首先建立頂級(jí)數(shù)據(jù)流圖：11/2/202331?曲阜師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院對(duì)用戶需求的文字描述進(jìn)行語法分析，其中的名詞和名詞短語構(gòu)成潛在的外部實(shí)體、數(shù)據(jù)源或數(shù)據(jù)流，動(dòng)詞構(gòu)成潛在的處理功能。11/2/202332?曲阜師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院采用通常的功能分解法，按照“高內(nèi)聚、低耦合”原則逐個(gè)對(duì)處理功能進(jìn)行精化；與此同時(shí)，逐步完成數(shù)據(jù)流的精化，并針對(duì)被精化的處理功能生成下一級(jí)數(shù)據(jù)流圖。

“高內(nèi)聚、低耦合”原則是指，被分解出來的各子功能之間的聯(lián)系相對(duì)松散、簡(jiǎn)單，子功能內(nèi)部各部分的聯(lián)系相對(duì)緊密、復(fù)雜。

對(duì)數(shù)據(jù)流的精化包含兩方面的意義。首先，伴隨著功能分解的進(jìn)行，數(shù)據(jù)流的內(nèi)容及各項(xiàng)特征將逐步彰顯，所以要將其作為數(shù)據(jù)字典的一個(gè)條目，并不斷精化、調(diào)整內(nèi)容。其次，在父數(shù)據(jù)流圖中的復(fù)合數(shù)據(jù)項(xiàng)可被分解為子數(shù)據(jù)項(xiàng)，這種數(shù)據(jù)流分解并不違背平衡準(zhǔn)則。11/2/202333?曲阜師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院在精化過程中必須維持各級(jí)數(shù)據(jù)流的平衡。精化過程應(yīng)適可而止，避免涉及軟件設(shè)計(jì)細(xì)節(jié)。一般來說，如果某子功能可以用一段簡(jiǎn)潔、精確的文字描述清楚，就無需進(jìn)一步分解。11/2/202334?曲阜師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院4.2.3.4.2過程規(guī)格說明圖4.8中“口令核對(duì)”子功能分解出來的“設(shè)置口令”子功能可描述如下：參數(shù)：口令；類別：字符串；處理步驟：i.檢查系統(tǒng)是否已有口令。若有，則驗(yàn)證用戶輸入口令的有效性。若有效，則顯示提示信息要求輸入新口令；否則，顯示失敗信息并退出。ii.檢查口令長(zhǎng)度是否合法。若非法，則顯示提示信息，要求重新輸入。iii.要求用戶再次鍵入合法口令，以便用戶確認(rèn)和記憶。若兩次鍵入的口令不符，則返回。iv.將確認(rèn)后的口令按某種加密方法轉(zhuǎn)換為另一字符串存放于系統(tǒng)配置文件中。顯示成功信息并退出。約束條件：在上述i、ii、iii步驟中，用戶重試的機(jī)會(huì)不超過三次。11/2/202335?曲阜師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院4.3其他圖形工具4.3.1層次方框圖

層次方框圖是用樹形結(jié)構(gòu)的一系列層次矩形框描繪數(shù)據(jù)的層次結(jié)構(gòu)。樹形結(jié)構(gòu)的頂層是一個(gè)單獨(dú)的矩形框，它代表完整的數(shù)據(jù)結(jié)構(gòu)，下面的各層矩形框代表這個(gè)數(shù)據(jù)的子集，最底層的各個(gè)框代表組成這個(gè)數(shù)據(jù)的實(shí)際數(shù)據(jù)元素(不能再進(jìn)行分割的元素)。

11/2/202336?曲阜師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院4.3.2Warnier圖法國(guó)計(jì)算機(jī)科學(xué)家Warnier提出了表示信息層次結(jié)構(gòu)的另外一種圖形工具----――Warnier圖。和層次方框圖類似，Warnier圖也用樹形結(jié)構(gòu)描繪信息，但是這種圖形工具比層次方框圖提供了更豐富的描繪手段。11/2/202337?曲阜師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院4.3.3IPO圖IPO（Input-Process-Output，IPO）圖是輸入、處理、輸出圖的