【正文】 描述它的控制結(jié)構(gòu) ? 如結(jié)構(gòu)化英語中可使用 if_then_else、 while_do、repeat_until、 for_do、 case等結(jié)構(gòu) – 內(nèi)層可以用自然語言來描述 ? 允許使用嵌套結(jié)構(gòu) 65 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） “計(jì)算信用度 ” 的結(jié)構(gòu)化英語描述 Select the case which applies： Case 1 (No EBounced－ Checks in Customer Record)： Write xemplary－ Customer―Citation to Annual―Summary. Case 2 (One Bounced－ check)： If Yearly―Average―Balance exceeds $ 1000. Remove Bounced―Check from Customer―Record. Otherwise. Recuce Credit―Limit by 10%. Case 3 (Multiple Bounced－ Checks)： For each Bounced―Check. Recuce Credit―Limit by 15%. Set Credit―Rating to Deadbeat. Write Scathing―Comment to Annual―Summary. Write Customer―Name―and―Address to IRS―Enemies―List. 66 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） 結(jié)構(gòu)化語言書寫加工規(guī)約 注意事項(xiàng) ? 語句力求精煉 ? 語句必須易讀、易理解、無歧義 ? 主要使用祈使句，祈使句中的動(dòng)詞要明確表達(dá)要執(zhí)行的動(dòng)作 ? 所有名字必須是數(shù)據(jù)字典中有定義的名字 ? 不使用形容詞、副詞等修飾語 ? 不使用含義相同的動(dòng)詞，如 “ 修改 ” 、 “ 修正 ” 等 ? 可以使用常用的算術(shù)和關(guān)系運(yùn)算符 ? 總之要盡可能精確、無歧義、簡明扼要、易理解 67 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） 判定表 ? 判定表的組成元素 – 條件樁 (Condition Stub)：列出各種條件的對象，如發(fā)貨單金額，賒欠天數(shù)等，每行寫一個(gè)條件對象 – 條件條目 (Conditien entry)：列出各條件對象的取值，條件條目的每一列表示了一個(gè)可能的條件組合 – 動(dòng)作樁 (action stub)：列出所有可能采取的動(dòng)作，如發(fā)出發(fā)貨單等，每行寫一個(gè)動(dòng)作 – 動(dòng)作條目 (action eutry)：列出各種條件組合下應(yīng)采取的動(dòng)作 “審批發(fā)貨單”加工的判定表 發(fā)貨單金額 ＞ 500 ＞ 500 ≤500 ≤500 賒欠天數(shù) ＞ 60 ≤60 ＞ 60 ≤60 發(fā)不批準(zhǔn)通知 √ 發(fā)出批準(zhǔn)書 √ √ √ 發(fā)出發(fā)貨單 √ √ √ 發(fā)出賒欠報(bào)告 √ 68 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） 判定表的其它形式 發(fā)貨單金額 ＞ 500 ≤500 － 賒欠天數(shù) ＞ 60 ＞ 60 ≤60 發(fā)不批準(zhǔn)通知 √ 發(fā)出批準(zhǔn)書 √ √ 發(fā)出發(fā)貨單 √ √ 發(fā)出賒欠報(bào)告 √ 發(fā)貨單金額 ≤500 0 0 1 1 發(fā)貨單金額＞ 500 1 1 0 0 賒欠天數(shù) ≤60 0 1 0 1 賒欠天數(shù)＞ 60 1 0 1 0 發(fā)不批準(zhǔn)通知 √ 發(fā)出批準(zhǔn)單 √ √ √ 發(fā)出發(fā)貨單 √ √ √ 發(fā)出賒欠報(bào)告 √ “審批發(fā)貨單 ” 加工的簡化判定表 “審批發(fā)貨單 ” 加工的另一種判定表 69 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） 判定樹 ? 本質(zhì)上與判定表是相同的，只是表示形式不同 ? 例如 “ 審批發(fā)貨單 ” 加工邏輯的判定樹描述入下： 70 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） 內(nèi)容摘要 ? 結(jié)構(gòu)化分析方法概述 ? 數(shù)據(jù)流圖 ? 分層數(shù)據(jù)流圖的審查 ? 數(shù)據(jù)字典 ? 描述基本加工的小說明 ? 結(jié)構(gòu)化設(shè)計(jì)概述 ? 數(shù)據(jù)流圖到軟件體系結(jié)構(gòu)的映射 ? 初始結(jié)構(gòu)圖的改進(jìn) ? 小結(jié) 71 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） 結(jié)構(gòu)化設(shè)計(jì) ? 結(jié)構(gòu)化設(shè)計(jì) (Structured Design，簡稱 SD)是一種將結(jié)構(gòu)化分析得到的數(shù)據(jù)流圖映射成軟件體系結(jié)構(gòu)的設(shè)計(jì)方法 ? 強(qiáng)調(diào)模塊化、自頂向下逐步求精、信息隱蔽、高內(nèi)聚低耦合等設(shè)計(jì)準(zhǔn)則 ? 分為概要設(shè)計(jì)和詳細(xì)設(shè)計(jì)兩大步驟 – 概要設(shè)計(jì)是對軟件系統(tǒng)的總體設(shè)計(jì)，采用結(jié)構(gòu)化設(shè)計(jì)方法，其任務(wù)是：將系統(tǒng)分解成模塊，確定每個(gè)模塊的功能、接口 (模塊間傳遞的數(shù)據(jù) )及其調(diào)用關(guān)系，并用模塊及其對模塊的調(diào)用來構(gòu)建軟件的體系結(jié)構(gòu) – 詳細(xì)設(shè)計(jì)是對模塊實(shí)現(xiàn)細(xì)節(jié)的設(shè)計(jì)，采用結(jié)構(gòu)化程序設(shè)計(jì) (Structured Programming，簡稱 SP)方法 ? SA、 SD和 SP構(gòu)成完整的結(jié)構(gòu)化方法體系 72 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） 結(jié)構(gòu)圖 ? 用結(jié)構(gòu)圖 (Structure Chert)來描述軟件系統(tǒng)的體系結(jié)構(gòu) ? 描述一個(gè)軟件系統(tǒng)由哪些模塊組成，以及模塊之間的調(diào)用關(guān)系 ? 結(jié)構(gòu)圖的基本成分有： 模塊 、 調(diào)用 和 數(shù)據(jù) 73 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） 模塊 ? 模塊 (module)：指具有一定功能的可以用模塊名調(diào)用的一組程序語句，如函數(shù)、子程序等 ? 它們是組成程序的基本單元 ? 一個(gè)模塊具有其外部特征和內(nèi)部特征 – 外部特征包括：模塊的接口 (模塊名、輸入 /輸出參數(shù)、返回值等 )和模塊的功能 – 內(nèi)部特征包括：模塊的內(nèi)部數(shù)據(jù)和完成其功能的程序代碼 ? 在 SD中，我們只關(guān)注模塊的外部特征，而忽略其內(nèi)部特征 74 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） 調(diào)用和數(shù)據(jù) ? 調(diào)用 (call)：用從一個(gè)模塊指向另一個(gè)模塊的箭頭來表示，其含義是前者調(diào)用了后者 – 為了方便，有時(shí)常用直線替代箭頭，此時(shí)，表示位于上方的模塊調(diào)用位于下方的模塊 ? 數(shù)據(jù) (data)：模塊調(diào)用時(shí)需傳遞的參數(shù)可通過在調(diào)用箭頭旁附加一個(gè)小箭頭和數(shù)據(jù)名來表示 75 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） 結(jié)構(gòu)圖中的輔助符號(hào) D B C A 模塊 A有條件地調(diào)用模塊 B或 C D B C A 模塊 A循環(huán)調(diào)用模塊 B和 C 遞歸調(diào)用 76 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） 結(jié)構(gòu)圖的幾個(gè) 概念 ? 深度 ：程序結(jié)構(gòu)圖中控制的層數(shù)，例如圖中所示的結(jié)構(gòu)圖的深度是 5 ? 寬度 ：程序結(jié)構(gòu)圖中同一層次上模塊總數(shù)的最大值，例如圖中所示的結(jié)構(gòu)圖的寬度為 7 ? 扇出 (fan out)：該模塊直接調(diào)用的模塊數(shù)目。另外，“檢查報(bào)名單”模塊在發(fā)現(xiàn)報(bào)名單有錯(cuò)時(shí)，其錯(cuò)誤信息要經(jīng)過一連串的參數(shù)傳遞送到“打印報(bào)名單出錯(cuò)信息”模塊，其耦合度比較大。 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） 109 “統(tǒng)計(jì)成績”部分的改進(jìn) ? 先將一些比較簡單的模塊合并到與其功能相一致的模塊中，以減少耦合度 – 將“輸入成績清單”、“檢查成績清單”、“打印成績單出錯(cuò)信息”合并成“輸入并檢查成績清單” – 將“輸入合格標(biāo)準(zhǔn)”與“審定合格者”合并，仍取名“審定合格者”，但它包含讀入合格標(biāo)準(zhǔn)功能 – 將“產(chǎn)生考生通知單”與“打印考生通知單”合并成“產(chǎn)生并打印考生通知單” 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） 110 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） 111 “ 分析試題難度 ” 和 “ 打印分類統(tǒng)計(jì)表 ” 模塊產(chǎn)生的 “ 難度分析結(jié)果 ” 和 “ 分類統(tǒng)計(jì)結(jié)果 ” 只在 “ 打印難度分析表 ” 和“ 打印分類統(tǒng)計(jì)表 ” 模塊中使用 ， 因此 ， 將 “ 打印難度分析表 ” 模塊和 “ 打印分類統(tǒng)計(jì)表 ” 模塊分別作為 “ 分析試題難度 ” 模塊和 “ 分類統(tǒng)計(jì)成績 ” 模塊的下屬模塊 ， 可降低模塊間的耦合程度 。 2范圍內(nèi)。同時(shí)，它們是相對獨(dú)立的功能，由考試中心發(fā)布啟動(dòng)命令，因此，可以將它們移到主控模塊“考務(wù)處理系統(tǒng)”之下 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） 115 結(jié)構(gòu)圖改進(jìn)技巧 1．減少模塊間的耦合度 可以通過將功能簡單的模塊合并到與其關(guān)系密切的模塊中，或調(diào)整模塊的位置，來減少模塊間的參數(shù)傳遞，或避免參數(shù)長距離傳輸，以降低耦合度?！拜斎雸?bào)名單”、“檢查報(bào)名單”和“打印報(bào)名單出錯(cuò)信息”三個(gè)模塊合并后取名為“輸入并檢查報(bào)名單”，如圖所示。例如圖中模塊 G的扇入是 1，模塊 I的扇入是 2，模塊 R的扇入是 4 W B K A E H J D G F I L C M N O P Q R 深度 寬度 扇入 扇出 77 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） 相關(guān)指標(biāo)的 含義 ? 深度和寬度在一定程序上反映了程序的規(guī)模和復(fù)雜程度 – 相對而言，如果程序結(jié)構(gòu)圖的深度和寬度較大，則說明程序的規(guī)模和復(fù)雜程度都較大。例如，例如圖中模塊 M的扇出是 4，模塊 A的是 2，模塊 B的扇出是 1 ? 扇入 (fan in)：能直接調(diào)用該模塊的模塊數(shù)目。如果將“打印報(bào)名單出錯(cuò)信息”模塊也合并到“檢查報(bào)名單”模塊，那么，在發(fā)現(xiàn)報(bào)名單有錯(cuò)時(shí)，立即輸出錯(cuò)誤信息，這樣圖中相關(guān)參數(shù)的傳遞都可省去，從而降低了模塊間的耦合度。 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） 112 “ 統(tǒng)計(jì)成績輸出控制 ” 可刪去 ， “ 統(tǒng)計(jì)成績輸入控制 ” 模塊和 “ 統(tǒng)計(jì)成績處理模塊 ” 均為 “ 管道 ” 模塊 ， 也可刪去 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） 113 改進(jìn)后整個(gè)結(jié)構(gòu)圖 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） 114 整個(gè)結(jié)構(gòu)圖的改進(jìn) 考慮到分析試題難度和分類統(tǒng)計(jì)成績是屬于后處理的一些工作，它們對這一次考試的總結(jié)，為下一次考試命題作準(zhǔn)備的。當(dāng)一個(gè)模塊的扇出較大時(shí)，應(yīng)考慮重新分解 6．應(yīng)盡可能研究整張結(jié)構(gòu)圖，而不是只考慮其中的一部分 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） （ a） 高扇出 （ b）重新分解 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） 117 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） 內(nèi)容摘要 ? 結(jié)構(gòu)化分析方法概述 ? 數(shù)據(jù)流圖 ? 分層數(shù)據(jù)流圖的審查 ? 數(shù)據(jù)字典 ? 描述基本加工的小說明 ? 結(jié)構(gòu)化設(shè)計(jì)概述 ? 數(shù)據(jù)流圖到軟件體系結(jié)構(gòu)的映射 ? 初始結(jié)構(gòu)圖的改進(jìn) ? 小結(jié) 118 復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院 軟件工程（第二版） 小結(jié) ? 結(jié)構(gòu)化方法是一種傳統(tǒng)的面向數(shù)據(jù)流開發(fā)方法 ? 以數(shù)據(jù)流為中心構(gòu)建軟件的分析模型和設(shè)計(jì)模型 ? 在結(jié)構(gòu)化分析方面，本章介紹 結(jié)構(gòu)化分析的基本思想和分析過程 ，詳細(xì)介紹了 分層數(shù)據(jù)流圖的畫法 ， 分層數(shù)據(jù)流圖的審查 ， 數(shù)據(jù)字典各條目的描述內(nèi)容 以及 基本加工小說明的描述方法 ? 在結(jié)構(gòu)化設(shè)計(jì)方面，本章介紹 如何將分析的結(jié)果(DFD)映射成初始的程序結(jié)構(gòu)圖 ，包括 變換分析和事務(wù)分析 ，并介紹 對初始結(jié)構(gòu)圖的優(yōu)化 11