軟件工程學-總體設(shè)計

第5章總體設(shè)計5.1設(shè)計過程5.2設(shè)計原理5.3啟發(fā)規(guī)則5.4描繪軟件結(jié)構(gòu)的圖形工具5.5面向數(shù)據(jù)流的設(shè)計方法5.6小結(jié)習題總體設(shè)計的基本目的就是回答“概括地說，系統(tǒng)應該如何實現(xiàn)?”這個問題，因此，總體設(shè)計又稱為概要設(shè)計或初步設(shè)計。通過這個階段的工作將劃分出組成系統(tǒng)的物理元素——程序、文件、數(shù)據(jù)庫、人工過程和文檔等等，但是每個物理元素仍然處于黑盒子級，這些黑盒子里的具體內(nèi)容將在以后仔細設(shè)計?？傮w設(shè)計階段的另一項重要任務是設(shè)計軟件的結(jié)構(gòu)，也就是要確定系統(tǒng)中每個程序是由哪些模塊組成的，以及這些模塊相互間的關(guān)系?？傮w設(shè)計過程首先尋找實現(xiàn)目標系統(tǒng)的各種不同的方案，需求分析階段得到的數(shù)據(jù)流圖是設(shè)想各種可能方案的基礎(chǔ)。然后分析員從這些供選擇的方案中選取若干個合理的方案，為每個合理的方案都準備一份系統(tǒng)流程圖，列出組成系統(tǒng)的所有物理元素，進行成本/效益分析，并且制定實現(xiàn)這個方案的進度計劃。分析員應該綜合分析比較這些合理的方案，從中選出一個最佳方案向用戶和使用部門負責人推薦。如果用戶和使用部門的負責人接受了推薦的方案，分析員應該進一步為這個最佳方案設(shè)計軟件結(jié)構(gòu)，通常，設(shè)計出初步的軟件結(jié)構(gòu)后還要多方改進，從而得到更合理的結(jié)構(gòu)，進行必要的數(shù)據(jù)庫設(shè)計，確定測試要求并且制定測試計劃。從上面的敘述中不難看出，在詳細設(shè)計之前先進行總體設(shè)計的必要性：可以站在全局高度上，花較少成本，從較抽象的層次上分析對比多種可能的系統(tǒng)實現(xiàn)方案和軟件結(jié)構(gòu)，從中選出最佳方案和最合理的軟件結(jié)構(gòu)，從而用較低成本開發(fā)出較高質(zhì)量的軟件系統(tǒng)?？傮w設(shè)計過程通常由兩個主要階段組成：系統(tǒng)設(shè)計階段，確定系統(tǒng)的具體實現(xiàn)方案；結(jié)構(gòu)設(shè)計階段，確定軟件結(jié)構(gòu)。典型的總體設(shè)計過程包括下述9個步驟：1.設(shè)想供選擇的方案在總體設(shè)計階段分析員應該考慮各種可能的實現(xiàn)方案，并且力求從中選出最佳方案。在總體設(shè)計階段開始時只有系統(tǒng)的邏輯模型，分析員有充分的自由分析比較不同的物理實現(xiàn)方案，一旦選出了最佳的方案，將能大大提高系統(tǒng)的性能/價格比。5.1設(shè)計過程需求分析階段得出的數(shù)據(jù)流圖是總體設(shè)計的極好的出發(fā)點。設(shè)想供選擇的方案的一種常用的方法是，設(shè)想把數(shù)據(jù)流圖中的處理分組的各種可能的方法，拋棄在技術(shù)上行不通的分組方法(例如，組內(nèi)不同處理的執(zhí)行時間不相容)，余下的分組方法代表可能的實現(xiàn)策略，并且可以啟示供選擇的物理系統(tǒng)。2.選取合理的方案應該從前一步得到的一系列供選擇的方案中選取若干個合理的方案，通常至少選取低成本、中等成本和高成本的三種方案。在判斷哪些方案合理時應該考慮在問題定義和可行性研究階段確定的工程規(guī)模和目標，有時可能還需要進一步征求用戶的意見。對每個合理的方案分析員都應該準備下列4份資料：(1)系統(tǒng)流程圖；(2)組成系統(tǒng)的物理元素清單；(3)成本/效益分析；(4)實現(xiàn)這個系統(tǒng)的進度計劃。3.推薦最佳方案分析員應該綜合分析對比各種合理方案的利弊，推薦一個最佳的方案，并且為推薦的方案制定詳細的實現(xiàn)計劃。制定詳細實現(xiàn)計劃的關(guān)鍵技術(shù)是本書第13章中將要介紹的工程網(wǎng)絡。用戶和有關(guān)的技術(shù)專家應該認真審查分析員所推薦的最佳系統(tǒng)，如果該系統(tǒng)確實符合用戶的需要，并且是在現(xiàn)有條件下完全能夠?qū)崿F(xiàn)的，則應該提請使用部門負責人進一步審批。在使用部門的負責人也接受了分析員所推薦的方案之后，將進入總體設(shè)計過程的下一個重要階段——結(jié)構(gòu)設(shè)計。4.功能分解為了最終實現(xiàn)目標系統(tǒng)，必須設(shè)計出組成這個系統(tǒng)的所有程序和文件(或數(shù)據(jù)庫)。對程序(特別是復雜的大型程序)的設(shè)計，通常分為兩個階段完成：首先進行結(jié)構(gòu)設(shè)計，然后進行過程設(shè)計。結(jié)構(gòu)設(shè)計確定程序由哪些模塊組成，以及這些模塊之間的關(guān)系；過程設(shè)計確定每個模塊的處理過程。結(jié)構(gòu)設(shè)計是總體設(shè)計階段的任務，過程設(shè)計是詳細設(shè)計階段的任務。為確定軟件結(jié)構(gòu)，首先需要從實現(xiàn)角度把復雜的功能進一步分解。分析員結(jié)合算法描述仔細分析數(shù)據(jù)流圖中的每個處理，如果一個處理的功能過分復雜，必須把它的功能適當?shù)胤纸獬梢幌盗斜容^簡單的功能。一般說來，經(jīng)過分解之后應該使每個功能對大多數(shù)程序員而言都是明顯易懂的。功能分解導致數(shù)據(jù)流圖的進一步細化，同時還應該用IPO圖或其他適當?shù)墓ぞ吆喴枋黾毣竺總€處理的算法。5.設(shè)計軟件結(jié)構(gòu)通常程序中的一個模塊完成一個適當?shù)淖庸δ?。應該把模塊組織成良好的層次系統(tǒng)，頂層模塊調(diào)用它的下層模塊以實現(xiàn)程序的完整功能，每個下層模塊再調(diào)用更下層的模塊，從而完成程序的一個子功能，最下層的模塊完成最具體的功能。軟件結(jié)構(gòu)(即由模塊組成的層次系統(tǒng))可以用層次圖或結(jié)構(gòu)圖來描繪，第5.4節(jié)將介紹這些圖形工具。如果數(shù)據(jù)流圖已經(jīng)細化到適當?shù)膶哟?，則可以直接從數(shù)據(jù)流圖映射出軟件結(jié)構(gòu)，這就是第5.5節(jié)中將要講述的面向數(shù)據(jù)流的設(shè)計方法。6.設(shè)計數(shù)據(jù)庫對于需要使用數(shù)據(jù)庫的那些應用系統(tǒng)，軟件工程師應該在需求分析階段所確定的系統(tǒng)數(shù)據(jù)需求的基礎(chǔ)上，進一步設(shè)計數(shù)據(jù)庫。在數(shù)據(jù)庫課中已經(jīng)詳細講述了設(shè)計數(shù)據(jù)庫的方法，本書不再贅述。7.制定測試計劃在軟件開發(fā)的早期階段考慮測試問題，能促使軟件設(shè)計人員在設(shè)計時注意提高軟件的可測試性。本書第7章將仔細討論軟件測試的目的和設(shè)計測試方案的各種技術(shù)方法。8.書寫文檔應該用正式的文檔記錄總體設(shè)計的結(jié)果，在這個階段應該完成的文檔通常有下述幾種：(1)系統(tǒng)說明主要內(nèi)容包括用系統(tǒng)流程圖描繪的系統(tǒng)構(gòu)成方案，組成系統(tǒng)的物理元素清單，成本/效益分析；對最佳方案的概括描述，精化的數(shù)據(jù)流圖，用層次圖或結(jié)構(gòu)圖描繪的軟件結(jié)構(gòu)，用IPO圖或其他工具(例如，PDL語言)簡要描述的各個模塊的算法，模塊間的接口關(guān)系，以及需求、功能和模塊三者之間的交叉參照關(guān)系等等。(2)用戶手冊根據(jù)總體設(shè)計階段的結(jié)果，修改更正在需求分析階段產(chǎn)生的初步的用戶手冊。(3)測試計劃包括測試策略，測試方案，預期的測試結(jié)果，測試進度計劃等等。(4)詳細的實現(xiàn)計劃(5)數(shù)據(jù)庫設(shè)計結(jié)果9.審查和復審最后應該對總體設(shè)計的結(jié)果進行嚴格的技術(shù)審查，在技術(shù)審查通過之后再由使用部門的負責人從管理角度進行復審。模塊是由邊界元素限定的相鄰程序元素（例如，數(shù)據(jù)說明，可執(zhí)行的語句）的序列，而且有一個總體標識符代表它。按照模塊的定義，過程、函數(shù)、子程序和宏等，都可作為模塊。面向?qū)ο蠓椒▽W中的對象是模塊，對象內(nèi)的方法（或稱為服務）也是模塊。模塊是構(gòu)成程序的基本構(gòu)件。5.2設(shè)計原理

