軟件工程3-史濟(jì)民

1、湘 潭 大 學(xué)第三章第三章 結(jié)構(gòu)化分析與設(shè)計(jì)結(jié)構(gòu)化分析與設(shè)計(jì)概述概述結(jié)構(gòu)化結(jié)構(gòu)化系統(tǒng)分析系統(tǒng)分析結(jié)構(gòu)化系統(tǒng)設(shè)計(jì)結(jié)構(gòu)化系統(tǒng)設(shè)計(jì)模塊化設(shè)計(jì)模塊化設(shè)計(jì)3.1 3.1 概述概述 結(jié)構(gòu)化分析與設(shè)計(jì)的由來(lái) 結(jié)構(gòu)化分析與設(shè)計(jì)最初系由結(jié)構(gòu)化程序設(shè)計(jì)擴(kuò)展而來(lái)。 20世紀(jì)70年代先后提出結(jié)構(gòu)化設(shè)計(jì)（SD）的軟件設(shè)計(jì)技術(shù)，以及結(jié)構(gòu)化分析（SA）技術(shù)。合稱為結(jié)構(gòu)化分析與設(shè)計(jì)方法。是第一代軟件工程時(shí)期最有代表性的應(yīng)用系統(tǒng)開(kāi)發(fā)方法。 結(jié)構(gòu)化分析與設(shè)計(jì)的由來(lái)結(jié)構(gòu)化分析與設(shè)計(jì)的由來(lái) 瀑布模型的首次實(shí)踐瀑布模型的首次實(shí)踐 瀑布模型由傳統(tǒng)的生存周期過(guò)程演變而來(lái)。作為一種系統(tǒng)開(kāi)發(fā)方法，結(jié)構(gòu)化分析與設(shè)計(jì)是瀑布模型的首次實(shí)踐。該模型一

2、般可劃分為以下階段： 需求定義與分析總體設(shè)計(jì)詳細(xì)設(shè)計(jì)編碼測(cè)試使用維護(hù)結(jié)構(gòu)化分析與設(shè)計(jì)的由來(lái)結(jié)構(gòu)化分析與設(shè)計(jì)的由來(lái) SASA與與SDSD的流程的流程 系統(tǒng)的整個(gè)開(kāi)發(fā)流程可簡(jiǎn)明表示為： 結(jié)構(gòu)化分析（工具：DFD、PSPEC） 分析模型（分層DFD圖）+ SRS 結(jié)構(gòu)化設(shè)計(jì)（工具：SC圖） 映射 初始設(shè)計(jì)模型（初始SC圖） 初始設(shè)計(jì)模型（初始SC圖） 優(yōu)化 最終設(shè)計(jì)模型（最終SC圖） SA與SD的流程是為待開(kāi)發(fā)系統(tǒng)建立分析模型和設(shè)計(jì)模型的過(guò)程。 結(jié)構(gòu)化分析與設(shè)計(jì)的由來(lái)結(jié)構(gòu)化分析與設(shè)計(jì)的由來(lái) 基本任務(wù)與指導(dǎo)思想基本任務(wù)與指導(dǎo)思想 結(jié)構(gòu)化分析 建立分析模型：功能模型、數(shù)據(jù)模型、行為模型 編寫(xiě)需求說(shuō)明：軟

3、件需求規(guī)格說(shuō)明書(shū)（SRS）標(biāo)準(zhǔn)的主要內(nèi)容為引言、信息描述、 功能描述、行為描述、質(zhì)量保證、接口描述等。 SRS標(biāo)準(zhǔn)強(qiáng)調(diào)SRS應(yīng)具有準(zhǔn)確性、應(yīng)防止二義性、應(yīng)直觀易改。 主要指導(dǎo)思想：抽象與分解。 結(jié)構(gòu)化設(shè)計(jì) 軟件設(shè)計(jì) = 總體設(shè)計(jì) + 詳細(xì)設(shè)計(jì) 軟件結(jié)構(gòu)圖（SC）須分兩步完成 ：初始SC，優(yōu)化后的最終SC。 指導(dǎo)思想：分解和細(xì)化。結(jié)構(gòu)化分析模型的描述工具結(jié)構(gòu)化分析模型的描述工具SA模型的描述工具： DFD、DD和PSPEC：這是早期SA模型的基本組成部分； CFD、CSPEC和STD：是早期SA模型的擴(kuò)展成分，適應(yīng)實(shí)時(shí)軟件的建模需要； E-R圖：適用于描述具有復(fù)雜數(shù)據(jù)結(jié)構(gòu)的軟件數(shù)據(jù)模型；加工加工

