《軟件工程 軟件詳細(xì)設(shè)計(jì)》由會(huì)員分享，可在線閱讀，更多相關(guān)《軟件工程 軟件詳細(xì)設(shè)計(jì)（17頁(yè)珍藏版）》請(qǐng)?jiān)谘b配圖網(wǎng)上搜索。

1、教案首頁(yè) 周次 日期 課時(shí)序.…… 課 題 軟件詳細(xì)設(shè)計(jì) 教學(xué)目的 ■ ■■■■■ ■ ■ ■■■■■■ ■ ■ ■ ■■■■■ ■ ■ ■ ■■■■■■ ■ ■ ■■■■■■ ■ ■ ■ ■■■■■ ■ ■ ■ ■■■■■■ ■ ■ ■■■■■■ ■ ■ ■ ■■■■■ ■ ■ ■ ■■■■■■ ■ ■ ■■■■■■ ■ ■ ■ ■■■■■ ■ ■ ■ ■■■■■■ ■ ■ ■■■■■■ ■ ■ ■ ■■■■■ ■ ■ ■ ■■■■■■ ■ ■ ■■■■■■ ■ ■ ■ ■■■■■ ■ ■ ■ ■■■■■■ ■ ■ ■■■■■■ ■ ■ ■ ■■■■■ ■ ■ ■ ■■■■■■

2、 ■ ■ ■■■■■! 理解軟件詳細(xì)設(shè)計(jì)概念、目標(biāo)；掌握詳細(xì)設(shè)計(jì)的方法； 要 求 重 點(diǎn) 詳細(xì)設(shè)計(jì)的任務(wù)、目標(biāo) 難 點(diǎn) ■ ■■■■■ ■ ■ ■■■■■■ ■ ■ ■ ■■■■■ ■ ■ ■ ■■■■■■ ■ ■ ■■■■■■ ■ ■ ■ ■■■■■ ■ ■ ■ ■■■■■■ ■ ■ ■■■■■■ ■ ■ ■ ■■■■■ ■ ■ ■ ■■■■■■ ■ ■ ■■■■■■ ■ ■ ■ ■■■■■ ■ ■ ■ ■■■■■■ ■ ■ ■■■■■■ ■ ■ ■ ■■■■■ ■ ■ ■ ■■■■■■ ■ ■ ■■■■■■ ■ ■ ■ ■■■■■ ■ ■ ■ ■■■■■■ ■ ■ ■■■■■

3、■ ■ ■ ■ ■■■■■ ■ ■ ■ ■■■■■■ ■ ■ ■■■■■! 詳細(xì)設(shè)計(jì)分析方法 教學(xué)過(guò)程 第五章 軟件詳細(xì)設(shè)計(jì)（2*45 ‘） 設(shè) 計(jì) 第一節(jié)詳細(xì)設(shè)計(jì)的任務(wù)與原則（30 ‘） 及 第一節(jié)詳細(xì)設(shè)計(jì)的方法（45 ‘） 時(shí)間分配 第三節(jié) 詳細(xì)設(shè)計(jì)規(guī)格說(shuō)明與復(fù)審（15 ‘） 教學(xué)場(chǎng)所 使用 或教學(xué)方法 教具 作 業(yè) 課后記 ■■■■■I■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■

4、■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■! 授課教師 第五章軟件詳細(xì)設(shè)計(jì) 詳細(xì)設(shè)計(jì)又稱過(guò)程設(shè)計(jì)，在總體設(shè)計(jì)階段，已經(jīng)確定了軟件系統(tǒng)的總體結(jié)構(gòu)， 給出系統(tǒng)中各個(gè)組成模塊的功能和模塊間的聯(lián)系。這一步的工作，就是要在 上述結(jié)果的基礎(chǔ)上，考慮“怎樣實(shí)現(xiàn)”這個(gè)軟件系統(tǒng)，直到對(duì)系統(tǒng)中的每個(gè) 模塊給出足夠詳細(xì)的過(guò)程性描述。需要指出，這些描述應(yīng)該用詳細(xì)設(shè)計(jì)的表 達(dá)工具來(lái)表示，但它們還不是程序，一般不能夠在計(jì)算機(jī)上運(yùn)行。 詳細(xì)設(shè)計(jì)是編碼的先導(dǎo)。這個(gè)階段所產(chǎn)生的設(shè)計(jì)文檔的質(zhì)量，將直接影響下 一階段程序的