5.2.1模塊化模塊化就是把程序劃分成獨立命名且可獨立訪問的模塊，每個模塊完成一個子功能，把這些模塊集成起來構(gòu)成一個整體，可以完成指定的功能滿足用戶的需求。有人說，模塊化是為了使一個復雜的大型程序能被人的智力所管理，軟件應該具備的惟一屬性。如果一個大型程序僅由一個模塊組成，它將很難被人所理解。下面根據(jù)人類解決問題的一般規(guī)律，論證上面的結(jié)論。設(shè)函數(shù)C(x)定義問題x的復雜程度，函數(shù)E(x)確定解決問題x需要的工作量(時間)。對于兩個問題P1和P2，如果C(P1)>C(P2)顯然E(P1)>E(P2)根據(jù)人類解決一般問題的經(jīng)驗，另一個有趣的規(guī)律是C(P1+P2)>C(P1)+C(P2)也就是說，如果一個問題由P1和P2兩個問題組合而成，那么它的復雜程度大于分別考慮每個問題時的復雜程度之和。綜上所述，得到下面的不等式E(P1+P2)>E(P1)+E(P2)這個不等式導致“各個擊破”的結(jié)論——把復雜的問題分解成許多容易解決的小問題，原來的問題也就容易解決了。這就是模塊化的根據(jù)。由上面的不等式似乎還能得出下述結(jié)論：如果無限地分割軟件，最后為了開發(fā)軟件而需要的工作量也就小得可以忽略了。事實上，還有另一個因素在起作用，從而使得上述結(jié)論不能成立。參看圖5.1，當模塊數(shù)目增加時每個模塊的規(guī)模將減小，開發(fā)單個模塊需要的成本(工作量)確實減少了；但是，隨著模塊數(shù)目增加，設(shè)計模塊間接口所需要的工作量也將增加。根據(jù)這兩個因素，得出了圖中的總成本曲線。每個程序都相應地有一個最適當?shù)哪K數(shù)目M，使得系統(tǒng)的開發(fā)成本最小。圖5.1模塊化和軟件成本雖然目前還不能精確地決定M的數(shù)值，但是在考慮模塊化的時候總成本曲線確實是有用的指南。采用模塊化原理可以使軟件結(jié)構(gòu)清晰，不僅容易設(shè)計也容易閱讀和理解。因為程序錯誤通常局限在有關(guān)的模塊及它們之間的接口中，所以模塊化使軟件容易測試和調(diào)試，因而有助于提高軟件的可靠性。因為變動往往只涉及少數(shù)幾個模塊，所以模塊化能夠提高軟件的可修改性。模塊化也有助于軟件開發(fā)工程的組織管理，一個復雜的大型程序可以由許多程序員分工編寫不同的模塊，并且可以進一步分配技術(shù)熟練的程序員編寫困難的模塊。人類在認識復雜現(xiàn)象的過程中使用的最強有力的思維工具是抽象。人們在實踐中認識到，在現(xiàn)實世界中一定事物、狀態(tài)或過程之間總存在著某些相似的方面(共性)。把這些相似的方面集中和概括起來，暫時忽略它們之間的差異，這就是抽象?；蛘哒f抽象就是抽出事物的本質(zhì)特性而暫時不考慮它們的細節(jié)。5.2.2抽象由于人類思維能力的限制，如果每次面臨的因素太多，是不可能做出精確思維的。處理復雜系統(tǒng)的惟一有效的方法是用層次的方式構(gòu)造和分析它。一個復雜的動態(tài)系統(tǒng)首先可以用一些高級的抽象概念構(gòu)造和理解，這些高級概念又可以用一些較低級的概念構(gòu)造和理解，如此進行下去，直至最低層次的具體元素。這種層次的思維和解題方式必須反映在定義動態(tài)系統(tǒng)的程序結(jié)構(gòu)之中，每級的一個概念將以某種方式對應于程序的一組成分?？紤]對任何問題的模塊化解法時，可以提出許多抽象的層次。在抽象的最高層次使用問題環(huán)境的語言，以概括的方式敘述問題的解法；在較低抽象層次采用更過程化的方法，把面向問題的術(shù)語和面向?qū)崿F(xiàn)的術(shù)語結(jié)合起來敘述問題的解法；最后在最低的抽象層次用可直接實現(xiàn)的方式敘述問題的解法。軟件工程過程的每一步都是對軟件解法的抽象層次的一次精化。在可行性研究階段，軟件作為系統(tǒng)的一個完整部件；在需求分析期間，軟件解法是使用在問題環(huán)境內(nèi)熟悉的方式描述的；當由總體設(shè)計向詳細設(shè)計過渡時，抽象的程度也就隨之減少了；最后，當源程序?qū)懗鰜硪院?，也就達到了抽象的最低層。逐步求精和模塊化的概念，與抽象是緊密相關(guān)的。隨著軟件開發(fā)工程的進展，在軟件結(jié)構(gòu)每一層中的模塊，表示了對軟件抽象層次的一次精化。事實上，軟件結(jié)構(gòu)頂層的模塊，控制了系統(tǒng)的主要功能并且影響全局；在軟件結(jié)構(gòu)底層的模塊，完成對數(shù)據(jù)的一個具體處理，用自頂向下由抽象到具體的方式分配控制，簡化了軟件的設(shè)計和實現(xiàn)，提高了軟件的可理解性和可測試性，并且使軟件更容易維護。逐步求精是人類解決復雜問題時采用的基本方法，也是許多軟件工程技術(shù)（例如，規(guī)格說明技術(shù)，設(shè)計和實現(xiàn)技術(shù)）的基礎(chǔ)?？梢园阎鸩角缶x為：“為了能集中精力解決主要問題而盡量推遲對問題細節(jié)的考慮?！敝鸩角缶匀绱酥匾?，是因為人類的認知過程遵守Miller法則：一個人在任何時候都只能把注意力集中在（7±2）個知識塊上。5.2.3逐步求精但是，在開發(fā)軟件的過程中，軟件工程師在一段時間內(nèi)需要考慮的知識塊數(shù)遠遠多于7。例如，一個程序通常不止使用7個數(shù)據(jù)，一個用戶也往往有不止7個方面的需求。逐步求精方法的強大作用就在于，它能幫助軟件工程師把精力集中在與當前開發(fā)階段最相關(guān)的那些方面上，而忽略那些對整體解決方案來說雖然是必要的，然而目前還不需要考慮的細節(jié)，這些細節(jié)將留到以后再考慮。Miller法則是人類智力的基本局限，我們不可能戰(zhàn)勝自己的自然本性，只能接受這個事實，承認自身的局限性，并在這個前提下盡我們的最大努力工作。事實上，可以把逐步求精看作是一項把一個時期內(nèi)必須解決的種種問題按優(yōu)先級排序的技術(shù)。逐步求精方法確保每個問題都將被解決，而且每個問題都將在適當?shù)臅r候被解決，但是，在任何時候一個人都不需要同時處理7個以上知識塊。逐步求精最初是由NiklausWirth提出的一種自頂向下的設(shè)計策略。按照這種設(shè)計策略，程序的體系結(jié)構(gòu)是通過逐步精化處理過程的層次而設(shè)計出來的。通過逐步分解對功能的宏觀陳述而開發(fā)出層次結(jié)構(gòu)，直至最終得出用程序設(shè)計語言表達的程序。Wirth本人對逐步求精策略曾做過如下的概括說明：“我們對付復雜問題的最重要的辦法是抽象，因此，對一個復雜的問題不應該立刻用計算機指令、數(shù)字和邏輯符號來表示，而應該用較自然的抽象語句來表示，從而得出抽象程序。抽象程序?qū)Τ橄蟮臄?shù)據(jù)進行某些特定的運算并用某些合適的記號（可能是自然語言）來表示。對抽象程序做進一步的分解，并進入下一個抽象層次，這樣的精細化過程一直進行下去，直到程序能被計算機接受為止。這時的程序可能是用某種高級語言或機器指令書寫的?！鼻缶珜嶋H上是細化過程。我們從在高抽象級別定義的功能陳述（或信息描述）開始，也就是說，該陳述僅僅概念性地描述了功能或信息，但是并沒有提供功能的內(nèi)部工作情況或信息的內(nèi)部結(jié)構(gòu)。求精要求設(shè)計者細化原始陳述，隨著每個后續(xù)求精（即細化）步驟的完成而提供越來越多的細節(jié)。抽象與求精是一對互補的概念。抽象使得設(shè)計者能夠說明過程和數(shù)據(jù)，同時卻忽略低層細節(jié)。事實上，可以把抽象看作是一種通過忽略多余的細節(jié)同時強調(diào)有關(guān)的細節(jié)，而實現(xiàn)逐步求精的方法。求精則幫助設(shè)計者在設(shè)計過程中逐步揭示出低層細節(jié)。這兩個概念都有助于設(shè)計者在設(shè)計演化過程中創(chuàng)造出完整的設(shè)計模型。應用模塊化原理時，自然會產(chǎn)生的一個問題是：“為了得到最好的一組模塊，應該怎樣分解軟件呢?”信息隱藏原理指出：應該這樣設(shè)計和確定模塊，使得一個模塊內(nèi)包含的信息(過程和數(shù)據(jù))對于不需要這些信息的模塊來說，是不能訪問的。局部化的概念和信息隱藏概念是密切相關(guān)的。所謂局部化是指把一些關(guān)系密切的軟件元素物理地放得彼此靠近。在模塊中使用局部數(shù)據(jù)元素是局部化的一個例子。顯然，局部化有助于實現(xiàn)信息隱藏。5.2.4信息隱藏和局部化實際上，應該隱藏的不是有關(guān)模塊的一切信息，而是模塊的實現(xiàn)細節(jié)。因此，有人主張把這條原理稱為“細節(jié)隱藏”?！半[藏”意味著有效的模塊化可以通過定義一組獨立的模塊而實現(xiàn)，這些獨立的模塊彼此間僅僅交換那些為了完成系統(tǒng)功能而必須交換的信息。如果在測試期間和以后的軟件維護期間需要修改軟件，那么使用信息隱藏原理作為模塊化系統(tǒng)設(shè)計的標準就會帶來極大好處。因為絕大多數(shù)數(shù)據(jù)和過程對于軟件的其他部分而言是隱藏的(也就是“看”不見的)，在修改期間由于疏忽而引入的錯誤就很少可能傳播到軟件的其他部分。模塊獨立的概念是模塊化、抽象、信息隱藏和局部化概念的直接結(jié)果。開發(fā)具有獨立功能而且和其他模塊之間沒有過多的相互作用的模塊，就可以做到模塊獨立。換句話說，希望這樣設(shè)計軟件結(jié)構(gòu)，使得每個模塊完成一個相對獨立的特定子功能，并且和其他模塊之間的關(guān)系很簡單。5.2.5模塊獨立為什么模塊的獨立性很重要呢?主要有兩條理由：第一，有效的模塊化(即具有獨立的模塊)的軟件比較容易開發(fā)出來。這是由于能夠分割功能而且接口可以簡化，當許多人分工合作開發(fā)同一個軟件時，這個優(yōu)點尤其重要。第二，獨立的模塊比較容易測試和維護。這是因為相對說來，修改設(shè)計和程序需要的工作量比較小，錯誤傳播范圍小，需要擴充功能時能夠“插入”模塊。總之，模塊獨立是好設(shè)計的關(guān)鍵，而設(shè)計又是決定軟件質(zhì)量的關(guān)鍵環(huán)節(jié)。模塊的獨立程度可以由兩個定性標準度量，這兩個標準分別稱為內(nèi)聚和耦合。耦合衡量不同模塊彼此間互相依賴(連接)的緊密程度；內(nèi)聚衡量一個模塊內(nèi)部各個元素彼此結(jié)合的緊密程度。以下分別詳細闡述。1.耦合耦合是對一個軟件結(jié)構(gòu)內(nèi)不同模塊之間互連程度的度量。耦合強弱取決于模塊間接口的復雜程度，進入或訪問一個模塊的點，以及通過接口的數(shù)據(jù)。在軟件設(shè)計中應該追求盡可能松散耦合的系統(tǒng)。在這樣的系統(tǒng)中可以研究、測試或維護任何一個模塊，而不需要對系統(tǒng)的其他模塊有很多了解。此外，由于模塊間聯(lián)系簡單，發(fā)生在一處的錯誤傳播到整個系統(tǒng)的可能性就很小。因此，模塊間的耦合程度強烈影響系統(tǒng)的可理解性、可測試性、可靠性和可維護性。如果兩個模塊中的每一個都能獨立地工作而不需要另一個模塊的存在，那么它們彼此完全獨立，這意味著模塊間無任何連接，耦合程度最低。但是，在一個軟件系統(tǒng)中不可能所有模塊之間都沒有任何連接。如果兩個模塊彼此間通過參數(shù)交換信息，而且交換的信息僅僅是數(shù)據(jù)，那么這種耦合稱為數(shù)據(jù)耦合。如果傳遞的信息中有控制信息(盡管有時這種控制信息以數(shù)據(jù)的形式出現(xiàn))，則這種耦合稱為控制耦合。數(shù)據(jù)耦合是低耦合。系統(tǒng)中至少必須存在這種耦合，因為只有當某些模塊的輸出數(shù)據(jù)作為另一些模塊的輸入數(shù)據(jù)時，系統(tǒng)才能完成有價值的功能。一般說來，一個系統(tǒng)內(nèi)可以只包含數(shù)據(jù)耦合?？刂岂詈鲜侵械瘸潭鹊鸟詈希黾恿讼到y(tǒng)的復雜程度?？刂岂詈贤嵌嘤嗟模诎涯K適當分解之后通?？梢杂脭?shù)據(jù)耦合代替它。如果被調(diào)用的模塊需要使用作為參數(shù)傳遞進來的數(shù)據(jù)結(jié)構(gòu)中的所有元素，那么，把整個數(shù)據(jù)結(jié)構(gòu)作為參數(shù)傳遞就是完全正確的。但是，當把整個數(shù)據(jù)結(jié)構(gòu)作為參數(shù)傳遞而被調(diào)用的模塊只需要使用其中一部分數(shù)據(jù)元素時，就出現(xiàn)了特征耦合。在這種情況下，被調(diào)用的模塊可以使用的數(shù)據(jù)多于它確實需要的數(shù)據(jù)，這將導致對數(shù)據(jù)的訪問失去控制，從而給計算機犯罪提供了機會。當兩個或多個模塊通過一個公共數(shù)據(jù)環(huán)境相互作用時，它們之間的耦合稱為公共環(huán)境耦合。公共環(huán)境可以是全程變量、共享的通信區(qū)、內(nèi)存的公共覆蓋區(qū)、任何存儲介質(zhì)上的文件、物理設(shè)備等等。公共環(huán)境耦合的復雜程度隨耦合的模塊個數(shù)而變化，當耦合的模塊個數(shù)增加時復雜程度顯著增加。如果只有兩個模塊有公共環(huán)境，那么這種耦合有下面兩種可能：(1)一個模塊往公共環(huán)境送數(shù)據(jù)，另一個模塊從公共環(huán)境取數(shù)據(jù)。這是數(shù)據(jù)耦合的一種形式，是比較松散的耦合。(2)兩個模塊都既往公共環(huán)境送數(shù)據(jù)又從里面取數(shù)據(jù)，這種耦合比較緊密，介于數(shù)據(jù)耦合和控制耦合之間。如果兩個模塊共享的數(shù)據(jù)很多，都通過參數(shù)傳遞可能很不方便，這時可以利用公共環(huán)境耦合。最高程度的耦合是內(nèi)容耦合。如果出現(xiàn)下列情況之一，兩個模塊間就發(fā)生了內(nèi)容耦合：一個模塊訪問另一個模塊的內(nèi)部數(shù)據(jù)；一個模塊不通過正常入口而轉(zhuǎn)到另一個模塊的內(nèi)部；兩個模塊有一部分程序代碼重疊(只可能出現(xiàn)在匯編程序中)；一個模塊有多個入口(這意味著一個模塊有幾種功能)。應該堅決避免使用內(nèi)容耦合。事實上許多高級程序設(shè)計語言已經(jīng)設(shè)計成不允許在程序中出現(xiàn)任何形式的內(nèi)容耦合?？傊?，耦合是影響軟件復雜程度的一個重要因素。應該采取下述設(shè)計原則：盡量使用數(shù)據(jù)耦合，少用控制耦合和特征耦合，限制公共環(huán)境耦合的范圍，完全不用內(nèi)容耦合。2.內(nèi)聚內(nèi)聚標志一個模塊內(nèi)各個元素彼此結(jié)合的緊密程度，它是信息隱藏和局部化概念的自然擴展。簡單地說，理想內(nèi)聚的模塊只做一件事情。設(shè)計時應該力求做到高內(nèi)聚，通常中等程度的內(nèi)聚也是可以采用的，而且效果和高內(nèi)聚相差不多；但是，低內(nèi)聚很壞，不要使用。內(nèi)聚和耦合是密切相關(guān)的，模塊內(nèi)的高內(nèi)聚往往意味著模塊間的松耦合。內(nèi)聚和耦合都是進行模塊化設(shè)計的有力工具，但是實踐表明內(nèi)聚更重要，應該把更多注意力集中到提高模塊的內(nèi)聚程度上。低內(nèi)聚有如下幾類：如果一個模塊完成一組任務，這些任務彼此間即使有關(guān)系，關(guān)系也是很松散的，就叫做偶然內(nèi)聚。有時在寫完一個程序之后，發(fā)現(xiàn)一組語句在兩處或多處出現(xiàn)，于是把這些語句作為一個模塊以節(jié)省內(nèi)存，這樣就出現(xiàn)了偶然內(nèi)聚的模塊。如果一個模塊完成的任務在邏輯上屬于相同或相似的一類，則稱為邏輯內(nèi)聚。如果一個模塊包含的任務必須在同一段時間內(nèi)執(zhí)行，就叫時間內(nèi)聚。在偶然內(nèi)聚的模塊中，各種元素之間沒有實質(zhì)性聯(lián)系，很可能在一種應用場合需要修改這個模塊，在另一種應用場合又不允許這種修改，從而陷入困境。事實上，偶然內(nèi)聚的模塊出現(xiàn)修改錯誤的概率比其他類型的模塊高得多。在邏輯內(nèi)聚的模塊中，不同功能混在一起，合用部分程序代碼，即使局部功能的修改有時也會影響全局。因此，這類模塊的修改也比較困難。時間關(guān)系在一定程度上反映了程序的某些實質(zhì)，所以時間內(nèi)聚比邏輯內(nèi)聚好一些。中內(nèi)聚主要有兩類：如果一個模塊內(nèi)的處理元素是相關(guān)的，而且必須以特定次序執(zhí)行，則稱為過程內(nèi)聚。使用程序流程圖作為工具設(shè)計軟件時，常常通過研究流程圖確定模塊的劃分，這樣得到的往往是過程內(nèi)聚的模塊。如果模塊中所有元素都使用同一個輸入數(shù)據(jù)和(或)產(chǎn)生同一個輸出數(shù)據(jù)，則稱為通信內(nèi)聚。高內(nèi)聚也有兩類：如果一個模塊內(nèi)的處理元素和同一個功能密切相關(guān)，而且這些處理必須順序執(zhí)行(通常一個處理元素的輸出數(shù)據(jù)作為下一個處理元素的輸入數(shù)據(jù))，則稱為順序內(nèi)聚。根據(jù)數(shù)據(jù)流圖劃分模塊時，通常得到順序內(nèi)聚的模塊，這種模塊彼此間的連接往往比較簡單。如果模塊內(nèi)所有處理元素屬于一個整體，完成一個單一的功能，則稱為功能內(nèi)聚。功能內(nèi)聚是最高程度的內(nèi)聚。耦合和內(nèi)聚的概念是Constantine,Yourdon,Myers和Stevens等人提出來的。按照他們的觀點，如果給上述七種內(nèi)聚的優(yōu)劣評分，將得到如下結(jié)果：功能內(nèi)聚 10分 時間內(nèi)聚 3分順序內(nèi)聚 9分 邏輯內(nèi)聚 1分通信內(nèi)聚 7分 偶然內(nèi)聚 0分過程內(nèi)聚 5分事實上，沒有必要精確確定內(nèi)聚的級別。重要的是設(shè)計時力爭做到高內(nèi)聚，并且能夠辨認出低內(nèi)聚的模塊，有能力通過修改設(shè)計提高模塊的內(nèi)聚程度降低模塊間的耦合程度，從而獲得較高的模塊獨立性。人們在開發(fā)計算機軟件的長期實踐中積累了豐富的經(jīng)驗，總結(jié)這些經(jīng)驗得出了一些啟發(fā)式規(guī)則。這些啟發(fā)式規(guī)則雖然不像上一節(jié)講述的基本原理和概念那樣普遍適用，但是在許多場合仍然能給軟件工程師以有益的啟示，往往能幫助他們找到改進軟件設(shè)計提高軟件質(zhì)量的途徑。下面介紹幾條啟發(fā)式規(guī)則。5.3啟發(fā)規(guī)則1.改進軟件結(jié)構(gòu)提高模塊獨立性設(shè)計出軟件的初步結(jié)構(gòu)以后，應該審查分析這個結(jié)構(gòu)，通過模塊分解或合并，力求降低耦合提高內(nèi)聚。例如，多個模塊公有的一個子功能可以獨立成一個模塊，由這些模塊調(diào)用；有時可以通過分解或合并模塊以減少控制信息的傳遞及對全程數(shù)據(jù)的引用，并且降低接口的復雜程度。2.模塊規(guī)模應該適中經(jīng)驗表明，一個模塊的規(guī)模不應過大，最好能寫在一頁紙內(nèi)(通常不超過60行語句)。有人從心理學角度研究得知，當一個模塊包含的語句數(shù)超過30以后，模塊的可理解程度迅速下降。過大的模塊往往是由于分解不充分，但是進一步分解必須符合問題結(jié)構(gòu)，一般說來，分解后不應該降低模塊獨立性。過小的模塊開銷大于有效操作，而且模塊數(shù)目過多將使系統(tǒng)接口復雜。因此過小的模塊有時不值得單獨存在，特別是只有一個模塊調(diào)用它時，通?？梢园阉喜⒌缴霞壞K中去而不必單獨存在。3.深度、寬度、扇出和扇入都應適當深度表示軟件結(jié)構(gòu)中控制的層數(shù)，它往往能粗略地標志一個系統(tǒng)的大小和復雜程度。深度和程序長度之間應該有粗略的對應關(guān)系，當然這個對應關(guān)系是在一定范圍內(nèi)變化的。如果層數(shù)過多則應該考慮是否有許多管理模塊過分簡單了，能否適當合并。寬度是軟件結(jié)構(gòu)內(nèi)同一個層次上的模塊總數(shù)的最大值。一般說來，寬度越大系統(tǒng)越復雜。對寬度影響最大的因素是模塊的扇出。扇出是一個模塊直接控制(調(diào)用)的模塊數(shù)目，扇出過大意味著模塊過分復雜，需要控制和協(xié)調(diào)過多的下級模塊；扇出過小(例如總是1)也不好。經(jīng)驗表明，一個設(shè)計得好的典型系統(tǒng)的平均扇出通常是3或4(扇出的上限通常是5～9)。扇出太大一般是因為缺乏中間層次，應該適當增加中間層次的控制模塊。扇出太小時可以把下級模塊進一步分解成若干個子功能模塊，或者合并到它的上級模塊中去。當然分解模塊或合并模塊必須符合問題結(jié)構(gòu)，不能違背模塊獨立原理。一個模塊的扇入表明有多少個上級模塊直接調(diào)用它，扇入越大則共享該模塊的上級模塊數(shù)目越多，這是有好處的，但是，不能違背模塊獨立原理單純追求高扇入。觀察大量軟件系統(tǒng)后發(fā)現(xiàn)，設(shè)計得很好的軟件結(jié)構(gòu)通常頂層扇出比較高，中層扇出較少，底層扇入到公共的實用模塊中去(底層模塊有高扇入)。4.模塊的作用域應該在控制域之內(nèi)模塊的作用域定義為受該模塊內(nèi)一個判定影響的所有模塊的集合。模塊的控制域是這個模塊本身以及所有直接或間接從屬于它的模塊的集合。例如，在圖5.2中模塊A的控制域是A、B、C、D、E、F等模塊的集合。在一個設(shè)計得很好的系統(tǒng)中，所有受判定影響的模塊應該都從屬于做出判定的那個模塊，最好局限于做出判定的那個模塊本身及它的直屬下級模塊。圖5.2模塊的作用域和控制域5.力爭降低模塊接口的復雜程度模塊接口復雜是軟件發(fā)生錯誤的一個主要原因。應該仔細設(shè)計模塊接口，使得信息傳遞簡單并且和模塊的功能一致。接口復雜或不一致(即看起來傳遞的數(shù)據(jù)之間沒有聯(lián)系)，是緊耦合或低內(nèi)聚的征兆，應該重新分析這個模塊的獨立性。6.設(shè)計單入口單出口的模塊這條啟發(fā)式規(guī)則警告軟件工程師不要使模塊間出現(xiàn)內(nèi)容耦合。當從頂部進入模塊并且從底部退出來時，軟件是比較容易理解的，因此也是比較容易維護的。7.模塊功能應該可以預測模塊的功能應該能夠預測，但也要防止模塊功能過分局限。如果一個模塊可以當做一個黑盒子，也就是說，只要輸入的數(shù)據(jù)相同就產(chǎn)生同樣的輸出，這個模塊的功能就是可以預測的。帶有內(nèi)部“存儲器”的模塊的功能可能是不可預測的，因為它的輸出可能取決于內(nèi)部存儲器(例如某個標記)的狀態(tài)。由于內(nèi)部存儲器對于上級模塊而言是不可見的，所以這樣的模塊既不易理解又難于測試和維護。如果一個模塊只完成一個單獨的子功能，則呈現(xiàn)高內(nèi)聚；但是，如果一個模塊任意限制局部數(shù)據(jù)結(jié)構(gòu)的大小，過分限制在控制流中可以做出的選擇或者外部接口的模式，那么這種模塊的功能就過分局限，使用范圍也就過分狹窄了。在使用過程中將不可避免地需要修改功能過分局限的模塊，以提高模塊的靈活性，擴大它的使用范圍；但是，在使用現(xiàn)場修改軟件的代價是很高的。以上列出的啟發(fā)式規(guī)則多數(shù)是經(jīng)驗規(guī)律，對改進設(shè)計，提高軟件質(zhì)量，往往有重要的參考價值；但是，它們既不是設(shè)計的目標也不是設(shè)計時應該普遍遵循的原理。層次圖用來描繪軟件的層次結(jié)構(gòu)。在圖5.2中已經(jīng)非正式地使用了層次圖。雖然層次圖的形式和第3.7節(jié)中介紹的描繪數(shù)據(jù)結(jié)構(gòu)的層次方框圖相同，但是表現(xiàn)的內(nèi)容卻完全不同。層次圖中的一個矩形框代表一個模塊，方框間的連線表示調(diào)用關(guān)系而不像層次方框圖那樣表示組成關(guān)系。圖5.3是層次圖的一個例子。5.4描繪軟件結(jié)構(gòu)的圖形工具