4、規(guī)規(guī)格格說(shuō)說(shuō)明明PSPECPSPEC數(shù)數(shù)據(jù)據(jù)對(duì)對(duì)象象說(shuō)說(shuō)明明STDSTD圖圖DFDDFD圖圖E-RE-R圖圖DDDD控制控制規(guī)規(guī)格格說(shuō)說(shuō)明（明（CSPECCSPEC）分析模型分析模型結(jié)構(gòu)化分析模型的描述工具結(jié)構(gòu)化分析模型的描述工具 數(shù)據(jù)流圖數(shù)據(jù)流圖（DFD） 指明數(shù)據(jù)在系統(tǒng)中移動(dòng)時(shí)如何被變換，描述對(duì)數(shù)據(jù)流進(jìn)行變指明數(shù)據(jù)在系統(tǒng)中移動(dòng)時(shí)如何被變換，描述對(duì)數(shù)據(jù)流進(jìn)行變換的功能和子功能。換的功能和子功能。 組成符號(hào)組成符號(hào) 圓框代表加工；圓框代表加工； 箭頭代表數(shù)據(jù)的流向，數(shù)據(jù)名稱總是標(biāo)在箭頭的邊上；箭頭代表數(shù)據(jù)的流向，數(shù)據(jù)名稱總是標(biāo)在箭頭的邊上； 方框表示數(shù)據(jù)的源點(diǎn)和終點(diǎn)；方框表示數(shù)據(jù)的源點(diǎn)和終點(diǎn)；

5、 雙杠（或單杠）表示數(shù)據(jù)存儲(chǔ)（數(shù)據(jù)文件或數(shù)據(jù)庫(kù)）雙杠（或單杠）表示數(shù)據(jù)存儲(chǔ)（數(shù)據(jù)文件或數(shù)據(jù)庫(kù)） 數(shù)據(jù)字典數(shù)據(jù)字典（DD） 對(duì)軟件中的每個(gè)數(shù)據(jù)規(guī)定一個(gè)定義條目。對(duì)軟件中的每個(gè)數(shù)據(jù)規(guī)定一個(gè)定義條目。 加工說(shuō)明加工說(shuō)明（PSPEC） 對(duì)數(shù)據(jù)流圖中出現(xiàn)的每個(gè)加工對(duì)數(shù)據(jù)流圖中出現(xiàn)的每個(gè)加工/處理的功能描述處理的功能描述 主要工具：結(jié)構(gòu)化語(yǔ)言，判定樹(shù)或判定表主要工具：結(jié)構(gòu)化語(yǔ)言，判定樹(shù)或判定表 SDSD模型的組成與描述模型的組成與描述 包含數(shù)據(jù)設(shè)計(jì)數(shù)據(jù)設(shè)計(jì)、體系體系結(jié)構(gòu)設(shè)計(jì)結(jié)構(gòu)設(shè)計(jì)、接口設(shè)計(jì)接口設(shè)計(jì)與過(guò)程設(shè)計(jì)過(guò)程設(shè)計(jì)。 體系結(jié)構(gòu)設(shè)計(jì)是用來(lái)確定軟件結(jié)構(gòu)的，其描述工具為結(jié)構(gòu)圖結(jié)構(gòu)圖，簡(jiǎn)稱SCSC圖圖。 過(guò)程設(shè)