5、質(zhì)量。為了提高文檔的質(zhì)量和可讀性，本章除要說(shuō)明詳細(xì)設(shè)計(jì) 的目的、任務(wù)與表達(dá)工具外，還將扼要介紹結(jié)構(gòu)程序設(shè)計(jì)的基本原理，以及 如何用這些原理來(lái)指導(dǎo)模塊內(nèi)部的邏輯設(shè)計(jì)，提高模塊控制結(jié)構(gòu)的清晰度 。 5.1 詳細(xì)設(shè)計(jì)的任務(wù)與原則 詳細(xì)設(shè)計(jì)的目的是為軟件結(jié)構(gòu)圖（SC圖或HC圖）中的每一個(gè)模塊確定使用 的算法和塊內(nèi)數(shù)據(jù)結(jié)構(gòu)，并用某種選定的表達(dá)工具給出清晰的描述。表達(dá)工 具可以由開發(fā)單位或設(shè)計(jì)人員選擇，但表達(dá)工具必須具有描述過(guò)程細(xì)節(jié)的能 力，進(jìn)而可在編碼階段能夠直接將它翻譯為用程序設(shè)計(jì)語(yǔ)言書寫的源程序。 詳細(xì)設(shè)計(jì)階段的主要任務(wù)如下。 1．為每個(gè)模塊確定采用的算法，選擇某種適當(dāng)?shù)墓ぞ弑磉_(dá)算法的過(guò)程，

6、寫出 模塊的詳細(xì)過(guò)程性描述； 2．確定每一模塊使用的數(shù)據(jù)結(jié)構(gòu)； 3．確定模塊接口的細(xì)節(jié)，包括對(duì)系統(tǒng)外部的接口和用戶界面，對(duì)系統(tǒng)內(nèi)部其 它模塊的接口，以及模塊輸入數(shù)據(jù)、輸出數(shù)據(jù)及局部數(shù)據(jù)的全部細(xì)節(jié)。 在詳細(xì)設(shè)計(jì)結(jié)束時(shí)，應(yīng)該把上述結(jié)果寫入詳細(xì)設(shè)計(jì)說(shuō)明書，并且通過(guò)復(fù)審形 成正式文檔。交付給下一階段（編碼階段）的工作依據(jù)。 4．要為每一個(gè)模塊設(shè)計(jì)出一組測(cè)試用例，以便在編碼階段對(duì)模塊代碼（即程 序）進(jìn)行預(yù)定的測(cè)試，模塊的測(cè)試用例是軟件測(cè)試計(jì)劃的重要組成部分，通 常應(yīng)包括輸入數(shù)據(jù)，期望輸出等內(nèi)容，其要求和設(shè)計(jì)方法將在第八章詳細(xì)介 紹，這里需要說(shuō)明的一點(diǎn)是，由于負(fù)責(zé)詳細(xì)設(shè)計(jì)的軟件人員對(duì)模塊的功能、

7、邏輯和接口最清楚，所以可由他們?cè)谕瓿稍敿?xì)設(shè)計(jì)后接著提出對(duì)各個(gè)模塊的 測(cè)試要求。 5.1.2 詳細(xì)設(shè)計(jì)的原則 1．模塊的邏輯描述要清晰易讀、正確可靠。 2．采用結(jié)構(gòu)化設(shè)計(jì)方法，改善控制結(jié)構(gòu)，降低程序的復(fù)雜程度，從而提高程 序的可讀性、可測(cè)試性、可維護(hù)性。其基本內(nèi)容歸納為如下幾點(diǎn)。 ① 程序語(yǔ)言中應(yīng)盡量少用GOTO語(yǔ)句，以確保程序結(jié)構(gòu)的獨(dú)立性。 ② 使用單入口單出口的控制結(jié)構(gòu)，確保程序的靜態(tài)結(jié)構(gòu)與動(dòng)態(tài)執(zhí)行情況相一 致。保證程序易理解。 ③ 程序的控制結(jié)構(gòu)一般采用順序、選擇、循環(huán)三種結(jié)構(gòu)來(lái)構(gòu)成，確保結(jié)構(gòu)簡(jiǎn) 單。 ④ 用自頂向下逐步求精方法完成程序設(shè)計(jì)。結(jié)構(gòu)化程序設(shè)計(jì)的缺點(diǎn)是存儲(chǔ)容 量和

