軟件工程第6章

第6章詳細(xì)設(shè)計6.1結(jié)構(gòu)程序設(shè)計6.2人機(jī)界面設(shè)計6.3過程設(shè)計的工具6.4面向數(shù)據(jù)結(jié)構(gòu)的設(shè)計方法6.5程序復(fù)雜程度的定量度量6.6小結(jié)習(xí)題

詳細(xì)設(shè)計階段的根本目標(biāo)是得出對目標(biāo)系統(tǒng)的精確描述，從而在編碼階段可以把這個描述直接翻譯成用某種程序設(shè)計語言書寫的程序。詳細(xì)設(shè)計階段的任務(wù)還不是具體地編寫程序，而是要設(shè)計出程序的“藍(lán)圖”，以后程序員將根據(jù)這個藍(lán)圖寫出實際的程序代碼。詳細(xì)設(shè)計的結(jié)果基本上決定了最終的程序代碼的質(zhì)量?？紤]程序代碼的質(zhì)量時必須注意，程序的“讀者”有兩個，那就是計算機(jī)和人。在軟件的生命周期中，設(shè)計測試方案、診斷程序錯誤、修改和改進(jìn)程序等等都必須首先讀懂程序。實際上對于長期使用的軟件系統(tǒng)而言，人讀程序的時間可能比寫程序的時間還要長得多。結(jié)構(gòu)程序設(shè)計的概念最早由E.W.Dijkstra提出。1965年他指出：“可以從高級語言中取消GOTO語句”，“程序的質(zhì)量與程序中所包含的GOTO語句的數(shù)量成反比”。

只用3種基本的控制結(jié)構(gòu)就能實現(xiàn)任何單入口單出口的程序。這3種基本的控制結(jié)構(gòu)是“順序”、“選擇”和“循環(huán)”。6.1結(jié)構(gòu)程序設(shè)計6.13種基本的控制結(jié)構(gòu)(“順序”、“選擇”和“循環(huán)”)

實際上用順序結(jié)構(gòu)和循環(huán)結(jié)構(gòu)(又稱DO-WHILE結(jié)構(gòu))完全可以實現(xiàn)選擇結(jié)構(gòu)(又稱IF-THEN-ELSE結(jié)構(gòu))，因此，理論上最基本的控制結(jié)構(gòu)只有兩種。

結(jié)構(gòu)程序設(shè)計的經(jīng)典定義如下所述：“如果一個程序的代碼塊僅僅通過順序、選擇和循環(huán)這3種基本控制結(jié)構(gòu)進(jìn)行連接，并且每個代碼塊只有一個入口和一個出口，則稱這個程序是結(jié)構(gòu)化的?！彪m然從理論上說只用上述3種基本控制結(jié)構(gòu)就可以實現(xiàn)任何單入口單出口的程序，但是為了實際使用方便起見，常常還允許使用DO-UNTIL和DO-CASE兩種控制結(jié)構(gòu)，它們的流程圖分別是圖6.2(a)和圖6.2(b)。圖6.2其他常用的控制結(jié)構(gòu)(DO-UNTIL和DO-CASE)人機(jī)界面設(shè)計是接口設(shè)計的一個重要的組成部分。近年來，人機(jī)界面在系統(tǒng)中所占的比例越來越大，在個別系統(tǒng)中人機(jī)界面的設(shè)計工作量甚至占總設(shè)計量的一半以上。人機(jī)界面的設(shè)計質(zhì)量，直接影響用戶對軟件產(chǎn)品的評價，從而影響軟件產(chǎn)品的競爭力和壽命。6.2人機(jī)界面設(shè)計在設(shè)計人機(jī)界面的過程中，幾乎總會遇到下述4個問題：系統(tǒng)響應(yīng)時間、用戶幫助設(shè)施、出錯信息處理、命令交互。最好在設(shè)計初期就把這些問題作為重要的設(shè)計問題來考慮，這時修改比較容易，代價也低。6.2.1設(shè)計問題1.系統(tǒng)響應(yīng)時間系統(tǒng)響應(yīng)時間是許多交互式系統(tǒng)用戶經(jīng)常抱怨的問題。系統(tǒng)響應(yīng)時間指從用戶完成某個控制動作(例如，按回車鍵或點擊鼠標(biāo))，到軟件給出預(yù)期的響應(yīng)(輸出信息或做動作)之間的這段時間。

系統(tǒng)響應(yīng)時間有兩個重要屬性，分別是長度和易變性。長度:如果系統(tǒng)響應(yīng)時間過長，用戶就會感到緊張和沮喪。易變性:指系統(tǒng)響應(yīng)時間相對于平均響應(yīng)時間的偏差。例如，穩(wěn)定在1秒的響應(yīng)時間比從0.1秒到2.5秒變化的響應(yīng)時間要好。用戶往往比較敏感，他們總是擔(dān)心響應(yīng)時間變化暗示系統(tǒng)工作出現(xiàn)了異常。2.用戶幫助設(shè)施