6、計(jì)過(guò)程設(shè)計(jì)主要指模塊內(nèi)部的詳細(xì)設(shè)計(jì) 過(guò)過(guò)程程設(shè)計(jì)設(shè)計(jì)接口接口設(shè)計(jì)設(shè)計(jì)體系體系結(jié)構(gòu)設(shè)計(jì)結(jié)構(gòu)設(shè)計(jì)數(shù)數(shù)據(jù)據(jù)設(shè)計(jì)設(shè)計(jì)SDSD模型的模型的組組成成結(jié)構(gòu)化設(shè)計(jì)模型的描述工具結(jié)構(gòu)化設(shè)計(jì)模型的描述工具 Yourdon提出的SC圖的組成符號(hào) 矩形框矩形框來(lái)表示模塊，帶箭頭的連線帶箭頭的連線表示模塊間的調(diào)用，并在調(diào)用線的兩旁標(biāo)出傳入和傳出模塊的數(shù)據(jù)數(shù)據(jù)流流 ABCDABCABC（a）簡(jiǎn)單調(diào)用 （b）選擇調(diào)用 （c）循環(huán)調(diào)用 SCSC圖圖中模中模塊調(diào)塊調(diào)用用關(guān)關(guān)系的表示系的表示層次圖和層次圖和HIPOHIPO圖圖 通常使用層次圖描繪軟件的層次結(jié)構(gòu)。在層次圖中一個(gè)矩形框代表一個(gè)模塊，框間的連線表示調(diào)用關(guān)系(位于上方的

7、矩形框所代表的模塊調(diào)用位于下方的矩形框所代表的模塊)。圖4.4 正文加工系統(tǒng)的層次圖HIPOHIPO圖圖 是美國(guó)IBM公司發(fā)明的“層次圖加輸入/處理/輸出圖”的英文縮寫(xiě)。為了使HIPO圖具有可追蹤性，在H圖(即層次圖)里除了頂層的方框之外，每個(gè)方框都加了編號(hào)。數(shù)據(jù)流圖的編號(hào)方法相同，例如，把圖4.4加了編號(hào)之后得到圖4.5。 對(duì)應(yīng)與H圖中的每個(gè)方框，應(yīng)有一張IPO圖描繪這個(gè)方框代表的模塊的處理過(guò)程。圖4.5 正文加工系統(tǒng)的H圖圖4.6 IPO圖的一個(gè)例子（主文件更新）圖4.7 改進(jìn)的IPO圖(IPO表)的形式3.2 3.2 結(jié)構(gòu)化系統(tǒng)分析結(jié)構(gòu)化系統(tǒng)分析 T.DeMarco的定義 結(jié)構(gòu)化分析就是

8、使用DFD、DD、結(jié)構(gòu)化英語(yǔ)、判定表和判定樹(shù)等工具，來(lái)建立一種新的、稱為結(jié)構(gòu)化說(shuō)明書(shū)的目標(biāo)文檔 結(jié)構(gòu)化分析的基本步驟 自頂向下對(duì)系統(tǒng)進(jìn)行功能分解，畫(huà)出分層DFD圖 由后向前定義系統(tǒng)的數(shù)據(jù)和加工，編制DD和PSPEC 最終寫(xiě)出SRS 數(shù)據(jù)流圖的層次結(jié)構(gòu)數(shù)據(jù)流圖的層次結(jié)構(gòu)數(shù)據(jù)流圖的層次結(jié)構(gòu)數(shù)據(jù)流圖的層次結(jié)構(gòu) 在多層數(shù)據(jù)流圖中，頂層流圖僅包含一個(gè)加工（處理） ，它代表被開(kāi)發(fā)系統(tǒng)。它的輸入流是該系統(tǒng)的輸入數(shù)據(jù)，輸出流是系統(tǒng)所輸出數(shù)據(jù)。 底層流圖是指其加工不需再做分解的數(shù)據(jù)流圖，它處在最底層。 中間層流圖則表示對(duì)其上層父圖的細(xì)化。它的每一加工可能繼續(xù)細(xì)化，形成子圖。-畫(huà)分層數(shù)據(jù)流圖畫(huà)分層數(shù)據(jù)流圖 教材購(gòu)

