【正文】 結(jié)構(gòu)化分析方法結(jié)構(gòu)化分析方法n 原型化方法原型化方法n 動態(tài)分析方法動態(tài)分析方法n 數(shù)據(jù)及數(shù)據(jù)庫需求數(shù)據(jù)及數(shù)據(jù)庫需求軟件需求分析的任務(wù)軟件需求分析的任務(wù)n 深入描述軟件的功能和性能深入描述軟件的功能和性能n 確定軟件設(shè)計的約束和軟件同確定軟件設(shè)計的約束和軟件同其它系統(tǒng)元素的接口細(xì)節(jié)其它系統(tǒng)元素的接口細(xì)節(jié)n 定義軟件的其它有效性需求定義軟件的其它有效性需求n 需求分析研究的對象是軟件項目的需求分析研究的對象是軟件項目的用戶要求用戶要求n 準(zhǔn)確地表達(dá)被接受的用戶要求準(zhǔn)確地表達(dá)被接受的用戶要求n 確定被開發(fā)軟件系統(tǒng)的系統(tǒng)元素確定被開發(fā)軟件系統(tǒng)的系統(tǒng)元素n 將功能和信息結(jié)構(gòu)分配到這些系統(tǒng)將功能和信息結(jié)構(gòu)分配到這些系統(tǒng)元素中元素中n 需求分析的任務(wù)需求分析的任務(wù) 就是借助于當(dāng)前系就是借助于當(dāng)前系統(tǒng)的邏輯模型導(dǎo)出目標(biāo)系統(tǒng)的邏輯統(tǒng)的邏輯模型導(dǎo)出目標(biāo)系統(tǒng)的邏輯模型，解決目標(biāo)系統(tǒng)的模型，解決目標(biāo)系統(tǒng)的 “做什么做什么 ” 的的問題。問題進(jìn)行分析。最終綜合成分，增加其需要部分。n 文檔中的所有描述是否完整、清晰、文檔中的所有描述是否完整、清晰、準(zhǔn)確反映用戶要求準(zhǔn)確反映用戶要求 。n 主要功能是否已包括在規(guī)定的軟件主要功能是否已包括在規(guī)定的軟件范圍之內(nèi)，是否都已充分說明范圍之內(nèi)，是否都已充分說明 。n 是否考慮過將來可能會提出的軟件需是否考慮過將來可能會提出的軟件需求求 。按照系統(tǒng)的層次結(jié)構(gòu)進(jìn)行圖。它的每一加工可能繼續(xù)細(xì)化。大項。編號表明該加工所處層次及上下層的親子關(guān)系下層的親子關(guān)系n 規(guī)定任何一個數(shù)據(jù)流子圖必須與它規(guī)定任何一個數(shù)據(jù)流子圖必須與它上一層的一個加工對應(yīng)，兩者的輸上一層的一個加工對應(yīng)，兩者的輸入數(shù)據(jù)流和輸出數(shù)據(jù)流必須一致。n 是一種介于自然語言和形式化語言是一種介于自然語言和形式化語言之間的語言之間的語言n 語言的語言的 正文用基本控制結(jié)構(gòu)進(jìn)行分正文用基本控制結(jié)構(gòu)進(jìn)行分割割 ，加工中的，加工中的 操作用自然語言短語操作用自然語言短語來表示來表示n 其基本控制結(jié)構(gòu)有三種：其基本控制結(jié)構(gòu)有三種：u簡單陳述句結(jié)構(gòu)簡單陳述句結(jié)構(gòu) ：避免復(fù)合語句：避免復(fù)合語句；；u重復(fù)結(jié)構(gòu)重復(fù)結(jié)構(gòu) ：： while_do 或或 repeat_until 結(jié)構(gòu)。有時侯它比判定表更直觀。特別是對一些大型的軟件項目。變需求來解脫困境。系統(tǒng)的快速原型的概念。并探討多種方案的可行性。統(tǒng)。u 使用原型化方法，可以容易地確使用原型化方法，可以容易地確定系統(tǒng)的性能，確認(rèn)各項主要系定系統(tǒng)的性能，確認(rèn)各項主要系統(tǒng)服務(wù)的可應(yīng)用性，確認(rèn)系統(tǒng)設(shè)統(tǒng)服務(wù)的可應(yīng)用性，確認(rèn)系統(tǒng)設(shè)計的可行性，確認(rèn)系統(tǒng)作為產(chǎn)品計的可行性，確認(rèn)系統(tǒng)作為產(chǎn)品的結(jié)果。 原型開發(fā)技術(shù)原型開發(fā)技術(shù)n 可執(zhí)行規(guī)格說明可執(zhí)行規(guī)格說明n 基于腳本基于腳本 (scenario)的設(shè)計的設(shè)計n 自動程序設(shè)計自動程序設(shè)計n 專用語言專用語言n 可復(fù)用可復(fù)用 (reusable)的軟件的軟件n 簡化假設(shè)簡化假設(shè)可執(zhí)行規(guī)格說明可執(zhí)行規(guī)格說明n 可執(zhí)行規(guī)格說明是用于需求規(guī)格說可執(zhí)行規(guī)格說明是用于需求規(guī)格說明的一種自動化技術(shù)。包括F 代數(shù)規(guī)格說明代數(shù)規(guī)格說明F 有限狀態(tài)模型有限狀態(tài)模型F 可執(zhí)行的數(shù)據(jù)流圖可執(zhí)行的數(shù)據(jù)流圖?（（ 1）） 代數(shù)規(guī)格說明代數(shù)規(guī)格說明n 代數(shù)規(guī)格說明使用集合、定義于這代數(shù)規(guī)格說明使用集合、定義于這些集合上的函數(shù)和定義于這些函數(shù)些集合上的函數(shù)和定義于這些函數(shù)上的方程來描述對象。 NEW_STACK ：： → StackPUSH：： Stack， Element → StackPOP：： Stack → (Element | Undefined)POP (NEW_STACK ( ) ) ＝＝ UndefinedPOP (PUSH ( stk， elem ) ) ＝＝ elem其中，前三行定義了操作的語法，后其中，前三行定義了操作的語法，后兩行把它們的語義定義為一些方程兩行把它們的語義定義為一些方程。施加在狀。統(tǒng)。它提供了輸入歷的事件。判斷是否符合他的意圖。原型開發(fā)過程中用這種語言來定義屏幕、數(shù)據(jù)項、及其相關(guān)的操定義屏幕、數(shù)據(jù)項、及其相關(guān)的操作。?自動程序設(shè)計自動程序設(shè)計n 自動程序設(shè)計是指在程序自動生成自動程序設(shè)計是指在程序自動生成環(huán)境的支持下，利用計算機(jī)實現(xiàn)軟環(huán)境的支持下，利用計算機(jī)實現(xiàn)軟件的開發(fā)?；跀?shù)學(xué)推理的構(gòu)造式證明。從實例特征出發(fā)，將它推廣為從實例特征出發(fā)，將它推廣為待編程序的特征，最后得到程待編程序的特征，最后得到程序。的過程化。劃中的系統(tǒng)特性方面的交流。?簡化假設(shè)簡化假設(shè)n 簡化假設(shè)是在開發(fā)過程中使設(shè)計者簡化假設(shè)是在開發(fā)過程中使設(shè)計者迅速得到一個簡化的系統(tǒng)所做的假迅速得到一個簡化的系統(tǒng)所做的假設(shè)。?n 在修改一個文件時，可以假設(shè)這個在修改一個文件時，可以假設(shè)這個文件確實存在文件確實存在n 在存取文件時，待存取的記錄總是在存取文件時，待存取的記錄總是存在存在n 一旦計劃中的系統(tǒng)滿足用戶所有的一旦計劃中的系統(tǒng)滿足用戶所有的要求，就可以撤消這些假設(shè)，并追要求，就可以撤消這些假設(shè)，并追加一些細(xì)節(jié)。n 為了直觀地分析系統(tǒng)的動作，從特為了直觀地分析系統(tǒng)的動作，從特定的視點出發(fā)描述系統(tǒng)的行為，需定的視點出發(fā)描述系統(tǒng)的行為，需要采用動態(tài)分析的方法。u 圓圈圓圈 “○”表示可得到的系統(tǒng)表示可得到的系統(tǒng) 狀態(tài)狀態(tài)u 箭頭箭頭 “→→ ”表示從一種狀態(tài)向另表示從一種狀態(tài)向另一種狀態(tài)的一種狀態(tài)的 遷移遷移 。在右圖中理時間。， C1與與 C2， R1與與R2是交錯的。也就是并發(fā)執(zhí)行的處理系統(tǒng)。轉(zhuǎn)移轉(zhuǎn)移 (transition)：： 符號為符號為 “?”, 它用來表示系統(tǒng)中的它用來表示系統(tǒng)中的 事件事件 。n 但任何一個軟件系統(tǒng)都可能有成千但任何一個軟件系統(tǒng)都可能有成千上萬個數(shù)據(jù)項，僅僅描述這些數(shù)據(jù)上萬個數(shù)據(jù)項，僅僅描述這些數(shù)據(jù)項是不夠的，更重要的是如何把它項是不夠的，更重要的是如何把它們以最優(yōu)的方式組織起來，以滿足們以最優(yōu)的方式組織起來，以滿足系統(tǒng)對數(shù)據(jù)的要求。n 人們通常將與數(shù)據(jù)處理有關(guān)的的領(lǐng)人們通常將與數(shù)據(jù)處理有關(guān)的的領(lǐng)域分為三個世界：域分為三個世界：u 現(xiàn)實世界現(xiàn)實世界u 信息世界信息世界u 數(shù)據(jù)世界數(shù)據(jù)世界n 現(xiàn)實世界現(xiàn)實世界 是存在于人們頭腦之外的是存在于人們頭腦之外的客觀世界，現(xiàn)實世界中的事物可分客觀世界，現(xiàn)實世界中的事物可分成成 對象對象 和和 性質(zhì)性質(zhì) 兩大類。對象還可以指事物與事物間的聯(lián)系。n 信息世界信息世界 也叫做觀念世界，是現(xiàn)實也叫做觀念世界，是現(xiàn)實世界在人們頭腦中的反映。屬性屬性 是實體某一方面的特征，相應(yīng)是實體某一方面的特征，相應(yīng)于事物的性質(zhì)。他們對應(yīng)的屬性集合是：：n 這些屬性集合表征了這些屬性集合表征了 “學(xué)生學(xué)生 ”實體的實體的類型，叫做類型，叫做 實體型實體型 。在數(shù)據(jù)世界中用數(shù)據(jù)模型描述。表中每一橫排叫做一個記錄或表。干屬性的屬性值組成一樣。每個數(shù)據(jù)項包括時表示數(shù)據(jù)信息。這個數(shù)據(jù)項叫做關(guān)鍵字。因此，它可以轉(zhuǎn)換成數(shù)據(jù)庫中的數(shù)據(jù)模型可以轉(zhuǎn)換成數(shù)據(jù)庫中的數(shù)據(jù)模型 。出現(xiàn)在連線上的短豎線可以看成是出現(xiàn)在連線上的短豎線可以看成是“1”，而圓圈隱含表示，而圓圈隱含表示 “0”。n 用用 ER圖描述它們之間的聯(lián)系，得圖描述它們之間的聯(lián)系，得下圖。n 進(jìn)一步，要確定屬性。n 此外，學(xué)生通過學(xué)號、分?jǐn)?shù)與課程此外，學(xué)生通過學(xué)號、分?jǐn)?shù)與課程發(fā)生聯(lián)系。而不是面向存儲的結(jié)構(gòu)。（關(guān)系）。互異，列的次序任意。對于非規(guī)范化叫做非規(guī)范化關(guān)系。使數(shù)據(jù)的插入、刪除與。n 在每個關(guān)系中，屬性名下加下劃線在每個關(guān)系中，屬性名下加下劃線）指明）指明 關(guān)鍵字關(guān)鍵字 。n 關(guān)系規(guī)范化的程度，通常按屬性間關(guān)系規(guī)范化的程度，通常按屬性間的依賴程度來區(qū)分，并以范式的依賴程度來區(qū)分，并以范式 NF (Normal Form) 來表達(dá)。n 設(shè)設(shè) ＲＲ 是是 一個關(guān)系一個關(guān)系 ， ＸＸ 和和 ＹＹ 是是 ＲＲ 中的中的兩個屬性兩個屬性 。 例如，例如，教師教師 (職工號職工號 , 姓名姓名 , 年齡年齡 , ???? )n 其中，屬性其中，屬性 “姓名姓名 ”， “年齡年齡 ”等都函等都函數(shù)依賴于屬性數(shù)依賴于屬性 “職工號職工號 ”。只有同時指定學(xué)習(xí)情況。n 判斷規(guī)范化程度的條件是：判斷規(guī)范化程度的條件是：? 關(guān)系中所有屬性都是關(guān)系中所有屬性都是 “單純域單純域 ”，即，即不出現(xiàn)不出現(xiàn) “表中有表表中有表 ”? 非主屬性完全函數(shù)依賴于關(guān)鍵字非主屬性完全函數(shù)依賴于關(guān)鍵字? 非主屬性相互獨立，即任何非主屬非主屬性相互獨立，即任何非主屬性間不存在函數(shù)依賴。n 如果一個關(guān)系僅滿足如果一個關(guān)系僅滿足 條件條件 ?，則這，則這個關(guān)系滿足個關(guān)系滿足 第一范式第一范式 (1NF)。就能滿足數(shù)據(jù)庫應(yīng)用的需要。n 此信息模型應(yīng)包括一個此信息模型應(yīng)包括一個 綜合的數(shù)據(jù)綜合的數(shù)據(jù)詞典詞典 ，定義所有在開發(fā)數(shù)據(jù)庫時用，定義所有在開發(fā)數(shù)據(jù)庫時用到的數(shù)據(jù)項。n 這種邏輯結(jié)構(gòu)必須適應(yīng)這種邏輯結(jié)構(gòu)必須適應(yīng) 數(shù)據(jù)存取數(shù)據(jù)存取 、修改修改 、 關(guān)聯(lián)性關(guān)聯(lián)性 及其它相關(guān)需求。n 最后，要最后，要 對模式和物理特性進(jìn)行完對模式和物理特性進(jìn)行完全的評審全的評審 。所以必須在各個因素之間進(jìn)行折衷。n 考慮考慮 信息關(guān)聯(lián)程度信息關(guān)聯(lián)程度 和和 擴(kuò)充潛力擴(kuò)充潛力 （包（包括括 信息規(guī)模信息規(guī)模 和和 信息內(nèi)容信息內(nèi)容 兩方面）主兩方面）主要要 基于需求分析和設(shè)計階段分派給基于需求分析和設(shè)計階段分派給數(shù)據(jù)庫的專用性程度數(shù)據(jù)庫的專用性程度 。n 操作特性根據(jù)折衷的結(jié)果而定