現(xiàn)代軟件都提供聯(lián)機(jī)幫助設(shè)施，這使得用戶無須離開用戶界面就能解決自己的問題。幫助設(shè)施可分為集成的和附加的兩類:集成的幫助設(shè)施從一開始就設(shè)計在軟件里面，這可以縮短用戶獲得幫助的時間，增加界面的友好性。附加的幫助設(shè)施是在系統(tǒng)建成后再添加到軟件中的，實際上是一種查詢能力有限的聯(lián)機(jī)用戶手冊。3.出錯信息處理出錯信息和警告信息，是出現(xiàn)問題時系統(tǒng)給出的“壞消息”。當(dāng)確實出現(xiàn)了問題的時候，有效的出錯信息能提高交互式系統(tǒng)的質(zhì)量。出錯信息設(shè)計得不好，將向用戶提供無用的甚至誤導(dǎo)的信息，反而會加重用戶的挫折感。出錯信息或警告信息，應(yīng)該具有下述屬性:(1)應(yīng)該用用戶可以理解的術(shù)語描述問題。(2)應(yīng)該提供有助于從錯誤中恢復(fù)的建設(shè)性意見。(3)應(yīng)該指出錯誤可能導(dǎo)致哪些負(fù)面后果(例如，破壞數(shù)據(jù)文件)，以便用戶檢查是否出現(xiàn)了這些問題。(4)應(yīng)該伴隨著聽覺上或視覺上的提示，例如,同時發(fā)出警告鈴聲，用閃爍方式顯示。(5)信息不能帶有指責(zé)用戶色彩。4.命令交互現(xiàn)在，面向窗口的、點擊的界面已經(jīng)減少了用戶對命令行的依賴，但是，許多高級用戶仍然偏愛面向命令行的交互方式。在提供命令交互方式時，必須考慮下列問題:(1)是否每個菜單選項都有對應(yīng)的命令?

(2)采用何種命令形式?有3種選擇：控制序列(例如，Ctrl+P)，功能鍵,鍵入命令。(3)學(xué)習(xí)和記憶命令的難度有多大?忘記了命令怎么辦?(4)用戶是否可以定制或縮寫命令?用戶界面設(shè)計是一個迭代的過程，通常先創(chuàng)建設(shè)計模型，再用原型實現(xiàn)這個設(shè)計模型，并由用戶試用和評估，然后根據(jù)用戶意見進(jìn)行修改。各種用于界面設(shè)計和原型開發(fā)的軟件工具應(yīng)運而生。這些工具被稱為用戶界面工具箱或用戶界面開發(fā)系統(tǒng).它們?yōu)楹喕换キh(huán)境的元素的創(chuàng)建，提供了各種例程或?qū)ο蟆?.2.2設(shè)計過程一旦建立起用戶界面的原型，就必須對它進(jìn)行評估，以確定其是否滿足用戶的需求。（1）評估可以是非正式的，例如，用戶即興發(fā)表一些反饋意見；（2）評估也可以十分正式，例如，運用統(tǒng)計學(xué)方法評價全體終端用戶填寫的調(diào)查表。用戶界面的評估周期如下所述：（1）完成初步設(shè)計之后就創(chuàng)建第一級原型；（2）用戶試用并評估該原型，直接向設(shè)計者表述對界面的評價；（3）設(shè)計者根據(jù)用戶意見修改設(shè)計并實現(xiàn)下一級原型。（4）上述評估過程持續(xù)進(jìn)行下去，直到用戶感到滿意，不需要再修改界面設(shè)計時為止。

在創(chuàng)建了用戶界面的設(shè)計模型之后，可以運用下述評估標(biāo)準(zhǔn)對設(shè)計進(jìn)行早期復(fù)審。(1)系統(tǒng)及其界面的規(guī)格說明書的長度和復(fù)雜程度，預(yù)示了用戶學(xué)習(xí)使用該系統(tǒng)所需要的工作量。(2)命令或動作的數(shù)量、命令的平均參數(shù)個數(shù)或動作中單個操作的個數(shù)，預(yù)示了系統(tǒng)的交互時間和總體效率。(3)設(shè)計模型中包含的動作、命令和系統(tǒng)狀態(tài)的數(shù)量，預(yù)示了用戶學(xué)習(xí)使用該系統(tǒng)時需要記憶的內(nèi)容的多少。(4)界面風(fēng)格、幫助設(shè)施和出錯處理協(xié)議，預(yù)示了界面的復(fù)雜程度及用戶接受該界面的程度?？偨Y(jié)眾多設(shè)計者的經(jīng)驗得出的設(shè)計指南，有助于設(shè)計者設(shè)計出友好、高效的人機(jī)界面。1.一般交互指南