9、銷(xiāo)系統(tǒng)的頂層DFD 學(xué)生教材購(gòu)銷(xiāo)系統(tǒng)書(shū) 庫(kù)保 管員-畫(huà)分層數(shù)據(jù)流圖畫(huà)分層數(shù)據(jù)流圖 教材購(gòu)銷(xiāo)系統(tǒng)的第二層DFD 領(lǐng)書(shū)單 進(jìn)書(shū)通知 進(jìn)書(shū)通知 購(gòu)書(shū)單缺書(shū)單 1銷(xiāo)售 2采購(gòu)書(shū)庫(kù)保管員學(xué)生F1教材存量表 F2缺書(shū)登記表 -畫(huà)分層數(shù)據(jù)流圖畫(huà)分層數(shù)據(jù)流圖 教材購(gòu)銷(xiāo)系統(tǒng)的第三層DFD采購(gòu)子系統(tǒng) . .修改修改教教材材庫(kù)庫(kù)存和待存和待購(gòu)購(gòu)量量. .按按書(shū)號(hào)書(shū)號(hào)匯總匯總?cè)比睍?shū)書(shū) . .按出版社按出版社統(tǒng)計(jì)統(tǒng)計(jì)缺缺書(shū)書(shū)書(shū)庫(kù)書(shū)庫(kù)保管保管員員F2F2缺缺書(shū)書(shū)登登記記表表 F1F1教教材存量表材存量表 F5 F5待待購(gòu)教購(gòu)教材表材表 F6F6教教材一材一覽覽表表 進(jìn)書(shū)進(jìn)書(shū)通知通知 進(jìn)書(shū)進(jìn)書(shū)通知通知 缺書(shū)單 1銷(xiāo)售數(shù)據(jù)字

10、典數(shù)據(jù)字典 數(shù)據(jù)字典包含的信息： 名字：數(shù)據(jù)、控制項(xiàng)、數(shù)據(jù)存儲(chǔ)或外部實(shí)體的主要名稱。 別名：第一項(xiàng)中對(duì)象的其他名字。 使用地點(diǎn)與方式：使用數(shù)據(jù)或控制項(xiàng)的處理的列表，以及使用這些對(duì)象的方式(例如作為處理的輸入，從處理輸出，作為數(shù)據(jù)存儲(chǔ)，作為外部實(shí)體)。 內(nèi)容描述：描述數(shù)據(jù)或控制項(xiàng)內(nèi)容的符號(hào)。 補(bǔ)充信息：關(guān)于數(shù)據(jù)類(lèi)型、預(yù)置值、限制等的其他信息。數(shù)據(jù)字典數(shù)據(jù)字典 數(shù)據(jù)字典中的定義是對(duì)數(shù)據(jù)自頂向下的分解。當(dāng)數(shù)據(jù)字典中的定義是對(duì)數(shù)據(jù)自頂向下的分解。當(dāng)分解到不需要進(jìn)一步定義，每個(gè)與工程有關(guān)的人分解到不需要進(jìn)一步定義，每個(gè)與工程有關(guān)的人也都清楚其含義的元素時(shí)，分解過(guò)程就結(jié)束。也都清楚其含義的元素時(shí)，分解過(guò)程

