【正文】 教師的工資檔案儲(chǔ)存在勞資處的數(shù)據(jù)庫(kù)中，檔案中有目前的年薪、贍養(yǎng)的人數(shù)、雇用日期等信息。 172/175 ? 自頂向下逐步求精是軟件結(jié)構(gòu)設(shè)計(jì)的常用途徑；但是，如果已經(jīng)有了詳細(xì)的數(shù)據(jù)流圖，也可以使用面向數(shù)據(jù)流的設(shè)計(jì)方法，由數(shù)據(jù)流圖映射出軟件結(jié)構(gòu)。 168/175 經(jīng)過(guò)分解優(yōu)化后的結(jié)構(gòu)圖如圖 169/175 本章小結(jié) ? 總體設(shè)計(jì)階段的基本目標(biāo)是概括出擬建系統(tǒng)的藍(lán)圖，包括系統(tǒng)配置、物理布署和軟件結(jié)構(gòu)方案。 163/175 步驟 2：確定主控模塊，映射軟件結(jié)構(gòu) ? 變換中心包含多個(gè)加工邏輯，這時(shí)確定主控模塊的策略應(yīng)該是 “ 任命 ” 一個(gè)可以擔(dān)當(dāng)此任的模塊。 ? 同理，跟蹤數(shù)據(jù)流 Y1，也會(huì)得出同樣的結(jié)論。 155/175 156/175 （ 2）考察傳出子系統(tǒng)。 154/175 （ 1）考察傳入子系統(tǒng)。 ? 為了產(chǎn)生一個(gè)較好的系統(tǒng)功能結(jié)構(gòu)，進(jìn)行分解、優(yōu)化時(shí)注意如下幾點(diǎn)： 152/175 ? 為了產(chǎn)生一個(gè)較好的系統(tǒng)功能結(jié)構(gòu)，進(jìn)行分解、優(yōu)化時(shí)注意如下幾點(diǎn)： ? ① 分解和重組 “ 傳入子系統(tǒng) ” 和 “ 傳出子系統(tǒng) ” 的模塊，并要保持系統(tǒng)結(jié)構(gòu)的勻稱(chēng)。 144/175 145/175 ? 第一步，首先從數(shù)據(jù)流正向和逆向跟蹤數(shù)據(jù)流。 142/175 實(shí)例 ? 當(dāng)數(shù)據(jù)流圖具有明顯的變換中心特征時(shí)，可以使用變換中心策略映射出結(jié)構(gòu)圖。 139/175 ? 對(duì)于時(shí)間是決定性因素的應(yīng)用場(chǎng)合，可能有必要在詳細(xì)設(shè)計(jì)階段，也可能在編寫(xiě)程序的過(guò)程中進(jìn)行優(yōu)化。 ? 但是，機(jī)械地遵循變換分析或事務(wù)分析的映射規(guī)則，很可能會(huì)得到一些不必要的控制模塊，如果它們確實(shí)用處不大，應(yīng)該把它們合并。 129/175 ? 雖然圖 ，但是，對(duì)一個(gè)大型系統(tǒng)中的復(fù)雜數(shù)據(jù)流可以用兩個(gè)或多個(gè)模塊完成上述一個(gè)模塊的控制功能。 圖 變換流 122/175 概念 ?映射過(guò)程中，信息流程的特征決定了映射的方法。 117/175 IPO圖可以用以驗(yàn)證模塊獨(dú)立性 ? 利用 IPO圖得到模塊調(diào)用時(shí)傳遞的信息，可以作為檢查設(shè)計(jì)正確性和評(píng)價(jià)模塊獨(dú)立性的好方法。 107/175 ?圖 正文加工系統(tǒng)的層次圖 108/175 HIPO圖 圖 帶編號(hào)的層次圖 (H圖 ) 109/175 結(jié)構(gòu)圖 ?結(jié)構(gòu)圖中的符號(hào)及含義； ?注意事項(xiàng)； 110/175 結(jié)構(gòu)圖中的符號(hào)及含義 : ?方框代表模塊，框內(nèi)注明模塊的名字或功能； ?方框之間的箭頭 (或直線 )表示模塊調(diào)用關(guān)系。 102/175 7. 模塊功能應(yīng)該可以預(yù)測(cè) ? 模塊的功能應(yīng)該能夠預(yù)測(cè)； ? 把一個(gè)模塊看作黑盒子，只要輸入的數(shù)據(jù)確定，就能產(chǎn)生確定的欲期輸出，這個(gè)模塊的功能就是可以預(yù)測(cè)的。 ? 控制域是這個(gè)模塊本身以及所有直接或間接從屬于它的模塊的集合。 96/175 ③ 扇出 ?扇出是一個(gè)模塊直接控制 (或調(diào)用 )的下級(jí)模塊數(shù)； ?扇出過(guò)大意味著模塊過(guò)分復(fù)雜，需要控制和協(xié)調(diào)過(guò)多的下級(jí)模塊；扇出過(guò)小 (例如總是 1)也不好。 ? 模塊數(shù)目過(guò)多將使系統(tǒng)接口復(fù)雜，因此過(guò)小的模塊有時(shí)不值得單獨(dú)存在。重要的是力爭(zhēng)做到高內(nèi)聚、低耦合的模塊；有能力通過(guò)修改設(shè)計(jì)模塊的獨(dú)立性。 ?如果模塊中所有元素都使用同一個(gè)輸入數(shù)據(jù)和 (或 )產(chǎn)生同一個(gè)輸出數(shù)據(jù)，則稱(chēng)為通信內(nèi)聚。 ? 設(shè)計(jì)時(shí)應(yīng)該力求做到高內(nèi)聚。 ? 公共的數(shù)據(jù)環(huán)境可以是全局?jǐn)?shù)據(jù)結(jié)構(gòu)、共享的通信區(qū)、內(nèi)存的公共覆蓋區(qū)等。 73/175 ? 特征耦合的模塊聯(lián)接形式不如數(shù)據(jù)耦合形式好，如果不是特別需要，盡量使用數(shù)據(jù)耦合形式 ? 見(jiàn)下頁(yè)： ? 圖 ； ? 圖 ，將其轉(zhuǎn)化為圖 側(cè)的數(shù)據(jù)耦合形式較好。 66/175 1. 模塊間的“耦合” ? 耦合，是對(duì)一個(gè)軟件結(jié)構(gòu)內(nèi)不同模塊之間關(guān)聯(lián)程度的度量。 ?信息（數(shù)據(jù)、過(guò)程等）通過(guò)接口的定義被隱藏起來(lái)，降低了模塊間藕合度。 ? 有了模塊化的方法，我們就可以使用簡(jiǎn)化的方法對(duì)一個(gè)復(fù)雜的系統(tǒng)進(jìn)行認(rèn)識(shí)； ? 同樣，也可以用這種簡(jiǎn)化的方法，構(gòu)造一個(gè)跟復(fù)雜系統(tǒng)功能相近的人造系統(tǒng) ——模塊化系統(tǒng) 48/175 模塊化 ? 模塊化 ——把程序按 “ 功能 ” 劃分成更小的 “ 功能成份 ” ，每個(gè)子功能，都可以被獨(dú)立的調(diào)用，這就是 “ 功能模塊 ” ? 把這些模塊集成起來(lái)構(gòu)成一個(gè)整體，就被稱(chēng)為軟件的 “ 模塊化結(jié)構(gòu) ” 49/175 軟件的模塊化結(jié)構(gòu) 50/175 模塊化的軟件結(jié)構(gòu) 51/175 設(shè)計(jì)原理 ?軟件結(jié)構(gòu)設(shè)計(jì)的原理，涉及如下幾個(gè)重要概念： ? 模塊化 ? 抽象 ? 逐步求精 ? 信息隱藏和局部化 ? 模塊的獨(dú)立性 52/175 抽象 ?抽象是人類(lèi)認(rèn)識(shí)復(fù)雜現(xiàn)象的過(guò)程中使用的一種最強(qiáng)有力的思維工具 ?是屏蔽不重要的細(xì)節(jié)，抓住事物本質(zhì)的思維手法 53/175 ? “ 抽象 ” 應(yīng)把握 “ 層次 ” 或 “ 粒度 ” ，因此，逐步求精和模塊化的概念，與 “ 抽象 ” 是緊密相關(guān)的； ? 有了 “ 抽象 ” 的工具，使得我們對(duì)于軟件可以從“ 概念 ” 到 “ 實(shí)現(xiàn) ” 一步一步來(lái)演化； ? 在軟件開(kāi)發(fā)的全過(guò)程中，從 “ 需求定義 ”“ 總體設(shè)計(jì) ” 、 “ 詳細(xì)設(shè)計(jì) ” 再到 “ 編程實(shí)現(xiàn) ” 的過(guò)程，就是由 “ 抽象 ” 到 “ 現(xiàn)實(shí) ” 的逐步演化過(guò)程； 抽象、層次、粒度 54/175 設(shè)計(jì)原理 ?軟件結(jié)構(gòu)設(shè)計(jì)的原理，涉及如下幾個(gè)重要概念： ? 模塊化 ? 抽象 ? 逐步求精 ? 信息隱藏和局部化 ? 模塊的獨(dú)立性 55/175 逐步求精 ? 逐步求精是人類(lèi)解決復(fù)雜問(wèn)題時(shí)采用的基本方法，也是許多軟件工程技術(shù)（例如，規(guī)格說(shuō)明技術(shù)，設(shè)計(jì)和實(shí)現(xiàn)技術(shù)）的基礎(chǔ)。 ?（ 3）邏輯：指模塊內(nèi)部的算法邏輯。 36/175 書(shū)寫(xiě)文檔 ? (3) 測(cè)試計(jì)劃包括測(cè)試策略，測(cè)試方案（數(shù)據(jù)），預(yù)期的測(cè)試結(jié)果，測(cè)試進(jìn)度計(jì)劃等等。 ? 軟件結(jié)構(gòu)主要使用結(jié)構(gòu)圖來(lái)描繪。 ? 結(jié)構(gòu)設(shè)計(jì)確定程序由哪些模塊組成，以及這些模塊之間的關(guān)系； ? 過(guò)程設(shè)計(jì)確定每個(gè)模塊的內(nèi)部處理過(guò)程。 ? 當(dāng)然，這種方案需要增加一個(gè)數(shù)據(jù)存儲(chǔ)以存放事務(wù)數(shù)據(jù)。 在總體設(shè)計(jì)階段開(kāi)始時(shí)只有系統(tǒng)的邏輯模型，分析員有充分的自由分析比較不同的物理實(shí)現(xiàn)方案。分布在不同地理位置的可共享資源一般包括計(jì)算機(jī)硬件、軟件和數(shù)據(jù)等。1 第 6章 總體設(shè)計(jì) 設(shè)計(jì)過(guò)程 設(shè)計(jì)原理 啟發(fā)性設(shè)計(jì)原則 描繪軟件結(jié)構(gòu)的圖形工具 面向數(shù)據(jù)流的設(shè)計(jì)方法 實(shí)例 習(xí)題 2/175 概述 ? 需求評(píng)審?fù)ㄟ^(guò)以后，軟件過(guò)程進(jìn)入到設(shè)計(jì)階段，設(shè)計(jì)結(jié)果又將是實(shí)現(xiàn)的直接依據(jù)； ? 設(shè)計(jì)包括總體設(shè)計(jì)和詳細(xì)設(shè)計(jì)，實(shí)現(xiàn)包括編程與測(cè)試； ? 圖 61是軟件開(kāi)發(fā)過(guò)程活動(dòng)概要情況。 ? 具有分布結(jié)構(gòu)的系統(tǒng)稱(chēng)為分布式系統(tǒng)。 一旦選出了最佳的方案，將能大大提高系統(tǒng)的性能 /價(jià)格比。 21/175 圖 這種劃分自動(dòng)化邊界的方法暗示 以批量方式更新庫(kù)存清單 22/175 不需要保存聯(lián)機(jī)發(fā)生的“事件”數(shù)據(jù) 圖 另一種劃分自動(dòng)化邊界的方案 23/175 3. 選取合理方案 ? 從前一步得到的可供選擇的方案中選取若干個(gè)合理的方案，通?？煽紤]低成本、中等成本和高成本的三種方案。 ? 結(jié)構(gòu)設(shè)計(jì)是總體設(shè)計(jì)階段的任務(wù)，過(guò)程設(shè)計(jì)是詳細(xì)設(shè)計(jì)階段的任務(wù)。 ? 如果數(shù)據(jù)流圖已經(jīng)細(xì)化到適當(dāng)?shù)膶哟危瑒t可以直接從數(shù)據(jù)流圖映射出軟件結(jié)構(gòu)，這就是 “ 面向數(shù)據(jù)流的設(shè)計(jì)方法 ” ，在 。 ? (4) 詳細(xì)的實(shí)現(xiàn)計(jì)劃 ? (5) 數(shù)據(jù)庫(kù)設(shè)計(jì)結(jié)果 37/175 審查和復(fù)審 ? 最后應(yīng)該對(duì)總體設(shè)計(jì)的結(jié)果進(jìn)行嚴(yán)格的技術(shù)審查； ? 在技術(shù)審查通過(guò)之后再由使用部門(mén)的負(fù)責(zé)人從管理角度進(jìn)行復(fù)審。 ? 功能、狀態(tài)與接口反映模塊的外部特性，邏輯反映它的內(nèi)部特性。 ? 可以把逐步求精定義為： “ 為了能集中精力解決主要問(wèn)題而盡量推遲對(duì)問(wèn)題細(xì)節(jié)的考慮。 ?在修改期間由于疏忽而引入的錯(cuò)誤就很少可能傳播到軟件的其他部分。 ? 耦合強(qiáng)弱，表現(xiàn)出相應(yīng)的模塊間接口的復(fù)雜程度。 變“特征耦合”為“數(shù)據(jù)耦合” 74/175 變“特征耦合”為“數(shù)據(jù)耦合” 75/175 ④ 控制耦合 ? 模塊調(diào)用時(shí)，傳送了控制信息，就構(gòu)成了控制耦合。公共耦合的復(fù)雜程度隨耦合模塊的個(gè)數(shù)增加而顯著增加。 82/175 考察內(nèi)聚性 ? 同樣地，可以通過(guò)考察模塊內(nèi)容功能的聚合形式來(lái)判斷模塊的獨(dú)立性。 85/175 3. 低內(nèi)聚有如下幾類(lèi)： ① 如果一個(gè)模塊完成一組任務(wù)，這些任務(wù)彼此間即使有關(guān)系，關(guān)系也是很松散的，就叫做偶然內(nèi)聚。 88/175 啟發(fā)性設(shè)計(jì)原則 1. 通過(guò)提高模塊獨(dú)立性，改進(jìn)軟件結(jié)構(gòu)， 2. 模塊規(guī)模應(yīng)該適中 3. 深度、寬度、扇出和扇入都應(yīng)適當(dāng) 4. 模塊的作用域應(yīng)該在控制域之內(nèi) 5. 力爭(zhēng)降低模塊接口的復(fù)雜程度 6. 設(shè)計(jì)單入口單出口的模塊 7. 模塊功能應(yīng)該可以預(yù)測(cè) 89/175