(1)保持一致性。菜單選擇、命令輸入、數(shù)據(jù)顯示使用一致的格式。(2)提供有意義的反饋。

6.2.3人機(jī)界面設(shè)計指南(3)在執(zhí)行有較大破壞性的動作之前要求用戶確認(rèn)。如果用戶要刪除一個文件，應(yīng)該給出“您是否確實要……”的信息，以請求用戶確認(rèn)他的命令。(4)允許取消絕大多數(shù)操作。每個交互式系統(tǒng)都應(yīng)該能方便地取消已完成的操作。(5)減少在兩次操作之間必須記憶的信息量。不應(yīng)該期望用戶能記住在下一步操作中需使用的一大串?dāng)?shù)字或標(biāo)識符。(6)提高對話、移動和思考的效率。應(yīng)該盡量減少用戶擊鍵的次數(shù)，設(shè)計屏幕布局時應(yīng)該考慮盡量減少鼠標(biāo)移動的距離。(7)允許犯錯誤。系統(tǒng)應(yīng)該能保護(hù)自己不受嚴(yán)重錯誤的破壞。(8)按功能對動作分類，并據(jù)此設(shè)計屏幕布局。下拉菜單的主要優(yōu)點就是能按動作類型組織命令。(9)提供對用戶工作內(nèi)容敏感的幫助設(shè)施

(屏幕幫助HELP)。(10)用簡單動詞或動詞短語作為命令名。過長的命令名難于識別和記憶，也會占用過多的菜單空間。2.信息顯示指南可以用多種不同方式“顯示”信息：如用文字、圖形和聲音；(1)只顯示與當(dāng)前工作內(nèi)容有關(guān)的信息。(2)不要用數(shù)據(jù)淹沒用戶。例如，可以用圖形或圖表來取代龐大的表格。

(3)使用一致的標(biāo)記、標(biāo)準(zhǔn)縮寫和可預(yù)知的顏色。顯示的含義應(yīng)該非常明確，用戶能理解。(4)允許用戶保持可視化的語境。(5)產(chǎn)生有意義的出錯信息(屏幕幫助HELP)。(6)使用大小寫、縮進(jìn)和文本分組以幫助理解。(7)使用窗口分隔不同類型的信息。(8)使用“模擬”顯示，使信息更容易被用戶提取。例如，顯示煉油廠儲油罐的壓力時，如果用類似溫度計的形式來表示壓力，用垂直移動和顏色變化來指示危險的壓力狀況，就容易引起用戶的警覺，。(9)高效率地使用顯示屏。當(dāng)使用多窗口時，應(yīng)該有足夠的空間使得每個窗口至少都能顯示出一部分。3.數(shù)據(jù)輸入指南用戶的大部分時間用在選擇命令、鍵入數(shù)據(jù)和向系統(tǒng)提供輸入。盡量減少用戶的輸入動作。最重要的是減少擊鍵次數(shù)，例如，用鼠標(biāo)從預(yù)定義的一組輸入中選一個；(2)保持信息顯示和數(shù)據(jù)輸入之間的一致性。(3)允許用戶自定義輸入。專家級的用戶可能希望定義自己專用的命令，人機(jī)界面應(yīng)該為用戶提供這樣做的機(jī)制。(4)交互應(yīng)該可調(diào)整成用戶最喜歡的輸入方式。例如，秘書可能非常喜歡鍵盤輸入，而經(jīng)理可能更喜歡使用鼠標(biāo)。(5)使在當(dāng)前動作語境中不適用的命令不起作用。這可使得用戶不去做那些肯定會導(dǎo)致錯誤的動作。(6)讓用戶控制交互流。用戶應(yīng)該能夠跳過不必要的動作。(7)對所有輸入動作都提供幫助(Help)。(8)消除冗余的輸入。絕對不要要求用戶提供程序可以自動獲得或計算出來的信息。程序流程圖又稱為程序框圖，它是歷史最悠久、使用最廣泛的描述過程設(shè)計的方法，然而它也是用得最混亂的一種方法。它的主要優(yōu)點是對控制流程的描繪很直觀，便于初學(xué)者掌握。6.3過程設(shè)計的工具