11、就結(jié)束。 由數(shù)據(jù)元素組成數(shù)據(jù)的方式只有由數(shù)據(jù)元素組成數(shù)據(jù)的方式只有3 3種基本類(lèi)型。種基本類(lèi)型。1)1)順序順序 即以確定次序連接即以確定次序連接2 2個(gè)或多個(gè)分量；個(gè)或多個(gè)分量；2)2)選擇選擇 即從即從2 2個(gè)或多個(gè)可能的元素中選取一個(gè)；個(gè)或多個(gè)可能的元素中選取一個(gè)；3)3)重復(fù)重復(fù) 即把指定的分量重復(fù)即把指定的分量重復(fù)0 0次或多次。派生出：次或多次。派生出：4)4)可選可選 即一個(gè)分量是可有可無(wú)的（重復(fù)即一個(gè)分量是可有可無(wú)的（重復(fù)0 0次或次或1 1次）次）數(shù)據(jù)字典數(shù)據(jù)字典 雖然可以使用自然語(yǔ)言描述由數(shù)據(jù)元素組成數(shù)據(jù)的關(guān)系，但是為了更加清晰簡(jiǎn)潔起見(jiàn)，建議用下列符號(hào)： 意思是等價(jià)于(或定

12、義為)； 意思是和(即，連接兩個(gè)分量)； 意思是或(即，從方括弧內(nèi)列出的若干個(gè)分量中選擇一個(gè))，通常用“”號(hào)分開(kāi)供選擇的分量； 意思是重復(fù)(即，重復(fù)花括弧內(nèi)的分量)； （ ）意思是可選(即，圓括弧里的分量可有可無(wú))。 例子：在數(shù)據(jù)字典中定義標(biāo)識(shí)符。 標(biāo)識(shí)符=字母字符+字母數(shù)字串 字母數(shù)字串=0字母或數(shù)字7 字母或數(shù)字=字母字符|數(shù)字字符 字母字符=A|Z|a|z 數(shù)字字符=0|1|9-確定數(shù)據(jù)定義與加工策略確定數(shù)據(jù)定義與加工策略 從數(shù)據(jù)的終點(diǎn)開(kāi)始定義數(shù)據(jù)和加工 數(shù)據(jù)定義DD 例如：發(fā)票 發(fā)票發(fā)票 學(xué)號(hào)姓名書(shū)號(hào)單價(jià)數(shù)量總學(xué)號(hào)姓名書(shū)號(hào)單價(jià)數(shù)量總價(jià)書(shū)費(fèi)合計(jì)價(jià)書(shū)費(fèi)合計(jì) 加工策略PSPEC 分層DFD圖

13、產(chǎn)生了系統(tǒng)的全部數(shù)據(jù)和加工，通過(guò)對(duì)這些數(shù)據(jù)和加工的定義，常常對(duì)分析員提出一些新問(wèn)題，促使新的調(diào)查和思考，并可能導(dǎo)致對(duì)DFD的修改。畫(huà)DFD，定義加工和數(shù)據(jù)，再畫(huà)，再定義，如此循環(huán)，直至產(chǎn)生一個(gè)為用戶和分析員一致同意的文檔SRS。 -需求分析的復(fù)審需求分析的復(fù)審 復(fù)審人員 用戶和系統(tǒng)分析員共同進(jìn)行復(fù)審，并吸收設(shè)計(jì)人員參加 復(fù)審的重點(diǎn) 盡量多地發(fā)現(xiàn)文檔中存在的矛盾、冗余與遺漏 ，盡可能確保DFD、DD、加工說(shuō)明等文檔的完整性、一改性和易讀性，3.3 3.3 結(jié)構(gòu)化系統(tǒng)設(shè)計(jì)結(jié)構(gòu)化系統(tǒng)設(shè)計(jì) SD概述概述 面向數(shù)據(jù)流設(shè)計(jì)和面向數(shù)據(jù)設(shè)計(jì)面向數(shù)據(jù)流設(shè)計(jì)和面向數(shù)據(jù)設(shè)計(jì) 面向數(shù)據(jù)流：數(shù)據(jù)流是考慮一切問(wèn)題的出發(fā)點(diǎn)