8、運(yùn)行時(shí)間增加 10一20％，但可讀性和可維護(hù)性好。 3.選擇恰當(dāng)描述工具來(lái)描述各模塊算法。 5.2詳細(xì)設(shè)計(jì)的方法 采用自然語(yǔ)言來(lái)表達(dá)算法過(guò)程的優(yōu)點(diǎn)是：能使不懂軟件的人較易理解這些規(guī) 格說(shuō)明，但是，自然語(yǔ)言在語(yǔ)法和語(yǔ)義上有時(shí)具有多義性，且與上下文才相 關(guān)，因此，必須采用更嚴(yán)密的描述工具來(lái)表達(dá)過(guò)程細(xì)節(jié)。主要的詳細(xì)設(shè)計(jì)工 具有 圖形工具、 表格工具語(yǔ)言工具、簡(jiǎn)述如下。 ? 圖形工具 利用圖形工具可以把過(guò)程的細(xì)節(jié)用圖形描述出來(lái)。 ? 表格工具 可以用一張表來(lái)描述過(guò)程的細(xì)節(jié)，在這張表中列出了各種可能的操作和相應(yīng) 的條件。 ? 語(yǔ)言工具 用某種高級(jí)語(yǔ)言（稱之為偽碼）來(lái)描述過(guò)程的細(xì)節(jié)。

9、5.2.1程序流程圖 程序流程圖又稱之為程序框圖，它是軟件開發(fā)者最熟悉的一種算法表達(dá)工具 它獨(dú)立于任何一種程序設(shè)計(jì)語(yǔ)言，能比較直觀和清晰地描述過(guò)程的控制流程， 易于學(xué)習(xí)掌握。因此，程序流程圖是軟件開發(fā)者最普遍采用的一種工具。 流程圖也存在一些嚴(yán)重的不足，主要表現(xiàn)在：利用流程圖使用的符號(hào)不夠規(guī) 范，使用的靈活性極大，程序員可以不受任何約束，隨意轉(zhuǎn)移控制。這些問(wèn) 題常常很大的影響了程序質(zhì)量。為了消除這些不足，應(yīng)嚴(yán)格的定義流程圖所 使用的符號(hào)，不允許隨心所欲地畫出各種不規(guī)范的流程圖。 為使用流程圖描述結(jié)構(gòu)化程序，必須限制在流程圖中只能使用下述的五種基 本控制結(jié)構(gòu)。 ? 順序型 順序型由幾個(gè)

10、連續(xù)的處理步驟依次排列構(gòu)成，如圖 5-1所示。 圖5-1順序型 圖5-2選擇型 圖5-3 while型循環(huán) ? 選擇型 選擇型是指由某個(gè)邏輯判斷式的取值決定選擇兩個(gè)處理中的一個(gè)，如圖 5-2 所示。 ? while型循環(huán) while型循環(huán)是先判定型循環(huán)，在循環(huán)控制條件成立時(shí)，重復(fù)執(zhí)行特定的處 理，如圖5-3 所示。 ? until型循環(huán) until型循環(huán)是后判定型循環(huán)，重復(fù)執(zhí)行某些特定的處理，直到控制條件成 立為止，如圖5-4所示。 圖5-4 until型循環(huán) ? 多情況型選擇 圖5-5多情況型選擇 多情況型選擇列舉多種

11、處理情況，根據(jù)控制變量的取值，選擇執(zhí)行其一，如 圖 5-5所示。 圖 5-6結(jié)構(gòu)化程序流程圖 任何復(fù)雜的程序流程圖都應(yīng)由上述五種基本控制結(jié)構(gòu)組合而成。圖5-6所示 的是一個(gè)結(jié)構(gòu)化程序的流程圖。 為了能夠準(zhǔn)確的使用流程圖，要對(duì)流程圖所使用的符號(hào)作出確切的規(guī)定。除 去按規(guī)定使用定義了的符號(hào)之外，流程圖中不允許出現(xiàn)其他任何符號(hào)。圖 5-7 給出國(guó)際標(biāo)準(zhǔn)化組織提出，并已為我國(guó)國(guó)家技術(shù)監(jiān)督局批準(zhǔn)的一些程序流程 圖標(biāo)準(zhǔn)符號(hào)，其中多數(shù)所規(guī)定的使用方法與普通的使用習(xí)慣用法相一致。 流線 慮線 條件刑靳 文件或文檔 外接 內(nèi)接 省略線 并行方式 注解或注釋 起止端點(diǎn)數(shù)據(jù)輸幾輸出 處理