6.3.1程序流程圖圖6.3程序流程圖中使用的符號（P125）程序流程圖的主要缺點如下：(1)程序流程圖本質(zhì)上不是逐步求精的好工具，它誘使程序員過早地考慮程序的控制流程，而不去考慮程序的全局結(jié)構(gòu)。(2)程序流程圖中用箭頭代表控制流，因此程序員不受任何約束，可以完全不顧結(jié)構(gòu)程序設(shè)計的精神，隨意轉(zhuǎn)移控制。(3)程序流程圖不易表示數(shù)據(jù)結(jié)構(gòu)?？偟内厔菔窃絹碓蕉嗟娜瞬辉偈褂贸绦蛄鞒虉D了。出于要有一種不允許違背結(jié)構(gòu)程序設(shè)計精神的圖形工具的考慮，提出了盒圖，又稱為N-S圖。它有下述特點：(1)功能域明確，可以從盒圖上一眼就看出來。(2)不可能任意轉(zhuǎn)移控制。(3)很容易確定局部和全程數(shù)據(jù)的作用域。(4)很容易表現(xiàn)嵌套關(guān)系，也可以表示模塊的層次結(jié)構(gòu)。6.3.2盒圖(N-S圖)圖6.4盒圖的基本符號（P125）盒圖沒有箭頭，因此不允許隨意轉(zhuǎn)移控制。堅持使用盒圖作為詳細(xì)設(shè)計的工具，可以使程序員逐步養(yǎng)成用結(jié)構(gòu)化的方式思考問題和解決問題的習(xí)慣。

PAD是問題分析圖(problemanalysisdiagram)的英文縮寫，1973年由日本日立公司發(fā)明。它用二維樹形結(jié)構(gòu)的圖來表示程序的控制流，將這種圖翻譯成程序代碼比較容易。圖6.5給出PAD圖的基本符號。6.3.3PAD圖圖6.5PAD圖的基本符號順序循環(huán)選擇CASE循環(huán)語句標(biāo)號定義PAD圖的主要優(yōu)點如下：(1)設(shè)計出來的程序必然是結(jié)構(gòu)化程序。(2)PAD圖所描繪的程序結(jié)構(gòu)十分清晰。圖中最左面的豎線是程序的主線，PAD圖逐漸向右延伸，每增加一個層次，向右擴(kuò)展一條豎線。PAD圖中豎線的總條數(shù)就是程序的層次數(shù)。(3)PAD圖是二維樹形結(jié)構(gòu)的圖形，程序從圖中最左豎線上端的結(jié)點開始執(zhí)行，自上而下，從左向右順序執(zhí)行，遍歷所有結(jié)點。(4)容易將PAD圖轉(zhuǎn)換成高級語言源程序，可用軟件工具自動完成，可省去人工編碼的工作，有利于提高軟件可靠性和軟件生產(chǎn)率。(5)可用于表示程序邏輯，也可用于描繪數(shù)據(jù)結(jié)構(gòu)。(6)PAD圖的符號支持自頂向下、逐步求精方法的使用。開始時定義一個抽象的程序，隨著設(shè)計工作的深入而使用def符號逐步增加細(xì)節(jié)，直至完成詳細(xì)設(shè)計，如圖6.6所示。圖6.6使用PAD圖提供的定義功能來逐步求精的例子

當(dāng)算法中包含多重嵌套的條件選擇時，用程序流程圖、盒圖、PAD圖都不易清楚地描述。然而判定表卻能夠清晰地表示復(fù)雜的條件組合與應(yīng)做的動作之間的對應(yīng)關(guān)系。6.3.4判定表

一張判定表由4部分組成，左上部列出所有條件，左下部是所有可能做的動作，右上部是表示各種條件組合的一個矩陣，右下部是和每種條件組合相對應(yīng)的動作。判定表右半部的每一列實質(zhì)上是一條規(guī)則，規(guī)定了與特定的條件組合相對應(yīng)的動作。以行李托運費的算法為例說明判定表的組織方法。假設(shè)某航空公司規(guī)定，乘客可以免費托運重量不超過30kg的行李。當(dāng)行李重量超過30kg時:對頭等艙的國內(nèi)乘客超重部分每公斤收費4元，對其他艙的國內(nèi)乘客超重部分每公斤收費6元，外國乘客超重部分每公斤收費比國內(nèi)乘客多一倍，對殘疾乘客超重部分每公斤收費比正常乘客少一半。計算行李費的算法，如表6.1（見書118頁）所示。從上面這個例子可以看出，判定表能夠簡潔而又無歧義地描述處理規(guī)則。但是，判定表并不適于作為一種通用的設(shè)計工具，沒有一種簡單的方法使它能同時清晰地表示順序和重復(fù)等處理特性。當(dāng)數(shù)據(jù)元素的值多于兩個時(例如，假設(shè)對機(jī)票需細(xì)分為頭等艙、二等艙和經(jīng)濟(jì)艙等多種級別時)，判定表的簡潔程度也將下降。

判定樹是判定表的變種，也能清晰地表示復(fù)雜的條件組合與應(yīng)做的動作之間的對應(yīng)關(guān)系。判定樹的優(yōu)點在于，它的形式簡單到不需任何說明，一眼就可以看出其含義，因此易于掌握和使用。圖6.7是和表6.1等價的判定樹。6.3.5判定樹圖6.7用判定樹表示計算行李費的算法