14、 面向數(shù)據(jù)：以數(shù)據(jù)結(jié)構(gòu)作為分析與設(shè)計(jì)的基礎(chǔ) 從分析模型導(dǎo)出設(shè)計(jì)模型從分析模型導(dǎo)出設(shè)計(jì)模型 結(jié)構(gòu)化設(shè)計(jì)的描述工具：結(jié)構(gòu)化設(shè)計(jì)的描述工具：SCSC圖圖 從分析模型導(dǎo)出設(shè)計(jì)模型從分析模型導(dǎo)出設(shè)計(jì)模型PSPEC數(shù)據(jù)對(duì)象描述CFDDFDE-RDDCSPEC過(guò)程設(shè)計(jì) 接口設(shè)計(jì)體系結(jié)構(gòu)設(shè)計(jì)數(shù)據(jù)設(shè)計(jì)數(shù)據(jù)流圖的類(lèi)型數(shù)據(jù)流圖的類(lèi)型 數(shù)據(jù)流圖的類(lèi)型數(shù)據(jù)流圖的類(lèi)型 變換（變換（transformtransform）型結(jié)構(gòu)）型結(jié)構(gòu) 傳入路徑 變換中心 傳出路徑 事務(wù)（事務(wù)（transactiontransaction）型結(jié)構(gòu)）型結(jié)構(gòu) 一條接受路徑 一個(gè)事務(wù)中心 若干條動(dòng)作路徑 變換結(jié)構(gòu)的變換結(jié)構(gòu)的DFDDFD變換中心傳

15、入傳出信息傳入流傳出流 變換流時(shí)間事務(wù)型結(jié)構(gòu)事務(wù)型結(jié)構(gòu)DFDDFD事務(wù)中心接收路徑動(dòng)作路徑同時(shí)存在兩類(lèi)結(jié)構(gòu)同時(shí)存在兩類(lèi)結(jié)構(gòu)T傳入變換傳出事務(wù)中心SDSD方法的步驟方法的步驟 SDSD方法的步驟方法的步驟 復(fù)審DFD圖，必要時(shí)可再次進(jìn)行修改或細(xì)化 鑒別DFD圖所表示的軟件系統(tǒng)的結(jié)構(gòu)特征，確定它所代表的軟件結(jié)構(gòu)是屬于變換型還是事務(wù)型 按照SD方法規(guī)定的一組規(guī)則，把DFD圖變換為初始的SC圖。變換型DFD圖 初始SC圖 事務(wù)型DFD圖 初始SC圖 按照優(yōu)化設(shè)計(jì)的指導(dǎo)原則改進(jìn)初始的SC圖，獲得最終SC圖變換映射事務(wù)映射變換映射變換映射 變換過(guò)程1. 劃分DFD圖的邊界 2. 建立初始SC圖的框架 頂層

16、都只含一個(gè)用于控制的主模塊 第一層包括傳入、傳出和中心變換三個(gè)模塊 3. 分解SC圖的各個(gè)分支 分解實(shí)質(zhì)上是“映射”例子例子劃分劃分DFDDFDPEDCBAWRUVQabcdeprwuv傳入部分變換中心傳出部分第一級(jí)分解第一級(jí)分解MEMTMCMAc,ec,eu,wu,w傳入分支的分解傳入分支的分解GetEAtoBReadDDtoEReadABtoCGetBGetC MAc,ecebbcaabddb傳出分支的分解傳出分支的分解 WriteW UtoV Write V PutU MEw,uwuuvv變換中心的分解變換中心的分解 MT R P Qepc,prrw,u初始初始SCSC圖圖 MC MT

17、Q P R MEWriteW P u tU Uto VWriteV A to BRead A GetB DtoERead D BtoC GetC G e t E MA事務(wù)映射事務(wù)映射 映射過(guò)程1. 在DFD圖上確定邊界 事務(wù)中心 接受部分（包括接受路徑） 發(fā)送部分（包括全部動(dòng)作路徑） 2. 畫(huà)出SC圖框架 DFD圖的三個(gè)部分分別映射為事務(wù)控制模塊，接受模塊和動(dòng)作發(fā)送模塊 3. 分解和細(xì)化接受分支和發(fā)送分支 例子例子劃分劃分DFDDFD傳入 T變換傳出接受部分事務(wù)中心動(dòng)作部分第一層分解第一層分解發(fā)送事務(wù)控制接收頂層第一層混合結(jié)構(gòu)混合結(jié)構(gòu)C1AC3BC2DLFGEKJabb1b2b3c1c2c3d