12、 圖5-7 標(biāo)準(zhǔn)程序流程圖的規(guī)定符號(hào) 5.2.2 N-S 圖 Nassi和Shneiderman提出了一種符合結(jié)構(gòu)化程序設(shè)計(jì)原則的圖形描述工具, 稱之為盒圖，又稱之為N-S圖。在N-S圖中，為了表示五種基本控制結(jié)構(gòu)， 規(guī)定了五種圖形構(gòu)件。 ? 順序型 如圖5-8所示，在順序型中，先執(zhí)行A,后執(zhí)行B。 圖 5-8順序型結(jié)構(gòu) ? 選擇型 如圖5-9所示，在選擇型結(jié)構(gòu)中，如果條件P成立，則可執(zhí)行T下面的A的 內(nèi)容，當(dāng)條件P不成立時(shí)，則執(zhí)行F下的內(nèi)容。 T P S1 S2 圖5-9選擇型結(jié)構(gòu) ? WHILE重復(fù)型 如圖5-10所示，在WHILE重復(fù)型

13、循環(huán)結(jié)構(gòu)中，先判斷P的值，再執(zhí)行S。其 中P是循環(huán)條件，S是循環(huán)體 TOILE P 圖5-10 WHILE重復(fù)型循環(huán)結(jié)構(gòu) ? UNTIL重復(fù)型 如圖5-11所示，在UNTIL重復(fù)型循環(huán)結(jié)構(gòu)中，先執(zhí)行S,后判斷P的值。 圖5-11 UNTIL重復(fù)型循環(huán)結(jié)構(gòu) ? 多分支選擇型 如圖5-12所示，給出了多出口的判斷圖形表示，P為控制條件，根據(jù)P的取 值，相應(yīng)地執(zhí)行其值下面的各框內(nèi)容。 例：將圖5-6所示的程序流程圖轉(zhuǎn)化為N-S圖的結(jié)果如圖5-13所示。 N-S圖的特點(diǎn) ? 圖形清晰、準(zhǔn)確； ? 控制轉(zhuǎn)移不能任意規(guī)定，必須遵守結(jié)構(gòu)化程序設(shè)計(jì)原則； ? 很容易

14、確定局部數(shù)據(jù)和全局?jǐn)?shù)據(jù)的作用域； ? 容易表現(xiàn)嵌套關(guān)系和模塊的層次結(jié)構(gòu)。 5.2.3 PAD 圖 PAD是Problem analysis diagram的英文縮寫，它是日本日立公司提出的。 它是用結(jié)構(gòu)化程序設(shè)計(jì)思想表現(xiàn)程序邏輯結(jié)構(gòu)的圖形工具。 PAD也設(shè)置了五種基本控制結(jié)構(gòu)的圖示，并允許遞歸使用。 1. 順序型 如圖5-14所示，按順序先執(zhí)行A,再執(zhí)行B。 圖5-14 順序型結(jié)構(gòu) 2. 選擇型 如圖5-15所示，給出了判斷條件為P的選擇型結(jié)構(gòu)。當(dāng)P為真值時(shí)執(zhí)行上面 的A框,P取假值時(shí)執(zhí)行下面的B框中的內(nèi)容。如果這種選擇型結(jié)構(gòu)只有A框, 沒(méi)有B框，表示該選擇結(jié)構(gòu)中只有