過程設(shè)計語言（PDL）也稱為偽碼，這是一個籠統(tǒng)的名稱，現(xiàn)在有許多種不同的過程設(shè)計語言在使用。一般說來，PDL是一種“混雜”語言，它使用一種語言的詞匯，同時卻使用另一種語言(某種結(jié)構(gòu)化的程序設(shè)計語言)的語法。6.3.6過程設(shè)計語言PDL應(yīng)該具有下述特點：關(guān)鍵字的固定語法，它提供了結(jié)構(gòu)化控制結(jié)構(gòu)、數(shù)據(jù)說明和模塊化的特點。為了使結(jié)構(gòu)清晰和可讀性好，通常在所有可能嵌套使用的控制結(jié)構(gòu)的頭和尾都有關(guān)鍵字，例如，if…fi(或endif)等等。(2)自然語言的自由語法，它描述處理特點。(3)數(shù)據(jù)說明的手段。應(yīng)該既包括簡單的數(shù)據(jù)結(jié)構(gòu)(例如純量和數(shù)組)，又包括復(fù)雜的數(shù)據(jù)結(jié)構(gòu)(例如，鏈表或?qū)哟蔚臄?shù)據(jù)結(jié)構(gòu))。(4)模塊定義和調(diào)用的技術(shù)，應(yīng)該提供各種接口描述模式。PDL作為一種設(shè)計工具有如下一些優(yōu)點：(1)可以作為注釋直接插在源程序中間。這樣做能促使維護(hù)人員在修改程序代碼的同時也相應(yīng)地修改PDL注釋，因此有助于保持文檔和程序的一致性，提高了文檔的質(zhì)量。(2)可以使用普通的正文編輯程序或文字處理系統(tǒng)，很方便地完成PDL的書寫和編輯工作。(3)已經(jīng)有自動處理程序存在，而且可以自動由PDL生成程序代碼。PDL的缺點：不如圖形工具形象直觀，描述復(fù)雜的條件組合與動作間的對應(yīng)關(guān)系時，不如判定表清晰簡單。

在許多應(yīng)用領(lǐng)域中信息都有清楚的層次結(jié)構(gòu)，輸入數(shù)據(jù)、內(nèi)部存儲的信息(數(shù)據(jù)庫或文件)以及輸出數(shù)據(jù)都可能有獨特的結(jié)構(gòu)。層次的數(shù)據(jù)組織通常和使用這些數(shù)據(jù)的程序的層次結(jié)構(gòu)十分相似。6.4面向數(shù)據(jù)結(jié)構(gòu)的設(shè)計方法

面向數(shù)據(jù)結(jié)構(gòu)的設(shè)計方法的最終目標(biāo)是得出對程序處理過程的描述。這種方法最適合于在詳細(xì)設(shè)計階段使用，也就是說，在完成了軟件結(jié)構(gòu)設(shè)計之后，可以使用面向數(shù)據(jù)結(jié)構(gòu)的方法來設(shè)計每個模塊的處理過程。Jackson方法和Warnier方法是最著名的兩個面向數(shù)據(jù)結(jié)構(gòu)的設(shè)計方法，

雖然程序中實際使用的數(shù)據(jù)結(jié)構(gòu)種類繁多，但是它們的數(shù)據(jù)元素彼此間的邏輯關(guān)系卻只有順序、選擇和重復(fù)3類，因此，邏輯數(shù)據(jù)結(jié)構(gòu)也只有這3類。1.順序結(jié)構(gòu)順序結(jié)構(gòu)的數(shù)據(jù)由一個或多個數(shù)據(jù)元素組成，每個元素按確定次序出現(xiàn)一次。下圖是表示順序結(jié)構(gòu)的Jackson圖的一個例子。6.4.1Jackson圖圖6.8A由B、C、D3個元素順序組成順序結(jié)構(gòu)的Jackson圖的一個例子2.選擇結(jié)構(gòu)選擇結(jié)構(gòu)的數(shù)據(jù)包含兩個或多個數(shù)據(jù)元素，每次使用這個數(shù)據(jù)時按一定條件從這些數(shù)據(jù)元素中選擇一個。圖6.9是表示3個中選1個結(jié)構(gòu)的Jackson圖。圖6.9根據(jù)條件A是B或C或D中的某一個3.重復(fù)結(jié)構(gòu)重復(fù)結(jié)構(gòu)的數(shù)據(jù)，根據(jù)使用時的條件由一個數(shù)據(jù)元素出現(xiàn)零次或多次構(gòu)成。圖6.10是表示重復(fù)結(jié)構(gòu)的Jackson圖。圖6.10A由B出現(xiàn)N次(N≥0)組成Jackson圖有下述優(yōu)點：便于表示層次結(jié)構(gòu)，而且是對結(jié)構(gòu)進(jìn)行自頂向下分解的有力工具；形象直觀可讀性好；既能表示數(shù)據(jù)結(jié)構(gòu)也能表示程序結(jié)構(gòu)。