18、efghjklm優(yōu)化結(jié)構(gòu)設(shè)計(jì)的指導(dǎo)規(guī)則優(yōu)化結(jié)構(gòu)設(shè)計(jì)的指導(dǎo)規(guī)則 對(duì)模塊劃分的指導(dǎo)規(guī)則 提高內(nèi)聚，降低耦合后 簡(jiǎn)化模塊接口 少用全局性數(shù)據(jù)和控制型信息 保持高扇入/低扇出的原則 扇入高則上級(jí)模塊多，能夠增加模塊的利用率 扇出低則表示下級(jí)模塊少，可以減少模塊調(diào)用和控制的復(fù)雜度 扇入和扇出扇入和扇出MM M的扇入M的扇出例子：扇出例子：扇出計(jì)算實(shí)發(fā)工資取得工資數(shù)據(jù)編外人員扣款編外人員工資編外人員稅收薪金制工資額計(jì)時(shí)制工資額常規(guī)扣款稅收扣款煎餅形結(jié)構(gòu)不可??！例子：扇出例子：扇出常規(guī)扣款編外人員實(shí)發(fā)工資 計(jì)算實(shí)發(fā)工資取得工資數(shù)據(jù)計(jì)時(shí)工人實(shí)發(fā)工資計(jì)薪工人實(shí)發(fā)工資編外人員扣款編外人員稅收編外人員工資稅收扣款計(jì)

19、時(shí)制工資額薪金制工資額塔型結(jié)構(gòu)3.4 3.4 模塊設(shè)計(jì)模塊設(shè)計(jì) 模塊設(shè)計(jì)也稱詳細(xì)設(shè)計(jì) 目的 為SC圖中的每個(gè)模塊確定算法和數(shù)據(jù)結(jié)構(gòu)，用選定的表達(dá)工具給出清晰的描述 主要任務(wù) 編寫(xiě)軟件的“模塊設(shè)計(jì)說(shuō)明書(shū)” 模塊設(shè)計(jì)的原則與方法模塊設(shè)計(jì)的原則與方法 清晰第一的設(shè)計(jì)風(fēng)格清晰第一的設(shè)計(jì)風(fēng)格 結(jié)構(gòu)化的控制結(jié)構(gòu)結(jié)構(gòu)化的控制結(jié)構(gòu) 僅用這三種控制結(jié)構(gòu)來(lái)構(gòu)成僅用這三種控制結(jié)構(gòu)來(lái)構(gòu)成程序程序 a) a) 順序結(jié)構(gòu)，先執(zhí)行順序結(jié)構(gòu)，先執(zhí)行A A再執(zhí)再執(zhí)行行B B； (b) IF-THEN-ELSE(b) IF-THEN-ELSE型選擇型選擇( (分分支支) )結(jié)構(gòu)；結(jié)構(gòu)； (c)DO-WHILE(c)DO-WHILE型循環(huán)結(jié)構(gòu)型循環(huán)結(jié)構(gòu) 每個(gè)控制結(jié)構(gòu)只應(yīng)有一個(gè)入口和一個(gè)出口 逐步細(xì)化的實(shí)現(xiàn)方法逐步細(xì)化的實(shí)現(xiàn)方法 常用的表達(dá)工具常用的表達(dá)工具 程序流程圖程序流程圖 N NS S圖（盒圖）圖（盒圖） 判定表判定表 判定樹(shù)判定樹(shù) 偽代碼偽代碼 PDLPDL語(yǔ)言語(yǔ)言N-SN-S圖圖 S1 S2順序 C T FS1 S2 選擇While C S SUntil C 循環(huán)判定表判定表 當(dāng)算法中包含多重嵌套的條件選擇時(shí)，用程序流程圖、盒圖、PAD圖或后面即將介紹的過(guò)程設(shè)計(jì)語(yǔ)言(PDL)都不易清楚地描述。然而判定表卻能夠