15、THEN后面有可執(zhí)行語(yǔ)句A，沒(méi)有ELSE部 分。 圖5-15選擇型結(jié)構(gòu) 3. WHILE重復(fù)型和UNTIL重復(fù)型 如圖5-16所示，P是循環(huán)判斷條件，S是循環(huán)體。循環(huán)判斷條件框的右端為 雙縱線，表示該矩形域是循環(huán)條件，以區(qū)別于一般的矩形功能域。 圖5-16 WHILE重復(fù)型和UNTIL重復(fù)型結(jié)構(gòu) 4. 多分支選擇型 如圖5-17所示，多分支選擇型是CASE型結(jié)構(gòu)。當(dāng)判定條件P等于1時(shí)執(zhí)行 A1框的內(nèi)容，P等于2時(shí)執(zhí)行A2框的內(nèi)容，P等于N時(shí)執(zhí)行An框的內(nèi)容。 圖5-17多分支選擇型結(jié)構(gòu) 5. PAD圖應(yīng)用舉例 圖5-18給出了圖5-6所示的程序流程圖的

16、PAD圖。 圖5-18 PAD圖舉例 6. PAD圖特點(diǎn) ?PAD圖的結(jié)構(gòu)化程度高； ?PAD圖中的是程序的主干線，即程序的第一層結(jié)構(gòu)。其后，每增加一個(gè) 層次，則向右擴(kuò)展一條縱線。程序中的層數(shù)就是PAD圖中的縱線數(shù)。因此， PAD圖的可讀性強(qiáng)。 ?利用PAD圖設(shè)計(jì)出的程序必定是結(jié)構(gòu)化的程序。 ?利用軟件工具可以將PAD圖轉(zhuǎn)換成高級(jí)語(yǔ)言程序，進(jìn)而提高了軟件的可 靠性和生產(chǎn)率。 ?PAD圖支持自頂向下的逐步求精的方法。 7. PAD圖的擴(kuò)充結(jié)構(gòu) 為了反映增量型循環(huán)結(jié)構(gòu)，在PAD圖中增加了對(duì)應(yīng)于 FOR i := n1 to n2 step n3 do 的循環(huán)控制結(jié)構(gòu)，

17、如圖5-19(A)所示。其中，nl是循環(huán)初值，n2是循環(huán)終值, n3是循環(huán)增量。 圖5-19 PAD的擴(kuò)充控制結(jié)構(gòu) 另外，PAD所描述程序的層次關(guān)系表現(xiàn)在縱線上。每條縱線表示一個(gè)層次。 把PAD圖從左到右展開，隨著程序?qū)哟蔚脑黾?，PAD逐漸向右展開，有可能 會(huì)超過(guò)一頁(yè)紙，這時(shí)，對(duì)PAD增加了一種如圖5-20(B)所示的擴(kuò)充形式。當(dāng) 一個(gè)模塊A在一頁(yè)紙上畫不下時(shí)，可在圖中該模塊相應(yīng)位置矩形框中簡(jiǎn)記一 個(gè)“NAME A”，再在另一頁(yè)紙上詳細(xì)畫出A的內(nèi)容，用def及雙下劃線來(lái)定 義作A的PAD。這種方式可使在一張紙上畫不下的圖，分在幾張紙上畫出， 也可以用它定義子程序。 5.2.4 P

18、DL PDL (Procedure Design Language)為過(guò)程設(shè)計(jì)語(yǔ)言的英文縮寫，于1975年 由Caine與Gordon首先提出°PDL是所有非正文形式的過(guò)程設(shè)計(jì)工具的統(tǒng)稱, 到目前為止已出現(xiàn)多種PDL語(yǔ)言。 ?PDL語(yǔ)言的特點(diǎn) ? 關(guān)鍵字采用固定語(yǔ)法并支持結(jié)構(gòu)化構(gòu)件、數(shù)據(jù)說(shuō)明機(jī)制和模塊化； ? 處理部分采用自然語(yǔ)言描述； ? 可以說(shuō)明簡(jiǎn)單和復(fù)雜的數(shù)據(jù)結(jié)構(gòu)； ? 子程序的定義與調(diào)用規(guī)則不受具體接口方式的影響。 ?PDL描述選擇結(jié)構(gòu) 利用PDL描述的IF結(jié)構(gòu)如下: IF ＜條件＞ 一條或數(shù)條語(yǔ)句 ELSEIF ＜條件＞ 一條或數(shù)條語(yǔ)句 ELSEIF ＜條件＞