Jackson圖的缺點是:選擇條件或循環(huán)結(jié)束條件不能直接在圖上表示出來，影響了圖的表達(dá)能力，也不易直接把圖翻譯成程序，此外，框間連線為斜線，不易在行式打印機(jī)上輸出。為了解決上述問題，建議使用圖6.11中給出的改進(jìn)的Jackson圖。6.4.2改進(jìn)的Jackson圖圖6.11改進(jìn)的Jackson圖順序結(jié)構(gòu)選擇結(jié)構(gòu)重復(fù)結(jié)構(gòu)可選結(jié)構(gòu)

Jackson結(jié)構(gòu)程序設(shè)計方法基本上由下述5個步驟組成：(1)分析并確定輸入數(shù)據(jù)和輸出數(shù)據(jù)的邏輯結(jié)構(gòu)，并用Jackson圖描繪這些數(shù)據(jù)結(jié)構(gòu)。(2)找出輸入數(shù)據(jù)結(jié)構(gòu)和輸出數(shù)據(jù)結(jié)構(gòu)中有對應(yīng)關(guān)系的數(shù)據(jù)單元。

6.4.3Jackson方法(3)從描繪數(shù)據(jù)結(jié)構(gòu)的Jackson圖導(dǎo)出描繪程序結(jié)構(gòu)的Jackson圖。(4)列出所有操作和條件(包括分支條件和循環(huán)結(jié)束條件)，并且把它們分配到程序結(jié)構(gòu)圖的適當(dāng)位置。(5)用偽碼表示程序。Jackson方法中使用的偽碼和Jackson圖是完全對應(yīng)的，下面是和3種基本結(jié)構(gòu)對應(yīng)的偽碼。和圖(a)所示的順序結(jié)構(gòu)對應(yīng)的偽碼，其中‘seq’和‘end’是關(guān)鍵字： A seq B C D A end

和圖(b)所示的選擇結(jié)構(gòu)對應(yīng)的偽碼，其中‘select’、‘or’和‘end’是關(guān)鍵字，cond1、cond2和cond3分別是執(zhí)行B、C或D的條件：

A selectcond1 B A or cond2 C A or cond3 D A end和圖(d)所示重復(fù)結(jié)構(gòu)對應(yīng)的偽碼，其中‘iter’、‘until’、‘while’和‘end’是關(guān)鍵字，cond是條件： A iteruntil(或while)cond B A end下面結(jié)合一個具體例子進(jìn)一步說明Jackson結(jié)構(gòu)程序設(shè)計方法。［例］一個正文文件由若干個記錄組成，每個記錄是一個字符串。要求統(tǒng)計每個記錄中空格字符的個數(shù)，以及文件中空格字符的總個數(shù)。要求的輸出數(shù)據(jù)格式是，每復(fù)制一行輸入字符串之后，另起一行印出這個字符串中的空格數(shù)，最后印出文件中空格的總個數(shù)。圖6.12表示輸入輸出數(shù)據(jù)結(jié)構(gòu)的Jackson圖第一步確定輸入輸出數(shù)據(jù)結(jié)構(gòu)輸入數(shù)據(jù)結(jié)構(gòu)輸出數(shù)據(jù)結(jié)構(gòu)重復(fù)結(jié)構(gòu)選擇結(jié)構(gòu)第二步是分析確定在輸入數(shù)據(jù)結(jié)構(gòu)和輸出數(shù)據(jù)結(jié)構(gòu)中有對應(yīng)關(guān)系的數(shù)據(jù)單元。在這個例子中哪些數(shù)據(jù)單元有對應(yīng)關(guān)系呢?經(jīng)過程序的處理由正文文件得到輸出表格。因為每處理輸入數(shù)據(jù)中一個“字符串”之后，就可以得到輸出數(shù)據(jù)中一個“串信息”，“字符串”和“串信息”也是一對有對應(yīng)關(guān)系的單元。通過類似的考察發(fā)現(xiàn)，在這個例子中輸入輸出數(shù)據(jù)結(jié)構(gòu)中只有上述兩對有對應(yīng)關(guān)系的單元。在圖6.12中用一對虛線箭頭把有對應(yīng)關(guān)系的數(shù)據(jù)單元連接起來，以突出表明這種對應(yīng)關(guān)系。圖6.13描繪統(tǒng)計空格程序結(jié)構(gòu)的Jackson圖第三步是從數(shù)據(jù)結(jié)構(gòu)圖導(dǎo)出程序結(jié)構(gòu)圖。第四步是列出所有操作和條件，并且把它們分配到程序結(jié)構(gòu)圖的適當(dāng)位置。首先，列出統(tǒng)計空格個數(shù)需要的全部操作和條件。經(jīng)過簡單分析不難把這些操作和條件分配到程序結(jié)構(gòu)圖的適當(dāng)位置，結(jié)果為圖6.14。圖6.14把操作和條件分配到程序結(jié)構(gòu)圖的適當(dāng)位置