5.4.1層次圖和HIPO圖圖5.3正文加工系統(tǒng)的層次圖層次圖很適于在自頂向下設(shè)計軟件的過程中使用。HIPO圖是美國IBM公司發(fā)明的“層次圖加輸入/處理/輸出圖”的英文縮寫。為了能使HIPO圖具有可追蹤性，在H圖(層次圖)里除了最頂層的方框之外，每個方框都加了編號。編號規(guī)則和第2.4節(jié)中介紹的數(shù)據(jù)流圖的編號規(guī)則相同，例如，圖5.3加了編號后得到圖5.4。和H圖中每個方框相對應，應該有一張IPO圖描繪這個方框代表的模塊的處理過程。HIPO圖中的每張IPO圖內(nèi)都應該明顯地標出它所描繪的模塊在H圖中的編號，以便追蹤了解這個模塊在軟件結(jié)構(gòu)中的位置。圖5.4帶編號的層次圖(H圖)Yourdon提出的結(jié)構(gòu)圖是進行軟件結(jié)構(gòu)設(shè)計的另一個有力工具。結(jié)構(gòu)圖和層次圖類似，也是描繪軟件結(jié)構(gòu)的圖形工具，圖中一個方框代表一個模塊，框內(nèi)注明模塊的名字或主要功能；方框之間的箭頭(或直線)表示模塊的調(diào)用關(guān)系。因為按照慣例總是圖中位于上方的方框代表的模塊調(diào)用下方的模塊，即使不用箭頭也不會產(chǎn)生二義性，為了簡單起見，可以只用直線而不用箭頭表示模塊間的調(diào)用關(guān)系。5.4.2結(jié)構(gòu)圖在結(jié)構(gòu)圖中通常還用帶注釋的箭頭表示模塊調(diào)用過程中來回傳遞的信息。如果希望進一步標明傳遞的信息是數(shù)據(jù)還是控制信息，則可以利用注釋箭頭尾部的形狀來區(qū)分：尾部是空心圓表示傳遞的是數(shù)據(jù)，實心圓表示傳遞的是控制信息。圖5.5是結(jié)構(gòu)圖的一個例子。以上介紹的是結(jié)構(gòu)圖的基本符號，也就是最經(jīng)常使用的符號。此外還有一些附加的符號，可以表示模塊的選擇調(diào)用或循環(huán)調(diào)用。圖5.6表示當模塊M中某個判定為真時調(diào)用模塊A，為假時調(diào)用模塊B。圖5.7表示模塊M循環(huán)調(diào)用模塊A、B和C。圖5.5結(jié)構(gòu)圖的例子——產(chǎn)生最佳解的一般結(jié)構(gòu)圖5.6判定為真時調(diào)用A，為假時調(diào)用B圖5.7模塊M循環(huán)調(diào)用模塊A、B、C注意，層次圖和結(jié)構(gòu)圖并不嚴格表示模塊的調(diào)用次序。雖然多數(shù)人習慣于按調(diào)用次序從左到右畫模塊，但并沒有這種規(guī)定，出于其他方面的考慮(例如為了減少交叉線)，也完全可以不按這種次序畫。此外，層次圖和結(jié)構(gòu)圖并不指明什么時候調(diào)用下層模塊。通常上層模塊中除了調(diào)用下層模塊的語句之外還有其他語句，究竟是先執(zhí)行調(diào)用下層模塊的語句還是先執(zhí)行其他語句，在圖中絲毫沒有指明。事實上，層次圖和結(jié)構(gòu)圖只表明一個模塊調(diào)用那些模塊，至于模塊內(nèi)還有沒有其他成分則完全沒有表示。通常用層次圖作為描繪軟件結(jié)構(gòu)的文檔。結(jié)構(gòu)圖作為文檔并不很合適，因為圖上包含的信息太多有時反而降低了清晰程度。但是，利用IPO圖或數(shù)據(jù)字典中的信息得到模塊調(diào)用時傳遞的信息，從而由層次圖導出結(jié)構(gòu)圖的過程，卻可以作為檢查設(shè)計正確性和評價模塊獨立性的好方法。傳送的每個數(shù)據(jù)元素都是完成模塊功能所必須的嗎?反之，完成模塊功能必須的每個數(shù)據(jù)元素都傳送來了嗎?所有數(shù)據(jù)元素都只和單一的功能有關(guān)嗎?如果發(fā)現(xiàn)結(jié)構(gòu)圖上模塊間的聯(lián)系不容易解釋，則應該考慮是否設(shè)計上有問題。面向數(shù)據(jù)流的設(shè)計方法的目標是給出設(shè)計軟件結(jié)構(gòu)的一個系統(tǒng)化的途徑。在軟件工程的需求分析階段，信息流是一個關(guān)鍵考慮，通常用數(shù)據(jù)流圖描繪信息在系統(tǒng)中加工和流動的情況。面向數(shù)據(jù)流的設(shè)計方法定義了一些不同的“映射”，利用這些映射可以把數(shù)據(jù)流圖變換成軟件結(jié)構(gòu)。因為任何軟件系統(tǒng)都可以用數(shù)據(jù)流圖表示，所以面向數(shù)據(jù)流的設(shè)計方法理論上可以設(shè)計任何軟件的結(jié)構(gòu)。通常所說的結(jié)構(gòu)化設(shè)計方法(簡稱SD方法)，也就是基于數(shù)據(jù)流的設(shè)計方法。5.5面向數(shù)據(jù)流的設(shè)計方法面向數(shù)據(jù)流的設(shè)計方法把信息流映射成軟件結(jié)構(gòu)，信息流的類型決定了映射的方法。信息流有下述兩種類型。1.變換流參看圖5.8，信息沿輸入通路進入系統(tǒng)，同時由外部形式變換成內(nèi)部形式，進入系統(tǒng)的信息通過變換中心，經(jīng)加工處理以后再沿輸出通路變換成外部形式離開軟件系統(tǒng)。當數(shù)據(jù)流圖具有這些特征時，這種信息流就叫作變換流。5.5.1概念圖5.8變換流圖5.9事務流2.事務流基本系統(tǒng)模型意味著變換流，因此，原則上所有信息流都可以歸結(jié)為這一類。但是，當數(shù)據(jù)流圖具有和圖5.9類似的形狀時，這種數(shù)據(jù)流是“以事務為中心的”，也就是說，數(shù)據(jù)沿輸入通路到達一個處理T，這個處理根據(jù)輸入數(shù)據(jù)的類型在若干個動作序列中選出一個來執(zhí)行。這類數(shù)據(jù)流應該劃為一類特殊的數(shù)據(jù)流，稱為事務流。圖5.9中的處理T稱為事務中心，它完成下述任務：(1)接收輸入數(shù)據(jù)(輸入數(shù)據(jù)又稱為事務)；(2)分析每個事務以確定它的類型；(3)根據(jù)事務類型選取一條活動通路。3.設(shè)計過程圖5.10（見書96頁）說明了使用面向數(shù)據(jù)流方法逐步設(shè)計的過程。應該注意，任何設(shè)計過程都不是機械地一成不變的，設(shè)計首先需要人的判斷力和創(chuàng)造精神，這往往會凌駕于方法的規(guī)則之上。變換分析是一系列設(shè)計步驟的總稱，經(jīng)過這些步驟把具有變換流特點的數(shù)據(jù)流圖按預先確定的模式映射成軟件結(jié)構(gòu)。下面通過一個例子說明變換分析的方法。1.例子我們已經(jīng)開始進入“智能”產(chǎn)品時代。在這類產(chǎn)品中把軟件做在只讀存儲器中，成為設(shè)備的一部分，從而使設(shè)備具有某些“智能”。因此，這類產(chǎn)品的設(shè)計都包含軟件開發(fā)的任務。作為面向數(shù)據(jù)流的設(shè)計方法中變換分析的例子，考慮汽車數(shù)字儀表板的設(shè)計。5.5.2變換分析假設(shè)的儀表板將完成下述功能：(1)通過模數(shù)轉(zhuǎn)換實現(xiàn)傳感器和微處理機接口；(2)在發(fā)光二極管面板上顯示數(shù)據(jù)；(3)指示每小時英里數(shù)(mph)，行駛的里程，每加侖油行駛的英里數(shù)(mpg)等等；(4)指示加速或減速；(5)超速警告：如果車速超過55英里/小時，則發(fā)出超速警告鈴聲。在軟件需求分析階段應該對上述每條要求以及系統(tǒng)的其他特點進行全面的分析評價，建立起必要的文檔資料，特別是數(shù)據(jù)流圖。2.設(shè)計步驟第1步復查基本系統(tǒng)模型。復查的目的是確保系統(tǒng)的輸入數(shù)據(jù)和輸出數(shù)據(jù)符合實際。第2步復查并精化數(shù)據(jù)流圖。應該對需求分析階段得出的數(shù)據(jù)流圖認真復查，并且在必要時進行精化。不僅要確保數(shù)據(jù)流圖給出了目標系統(tǒng)的正確的邏輯模型，而且應該使數(shù)據(jù)流圖中每個處理都代表一個規(guī)模適中相對獨立的子功能。假設(shè)在需求分析階段產(chǎn)生的數(shù)字儀表板系統(tǒng)的數(shù)據(jù)流圖如圖5.11（見書97頁）所示。這個數(shù)據(jù)流圖對于軟件結(jié)構(gòu)設(shè)計的“第一次分割”而言已經(jīng)足夠詳細了，因此不需要精化就可以進行下一個設(shè)計步驟。第3步確定數(shù)據(jù)流圖具有變換特性還是事務特性。一般地說，一個系統(tǒng)中的所有信息流都可以認為是變換流，但是，當遇到有明顯事務特性的信息流時，建議采用事務分析方法進行設(shè)計。在這一步，設(shè)計人員應該根據(jù)數(shù)據(jù)流圖中占優(yōu)勢的屬性，確定數(shù)據(jù)流的全局特性。此外還應該把具有和全局特性不同的特點的局部區(qū)域孤立出來，以后可以按照這些子數(shù)據(jù)流的特點精化根據(jù)全局特性得出的軟件結(jié)構(gòu)。從圖5.11看出，數(shù)據(jù)沿著兩條輸入通路進入系統(tǒng)，然后沿著5條通路離開，沒有明顯的事務中心。因此可以認為這個信息流具有變換流的總特征。第4步確定輸入流和輸出流的邊界，從而孤立出變換中心。輸入流和輸出流的邊界和對它們的解釋有關(guān)，也就是說，不同設(shè)計人員可能會在流內(nèi)選取稍微不同的點作為邊界的位置。當然在確定邊界時應該仔細認真，但是把邊界沿著數(shù)據(jù)流通路移動一個處理框的距離，通常對最后的軟件結(jié)構(gòu)只有很小的影響。對于汽車數(shù)字儀表板的例子，設(shè)計人員確定的流的邊界如圖5.12（見書98頁）所示。第5步完成“第一級分解”。軟件結(jié)構(gòu)代表對控制的自頂向下的分配，所謂分解就是分配控制的過程。對于變換流的情況，數(shù)據(jù)流圖被映射成一個特殊的軟件結(jié)構(gòu)，這個結(jié)構(gòu)控制輸入、變換和輸出等信息處理過程。圖5.13說明了第一級分解的方法。位于軟件結(jié)構(gòu)最頂層的控制模塊Cm協(xié)調(diào)下述從屬的控制功能：輸入信息處理控制模塊Ca,協(xié)調(diào)對所有輸入數(shù)據(jù)的接收；變換中心控制模塊Ct,管理對內(nèi)部形式的數(shù)據(jù)的所有操作；輸出信息處理控制模塊Ce，協(xié)調(diào)輸出信息的產(chǎn)生過程。雖然圖5.13意味著一個三叉的控制結(jié)構(gòu)，但是，對一個大型系統(tǒng)中的復雜數(shù)據(jù)流可以用兩個或多個模塊完成上述一個模塊的控制功能。應該在能夠完成控制功能并且保持好的耦合和內(nèi)聚特性的前提下，盡量使第一級控制中的模塊數(shù)目取最小值。對于數(shù)字儀表板的例子，第一級分解得出的結(jié)構(gòu)如圖5.14所示。每個控制模塊的名字表明了為它所控制的那些模塊的功能。圖5.13第一級分解的方法圖5.14數(shù)字儀表板系統(tǒng)的第一級分解第6步完成“第二級分解”。所謂第二級分解就是把數(shù)據(jù)流圖中的每個處理映射成軟件結(jié)構(gòu)中一個適當?shù)哪K。完成第二級分解的方法是，從變換中心的邊界開始沿著輸入通路向外移動，把輸入通路中每個處理映射成軟件結(jié)構(gòu)中Ca控制下的一個低層模塊；然后沿輸出通路向外移動，把輸出通路中每個處理映射成直接或間接受模塊Ce控制的一個低層模塊；最后把變換中心內(nèi)的每個處理映射成受Ct控制的一個模塊。圖5.15表示進行第二級分解的普遍途徑。圖5.15第二級分解的方法雖然圖5.15描繪了在數(shù)據(jù)流圖中的處理和軟件結(jié)構(gòu)中的模塊之間的一對一的映射關(guān)系，但是，不同的映射經(jīng)常出現(xiàn)。應該根據(jù)實際情況以及“好”設(shè)計的標準，進行實際的第二級分解。對于數(shù)字儀表板系統(tǒng)的例子，第二級分解的結(jié)果分別用圖5.16，5.17和5.18描繪。這3張圖表示對軟件結(jié)構(gòu)的初步設(shè)計結(jié)果。雖然圖中每個模塊的名字表明了它的基本功能，但是仍然應該為每個模塊寫一個簡要說明，描述：進出該模塊的信息(接口描述)；模塊內(nèi)部的信息；過程陳述，包括主要判定點及任務等；對約束和特殊特點的簡短討論。這些描述是第一代的設(shè)計規(guī)格說明，在這個設(shè)計時期進一步的精化和補充是經(jīng)常發(fā)生的。第7步使用設(shè)計度量和啟發(fā)式規(guī)則對第一次分割得到的軟件結(jié)構(gòu)進一步精化。圖5.16未經(jīng)精化的輸入結(jié)構(gòu)圖5.17未經(jīng)精化的變換結(jié)構(gòu)圖5.18未經(jīng)精化的輸出結(jié)構(gòu)對第一次分割得到的軟件結(jié)構(gòu)，總可以根據(jù)模塊獨立原理進行精化。為了產(chǎn)生合理的分解，得到盡可能高的內(nèi)聚、盡可能松散的耦合，最重要的是，為了得到一個易于實現(xiàn)、易于測試和易于維護的軟件結(jié)構(gòu)，應該對初步分割得到的模塊進行再分解或合并。具體到數(shù)字儀表板的例子，對于從前面的設(shè)計步驟得到的軟件結(jié)構(gòu)，還可以做許多修改。下面是某些可能的修改：輸入結(jié)構(gòu)中的模塊“轉(zhuǎn)換成rpm”和“收集sps”可以合并；模塊“確定加速/減速”可以放在模塊“計算mph”下面，以減少耦合；模塊“加速/減速顯示”可以相應地放在模塊“顯示mph”的下面。經(jīng)過上述修改后的軟件結(jié)構(gòu)畫在圖5.19中。上述7個設(shè)計步驟的目的是，開發(fā)出軟件的整體表示。也就是說，一旦確定了軟件結(jié)構(gòu)就可以把它作為一個整體來復查，從而能夠評價和精化軟件結(jié)構(gòu)。在這個時期進行修改只需要很少的附加工作，但是卻能夠?qū)浖馁|(zhì)量特別是軟件的可維護性產(chǎn)生深遠的影響。圖5.19精化后的數(shù)字儀表板系統(tǒng)的軟件結(jié)構(gòu)雖然在任何情況下都可以使用變換分析方法設(shè)計軟件結(jié)構(gòu)，但是在數(shù)據(jù)流具有明顯的事務特點時，也就是有一個明顯的“發(fā)射中心”(事務中心)時，還是以采用事務分析方法為宜。事務分析的設(shè)計步驟和變換分析的設(shè)計步驟大部分相同或類似，主要差別僅在于由數(shù)據(jù)流圖到軟件結(jié)構(gòu)的映射方法不同。5.5.3事務分析由事務流映射成的軟件結(jié)構(gòu)包括一個接收分支和一個發(fā)送分支。映射出接收分支結(jié)構(gòu)的方法和變換分析映射出輸入結(jié)構(gòu)的方法很相像，即從事務中心的邊界開始，把沿著接收流通路的處理映射成模塊。發(fā)送分支的結(jié)構(gòu)包含一個調(diào)度模塊，它控制下層的所有活動模塊；然后把數(shù)據(jù)流圖中的每個活動流通路映射成與它的流特征相對應的結(jié)構(gòu)。圖5.20說明了上述映射過程。對于一個大系統(tǒng)，常常把變換分析和事務分析應用到同一個數(shù)據(jù)流圖的不同部分，由此得到的子結(jié)構(gòu)形成“構(gòu)件”，可以利用它們構(gòu)造完整的軟件結(jié)構(gòu)。圖5.20事務分析的映射方法一般說來，如果數(shù)據(jù)流不具有顯著的事務特點，最好使用變換分析；反之，如果具有明顯的事務中心，則應該采用事務分析技術(shù)。但是，機械地遵循變換分析或事務分析的映射規(guī)則，很可能會得到一些不必要的控制模塊，如果它們確實用處不大，那么可以而且應該把它們合并。反之，如果一個控制模塊功能過分復雜，則應該分解為兩個或多個控制模塊，或者增加中間層次的控制模塊?？紤]設(shè)計優(yōu)化問題時應該記住，“一個不能工作的‘最佳設(shè)計’的價值是值得懷疑的”。軟件設(shè)計人員應該致力于開發(fā)能夠滿足所有功能和性能要求，而且按照設(shè)計原理和啟發(fā)式設(shè)計規(guī)則衡量是值得接收的軟件。應該在設(shè)計的早期階段盡量對軟件結(jié)構(gòu)進行精化?？梢詫С霾煌能浖Y(jié)構(gòu)，然后對它們進行評價和比較，力求得到“最好”的結(jié)果。這種優(yōu)化的可能，是把軟件結(jié)構(gòu)設(shè)計和過程設(shè)計分開的真正優(yōu)點之一。5.5.4設(shè)計優(yōu)化注意，結(jié)構(gòu)簡單通常既表示設(shè)計風格優(yōu)雅，又表明效率高。設(shè)計優(yōu)化應該力求做到在有效的模塊化的前提下使用最少量的模塊，以及在能夠滿足信息要求的前提下使用最簡單的數(shù)據(jù)結(jié)構(gòu)。對于時間是決定性因素的應用場合，可能有必要在詳細設(shè)計階段，也可能在編寫程序的過程中進行優(yōu)化。軟件開發(fā)人員應該認識到，程序中相對說比較小的部分(典型地，10%～20%)，通常占用全部處理時間的大部分(50%～80%)。用下述方法對時間起決定性作用的軟件進行優(yōu)化是合理的：(1)在不考慮時間因素的前提下開發(fā)并精化軟件結(jié)構(gòu)；(2)在詳細設(shè)計階段選出最耗費時間的那些模塊，仔細地設(shè)計它們的處理過程(算法)，以求提高效率；(3)使用高級程序設(shè)計語言編寫程序；(4)在軟件中孤立出那些大量占用處理機資源的模塊；(5)必要時重新設(shè)計或用依賴于機器的語言重寫上述大量占用資源的模塊的代碼，以求提高效率。上述優(yōu)化方法遵守了一句格言：“先使它能工作，然后再使它快起來?！笨傮w設(shè)計階段的基本目的是用比較抽象概括的方式確定系統(tǒng)如何完成預定的任務，也就是說，應該確定系統(tǒng)的物理配置方案，并且進而確定組成系統(tǒng)的每個程序的結(jié)構(gòu)。因此，總體設(shè)計階段主要由兩個小階段組成。首先需要進行系統(tǒng)設(shè)計