19、 一條或數(shù)條語(yǔ)句 ELSE 一條或數(shù)條語(yǔ)句 ENDIF ?PDL描述循環(huán)結(jié)構(gòu) 對(duì)于三種循環(huán)結(jié)構(gòu)，利用PDL描述如下。 ① WHILE循環(huán)結(jié)構(gòu) DO WHILE ＜條件描述＞ 一條或數(shù)條語(yǔ)句 ENDWHILE ② UNTIL 循環(huán)結(jié)構(gòu) REPEAT UNTIL ＜條件描述＞ 一條或數(shù)條語(yǔ)句 ENDREP ③ FOR 循環(huán)結(jié)構(gòu) FOR ＜循環(huán)變量》=《循環(huán)變量取值范圍，表達(dá)式或序列》 ENDFOR ? 子程序 PROCEDURE ＜子程序名＞ ＜屬性表＞ INTERFACE ＜參數(shù)表＞ 一條或數(shù)條語(yǔ)句 END 屬性表指明了子程序的引用特性和利用的程序語(yǔ)言的特性 ?

20、 輸入 /輸出 READ/WRITE TO〈設(shè)備〉＜1/0 表〉 綜上可見，PDL具有很強(qiáng)的描述功能，是一種十分靈活和有用的詳細(xì)設(shè)計(jì)表 達(dá)工具。 5.2.5 HIPO 圖 HIPO圖是由一組IPO圖和一張HC圖組成。用HC圖描述軟件結(jié)構(gòu)，用IPO圖 描述程序過(guò)程，它是美國(guó)IBM公司在軟件設(shè)計(jì)中使用的主要表達(dá)工具。 HC圖是層次圖(Hierarchy chart)的英文縮寫，用于表示軟件的分層結(jié)構(gòu)。 HC圖中的每一個(gè)模塊，均可用一張IPO圖來(lái)描述°IPO圖由輸入、處理和輸 出三個(gè)框組成，需要時(shí)還可以增加一個(gè)數(shù)據(jù)文件框，如圖5-20所示。圖中處 理框內(nèi)的加工邏輯是用N-S圖表達(dá)的。當(dāng)然也

21、可由其他詳細(xì)設(shè)計(jì)的表達(dá)工具 來(lái)表示。這種圖形的優(yōu)點(diǎn)是能夠直觀地顯示輸入、處理、輸出三者之間的聯(lián) 系。后來(lái)將這種傳統(tǒng)的IPO圖改成如圖5-22所示的式樣，使它在設(shè)計(jì)階段和 分析階段都可使用。顯然，圖中有一部分內(nèi)容在分析階段還無(wú)法填寫，填在 處理框中的加工策略，到了設(shè)計(jì)階段也要進(jìn)一步細(xì)化。但無(wú)論如何，它總是 為設(shè)計(jì)階段所需的IPO圖提供了基礎(chǔ)。在任何良好的開發(fā)方法中，希望前一 階段產(chǎn)生的文檔能夠方便地轉(zhuǎn)化成后繼階段的文檔,這正是這種改進(jìn)了的IPO 圖的一個(gè)優(yōu)點(diǎn)。 圖5-20傳統(tǒng)的IPO圖 ' IPG'S 系統(tǒng)茗 編號(hào) 扣工名 模塊容 圖5-21改進(jìn)的IPO圖 HIP

22、O圖已成為一套自成體系的設(shè)計(jì)表達(dá)工具。不僅如此，在需求分析階段還 可以用IPO圖來(lái)描述加工策略。所以雖然用HIPO圖制成的設(shè)計(jì)文檔篇幅較大。 5.2.6詳細(xì)設(shè)計(jì)工具的選擇 在詳細(xì)設(shè)計(jì)中，對(duì)一個(gè)工程設(shè)計(jì)選擇的原則是：過(guò)程描述是否易于理解、復(fù) 審和維護(hù)，進(jìn)而過(guò)程描述能夠自然地轉(zhuǎn)換成代碼，并保證詳細(xì)設(shè)計(jì)與代碼完 全一致。為了達(dá)到這一原則，要求設(shè)計(jì)工具具有下述屬性。 ? 模塊化 支持模塊化軟件的開發(fā)，并提供描述接口的機(jī)制。例如，能夠直接表示子程 序和塊結(jié)構(gòu)。 ? 簡(jiǎn)潔 設(shè)計(jì)描述易學(xué)、易用和易讀。 ? 便于編輯 支持后續(xù)設(shè)計(jì)和維護(hù)以及在維護(hù)階段對(duì)設(shè)計(jì)進(jìn)行的修改。 ? 機(jī)器可讀性 設(shè)計(jì)