最后一步是用偽碼表示程序處理過程。因為Jackson使用的偽碼和Jackson圖之間存在簡單的對應(yīng)關(guān)系，所以從圖6.14很容易得出下面的偽碼：統(tǒng)計空格seq 打開文件 讀入字符串

totalsum∶=0 程序體iteruntil文件結(jié)束 處理字符串seq 印字符串seq 印出字符串 印字符串end sum∶=0 pointer∶=1 分析字符串iteruntil字符串結(jié)束 分析字符select字符是空格 處理空格seq sum∶=sum+1 pointer∶=pointer+1 處理空格end 分析字符or字符不是空格 處理非空格seq pointer∶=pointer+1 處理非空格end 分析字符end 分析字符串end 印空格數(shù)seq 印出空格數(shù)目 印空格數(shù)end

totalsum∶=totalsum+sum 讀入字符串 處理字符串end 程序體end 印總數(shù)seq 印出空格總數(shù) 印總數(shù)end 關(guān)閉文件 停止統(tǒng)計空格end

詳細(xì)設(shè)計階段設(shè)計出的模塊質(zhì)量如何呢?人們希望能進(jìn)一步定量度量軟件的性質(zhì)。由于軟件工程還是一門很年輕的學(xué)科，目前許多定量度量方法還處在研究過程中，程序復(fù)雜程度定量度量方法是其中比較成熟的一種。6.5程序復(fù)雜程度的定量度量定量度量程序復(fù)雜程度的方法：把程序的復(fù)雜程度乘以適當(dāng)常數(shù)即可估算出軟件中錯誤的數(shù)量以及軟件開發(fā)需要用的工作量，可以用來比較兩個不同的設(shè)計或兩個不同算法的優(yōu)劣；復(fù)雜程度可以作為模塊規(guī)模的精確限度。

1.流圖McCabe方法根據(jù)程序控制流的復(fù)雜程度定量程序的復(fù)雜程度，這樣度量出的結(jié)果稱為程序的環(huán)形復(fù)雜度。為了表示程序的控制流，人們通常使用流圖。

6.5.1McCabe(麥凱布)方法所謂流圖實質(zhì)上是“退化了的”程序流程圖，它僅僅描繪程序的控制流程，完全不表現(xiàn)對數(shù)據(jù)的具體操作以及分支或循環(huán)的具體條件。圖6.15把程序流程圖映射成流圖在流圖中用圓表示結(jié)點，一個圓代表一條或多條語句。程序流程圖中的一個順序的處理框序列和一個菱形判定框，可以映射成流圖中的一個結(jié)點。流圖中的箭頭線稱為邊，它和程序流程圖中的箭頭線類似，代表控制流。4.在流圖中一條邊必須終止于一個結(jié)點。5.由邊和結(jié)點圍成的面積稱為區(qū)域，當(dāng)計算區(qū)域數(shù)時應(yīng)該包括圖外部未被圍起來的那個區(qū)域。圖6.16由PDL翻譯成的流圖圖6.17由包含復(fù)合條件的PDL映射成的流圖2.計算環(huán)形復(fù)雜度的方法環(huán)形復(fù)雜度定量度量程序的邏輯復(fù)雜度。用下述3種方法中的任何一種來計算環(huán)形復(fù)雜度。(1)流圖中的區(qū)域數(shù)等于環(huán)形復(fù)雜度。(2)流圖G的環(huán)形復(fù)雜度V(G)=E-N+2,其中，E是流圖中邊的條數(shù)，N是結(jié)點數(shù)。(3)流圖G的環(huán)形復(fù)雜度V(G)=P+1，其中，P是流圖中判定結(jié)點的數(shù)目。結(jié)論：可以計算出所示流圖的環(huán)型復(fù)雜度為4(1)流圖中的區(qū)域數(shù)等于環(huán)形復(fù)雜度。(2)流圖G的環(huán)形復(fù)雜度V(G)=E-N+2,其中，E是流圖中邊的條數(shù)，N是結(jié)點數(shù)。(3)流圖G的環(huán)形復(fù)雜度V(G)=P+1，其中，P是流圖中判定結(jié)點的數(shù)目。3.環(huán)形復(fù)雜度的用途程序的環(huán)形復(fù)雜度取決于程序控制流的復(fù)雜程度，也即是取決于程序結(jié)構(gòu)的復(fù)雜程度。當(dāng)程序內(nèi)分支數(shù)或循環(huán)個數(shù)增加時，環(huán)形復(fù)雜度也隨之增加，因此它是對測試難度的一種定量度量，也能對軟件最終的可靠性給出某種預(yù)測。

實踐表明，模塊規(guī)模以環(huán)形復(fù)雜度V(G)≤10為宜，也就是說，V(G)=10是模塊規(guī)模的一個更科學(xué)更精確的上限。

它根據(jù)程序中運算符和操作數(shù)的總數(shù)來度量程序的復(fù)雜程度。令N1為程序中運算符出現(xiàn)的總次數(shù)，N2為操作數(shù)出現(xiàn)的總次數(shù)，程序長度N定義為：N=N1+N2

6.5.2Halstead(霍爾斯特德)

方法

詳細(xì)設(shè)計完成之后，可以知道程序中使用的不同運算符(包括關(guān)鍵字)的個數(shù)n1，以及不同操作數(shù)(變量和常數(shù))的個數(shù)n2。Halstead給出預(yù)測程序長度的公式如下：

H=n1log2n1+n2log2n2多次驗證都表明，預(yù)測的長度H與實際長度N非常接近。

Halstead還給出了預(yù)測程序中包含錯誤的個數(shù)的公式如下：E=Nlog2(n1+n2)/3000有人曾對從300條到12000條語句范圍內(nèi)的程序核實了上述公式，發(fā)現(xiàn)預(yù)測的錯誤數(shù)與實際錯誤數(shù)相比誤差在8%之內(nèi)。習(xí)題詳細(xì)設(shè)計的主要任務(wù)是什么？結(jié)構(gòu)程序設(shè)計使用哪3種基本的控制結(jié)構(gòu)就能實現(xiàn)任何單入口單出口的程序？畫出它們的流程圖。試說明JACKSON程序設(shè)計方法的設(shè)計步驟。4.定量度量程序復(fù)雜程度的方法有什么使用價值？用McCabe方法計算下圖的環(huán)形復(fù)雜度。5。學(xué)生成績的評定辦法為：若期未考試成績大于等于90分，作業(yè)情況為好的，成績定為優(yōu)，而作業(yè)情況為差的，成績定為良；若期未考試成績大于等于75分，作業(yè)情況為好的，成績定為良，而作業(yè)情況為差的，成績定為及格；若期未考試成績大于等于60分，作業(yè)情況為好的，成績定為及格，而作業(yè)情況為差的，成績定為不合格；若期未考試成績小于60分，成績定為不及格。請繪制成績評定判定樹。詳細(xì)設(shè)計階段的關(guān)鍵任務(wù)是確定怎樣具體地實現(xiàn)用戶需要的軟件系統(tǒng)，也就是要設(shè)計出程序的“藍(lán)圖”。除了應(yīng)該保證軟件的可靠性之外，使將來編寫出的程序可讀性好、容易理解、容易測試、容易修改和維護(hù)，是詳細(xì)設(shè)計階段最重要的目標(biāo)。結(jié)構(gòu)程序設(shè)計技術(shù)是實現(xiàn)上述目標(biāo)的基本保證，是進(jìn)行詳細(xì)設(shè)計的邏輯基礎(chǔ)。6.6小結(jié)人機(jī)界面設(shè)計是接口設(shè)計的一個重要的組成部分。人機(jī)界面的質(zhì)量直接影響用戶對軟件產(chǎn)品的接受程度，因此，對人機(jī)界面設(shè)計必須給予足夠重視。在設(shè)計人機(jī)界面的過程中，必須充分重視并認(rèn)真處理好系統(tǒng)響應(yīng)時間、用戶幫助設(shè)施、出錯信息處理和命令交互等4個設(shè)計問題。人機(jī)界面設(shè)計是一個迭代過程，通常，先創(chuàng)建設(shè)計模型，接下來用原型實現(xiàn)這個設(shè)計模型并由用戶試用和評估原型，然后根據(jù)用戶意見修改原型，直到用戶滿意為止?？偨Y(jié)人們在設(shè)計人機(jī)界面過程中積累的經(jīng)驗，得出了一些關(guān)于用戶界面設(shè)計的指南，認(rèn)真遵守這些指南有助于設(shè)計出友好、高效的人機(jī)界面。過程設(shè)計應(yīng)該在數(shù)據(jù)設(shè)計、體系結(jié)構(gòu)設(shè)計和接口設(shè)計完成之后進(jìn)行，它的任務(wù)是設(shè)計解題的詳細(xì)步驟(即算法)，它是詳細(xì)設(shè)計階段應(yīng)完成的主要工作。過程設(shè)計的工具可分為圖形、表格和語言3類，這3類工具各有所長，讀者應(yīng)該能夠根據(jù)需要選用適當(dāng)?shù)墓ぞ摺Ｔ谠S多應(yīng)用領(lǐng)域中信息都有清楚的層次結(jié)構(gòu)，在開發(fā)這類應(yīng)用系統(tǒng)時可以采用面向數(shù)據(jù)結(jié)構(gòu)的設(shè)計方法完成過程設(shè)計。本章以J