23、描述能夠直接輸入，并且很容易被計(jì)算機(jī)輔助設(shè)計(jì)工具識(shí)別。 ? 可維護(hù)性 詳細(xì)設(shè)計(jì)應(yīng)能夠支持各種軟件配置項(xiàng)的維護(hù)。 自動(dòng)生成報(bào)告 設(shè)計(jì)者通過(guò)分析詳細(xì)設(shè)計(jì)的結(jié)果來(lái)改進(jìn)設(shè)計(jì)。通過(guò)自動(dòng)處理器產(chǎn)生有關(guān)分析 報(bào)告，進(jìn)而增強(qiáng)設(shè)計(jì)者在這方面的能力。 ? 強(qiáng)制結(jié)構(gòu)化 詳細(xì)設(shè)計(jì)工具能夠強(qiáng)制設(shè)計(jì)者采用結(jié)構(gòu)化構(gòu)件，有助于采用優(yōu)秀的設(shè)計(jì)。 ? 數(shù)據(jù)表示 詳細(xì)設(shè)計(jì)具備表示局部數(shù)據(jù)和全局?jǐn)?shù)據(jù)的能力。 ? 邏輯驗(yàn)證 軟件測(cè)試最高目標(biāo)是能夠自動(dòng)檢驗(yàn)設(shè)計(jì)邏輯的正確性，所以設(shè)計(jì)描述應(yīng)易于 進(jìn)行邏輯驗(yàn)證，進(jìn)而增強(qiáng)可測(cè)試性。 （ 10）編碼能力 可編碼能力是一種設(shè)計(jì)描述，研究代碼自動(dòng)轉(zhuǎn)換技術(shù)可以提高軟件效率和減 少

24、出錯(cuò)率。 5.3詳細(xì)設(shè)計(jì)規(guī)格說(shuō)明與復(fù)審 建立設(shè)計(jì)文檔的目的是為了把設(shè)計(jì)師的思想告訴其他有關(guān)人員。程序是由計(jì) 算機(jī)執(zhí)行的，但可讀性提高便于維護(hù)。在詳細(xì)設(shè)計(jì)階段的文檔是詳細(xì)設(shè)計(jì)說(shuō) 明書。它是程序工作過(guò)程的描述。 詳細(xì)設(shè)計(jì)說(shuō)明書的內(nèi)容主要包括： ?表示軟件結(jié)構(gòu)的圖表； ?對(duì)逐個(gè)模塊的描述，包括算法和邏輯流程，輸入/輸出項(xiàng)，與外部接口等。 一個(gè)典型的詳細(xì)設(shè)計(jì)說(shuō)明書的框架如圖 5-22所示。 詳細(xì)設(shè)計(jì)說(shuō)明書 ? 引言 ? 1編寫目的 說(shuō)明編寫詳細(xì)說(shuō)明書的目的，并指明讀者的對(duì)象。 ? 2項(xiàng)目背景 包括項(xiàng)目的來(lái)源和主管部門等。 ? 3定義 列出文檔中所用的專門術(shù)語(yǔ)的定義和縮寫詞的

25、原意。 ? 4參考資料 列出有關(guān)資料的作者、標(biāo)題、編號(hào)、發(fā)表日期、出版單位或資料來(lái)源?？砂?括：項(xiàng)目計(jì)劃任務(wù)書、合同或批文、項(xiàng)目開發(fā)計(jì)劃、需求規(guī)格說(shuō)明書、總體 設(shè)計(jì)說(shuō)明書、測(cè)試計(jì)劃、用戶操作手冊(cè)、文檔中所引用的其它資料、軟件開 發(fā)標(biāo)準(zhǔn)或規(guī)范。 2.總體設(shè)計(jì) 2．1需求概述 2．2軟件結(jié)構(gòu) 給出軟件系統(tǒng)的結(jié)構(gòu)圖。 3.程序描述 對(duì)每個(gè)模塊給出以下說(shuō)明： 3.1功能 3.2性能 3.3輸入項(xiàng)目 3.4輸出項(xiàng)目 3.5算法 模塊所選用的算法 3.6程序邏輯 詳細(xì)描述模塊實(shí)現(xiàn)的算法，可以采用流程圖、PDL語(yǔ)言、N-S圖、PAD圖等 描述算法的圖表。 3.7接口 3.8存

26、儲(chǔ)分配 3.9限制條件 3.10測(cè)試要點(diǎn) 給出測(cè)試模塊的主要測(cè)試要求。 5.3.2設(shè)計(jì)復(fù)審 設(shè)計(jì)復(fù)審是非常重要的工作，設(shè)計(jì)復(fù)審主要是指對(duì)設(shè)計(jì)文檔的復(fù)審。 ? 復(fù)審的指導(dǎo)原則 ?詳細(xì)設(shè)計(jì)復(fù)審一般不邀請(qǐng)用戶和其他領(lǐng)域的代表。 ?復(fù)審是為了提早揭露錯(cuò)誤，參加復(fù)審的設(shè)計(jì)人員應(yīng)該歡迎別人提出批評(píng)和 建議，但復(fù)審的對(duì)象是設(shè)計(jì)文檔，不是設(shè)計(jì)者本身，其他參加者也應(yīng)為復(fù)審 創(chuàng)造和諧的氣氛。 ?復(fù)審中提出的問(wèn)題應(yīng)詳細(xì)記錄，但不一定當(dāng)場(chǎng)解決。 ?復(fù)審結(jié)束前作出本次復(fù)審能否通過(guò)的結(jié)論。 2．復(fù)審的主要內(nèi)容 詳細(xì)設(shè)計(jì)復(fù)審的重點(diǎn)應(yīng)該放在各個(gè)模塊的具體設(shè)計(jì)上。例如模塊的設(shè)計(jì)能否 滿足其功能與性能要求、

27、選擇的算法與數(shù)據(jù)結(jié)構(gòu)是否合理、符不符合編碼語(yǔ) 言的特點(diǎn)、設(shè)計(jì)描述是否簡(jiǎn)單、清晰等等。 3．復(fù)審的方式 復(fù)審分正式與非正式兩種方式，非正式復(fù)審的特點(diǎn)是參加人數(shù)少，且均為軟 件人員，帶有同行討論的性質(zhì)。因而方便靈活，十分適合于詳細(xì)設(shè)計(jì)復(fù)審。 常采用的非正式復(fù)審的過(guò)程是：由一名設(shè)計(jì)人員逐行宣讀設(shè)計(jì)資料，由到會(huì) 的同行跟隨他指出的次序一行行的往下審查。發(fā)現(xiàn)有問(wèn)題或錯(cuò)誤就做好記錄， 然后根據(jù)多數(shù)參加者的意見，決定通過(guò)該設(shè)計(jì)資料或退回原設(shè)計(jì)人進(jìn)行糾正。 正式復(fù)審除軟件開發(fā)人員外，還邀請(qǐng)用戶代表和領(lǐng)域?qū)＜覅⒓?，通常采用?辯方式，與會(huì)者要提前審閱文檔資料，設(shè)計(jì)人員對(duì)設(shè)計(jì)方案詳細(xì)說(shuō)明之后， 回答與會(huì)者的問(wèn)題并記錄各種重要的評(píng)審意見。 小結(jié) 詳細(xì)設(shè)計(jì)的關(guān)鍵任務(wù)是確定怎樣具體地實(shí)現(xiàn)所要求的目標(biāo)系統(tǒng)，也就是要設(shè) 計(jì)出程序的藍(lán)圖。除了應(yīng)該保證程序的可靠性之外，使將來(lái)編寫出的程序的 可讀性好，容易理解，容易測(cè)試和容易修改、維護(hù)是詳細(xì)設(shè)計(jì)的最重要的目 標(biāo)。 程序流程圖、盒圖、PAD圖、HIPO圖和PDL語(yǔ)言等等都是完成詳細(xì)設(shè)計(jì)的工 具，選擇合適的工具并且正確的使用它們是十分重要的。