【正文】 環(huán)路復(fù)雜度是可加的。例如， 模塊A的復(fù)雜度為 3， 模塊 B的復(fù)雜度為 4，則 模塊 A與 模塊 B的復(fù)雜度是 7。 ?McCabe建議， 對于復(fù)雜度超過 10的程序，應(yīng)分成幾個小程序，以減少程序中的錯誤。Walsh用實例證實了這個建議的正確性。在 McCabe復(fù)雜度為 10的附近，存在出錯率的間斷躍變。 ?這種度量的缺點是： ? 對于不同種類的控制流的復(fù)雜性不能區(qū)分 ? 簡單 IF語句 與 循環(huán)語句 的復(fù)雜性同等看待 ? 嵌套 IF語句 與 簡單 CASE語句 的復(fù)雜性是一樣的 ? 模塊間接口 當(dāng)成 一個簡單分支 一樣處理 ? 一個 具有 1000行的順序程序 與 一行語句 的復(fù)雜性相同 Halstead的軟件科學(xué) ?Halstead軟件科學(xué)研究確定計算機軟件開發(fā)中的一些定量規(guī)律，它采用以下一組基本的度量值。 ?這些度量值通常在程序產(chǎn)生之后得出，或者在設(shè)計完成之后估算出。 ?程序長度 (預(yù)測的 Halstead長度 ) 令 n1表示程序中不同運算符 (包括保留字 )的個數(shù)，令 n2表示程序中不同運算對象的個數(shù)，令 H表示“ 程序長度 ” ，則有 H=n1?log2 n1+n2 ? log2n2 ?這里 ， H是程序長度的預(yù)測值，它不等于程序中語句個數(shù)。 ?在定義中，運算符包括： 算術(shù)運算符 賦值符 (=或 :=) 邏輯運算符 分界符 (，或；或 :) 關(guān)系運算符 括號運算符 子程序調(diào)用符 數(shù)組操作符 循環(huán)操作符等。 ?特別地，成對的運算符，例如 “ BEGIN…END ”、 “FOR…TO ”、“REPEAT …UNTIL ”、 “WHILE…DO ”、“IF…THEN…ELSE ”、 “（ … ） ”等都當(dāng)做單一運算符。 ?運算對象包括變量名和常數(shù)。 ?實際的 Halstead長度 設(shè) N1為程序中實際出現(xiàn)的運算符總個數(shù)，N2為程序中實際出現(xiàn)的運算對象總個數(shù)，N為實際的 Halstead長度，則有 N = N1 + N2 ?程序的詞匯表 Halstead定義程序的詞匯表為不同的運算符種類數(shù) n1和不同的運算對象種類數(shù)n2的總和。若令 n為程序的詞匯表，則有 n = n1+n2 ?程序量 程序量 V 可用下式得到 V = N ? log2n 它表明了程序在 詞匯上的復(fù)雜性 。其最小值為 V* = (2+n2*) ? log2(2+n2*)V 這里， 2表明程序中至少有兩個運算符：賦值符 = 和函數(shù)調(diào)用 符 f ( ) ，n2*表示輸入／輸出變量個數(shù)。 ?程序量比率 (語言的抽象級別 ) L = V* / V 或 L = (2 / n1)?(n2 / N2) 它表明了一個程序的最緊湊形式的程序量與實際程序量之比，反映了程序的效率。其倒數(shù) D = 1 / L 表明了實現(xiàn)算法的困難程度。 ?程序員工作量 E = V / L ?程序的潛在錯誤 Halstead度量可以用來預(yù)測程序中的錯誤。預(yù)測公式為 B = (N1+N2)?log2(n1+n2) / 3000 B為該程序的錯誤數(shù)。它表明程序中可能存在的差錯 B 應(yīng)與程序量 V成正比。 ?例如，一個程序?qū)?75個數(shù)據(jù)庫項共訪問 1300次，對 150個運算符共使用了 1200次，那么預(yù)測該程序的錯誤數(shù)： B = (1200+1300)?log2(75+150)/3000 ? 即預(yù)測該程序中可能包含 6～ 7個錯誤 ?Halstead的重要結(jié)論 ?程序的實際 Halstead長度 N可以由詞匯表 n算出。即使程序還未編制完成，也能預(yù)先算出程序的實際Halstead長度 N， 雖然它沒有明確指出程序中到底有多少個語句。 這個結(jié)論非常有用。經(jīng)過多次驗證，預(yù)測的 Halstead長度與實際的Halstead長度是非常接近的。 Halstead度量的缺點 ?沒有區(qū)別自己編的程序與別人編的程序。 這是與實際經(jīng)驗相違背的。這時應(yīng)將外部調(diào)用乘上一個大于 1的的常數(shù) Kf (應(yīng)在 1～ 5之間，它與文檔資料的清晰度有關(guān) )。 ?沒有考慮非執(zhí)行語句。 補救辦法：在統(tǒng)計 n n N N2時，可以把非執(zhí)行語句中出現(xiàn)的運算對象，運算符統(tǒng)計在內(nèi)。 ?沒有注意調(diào)用的深度。 Halstead 公式應(yīng)當(dāng)對調(diào)用子程序的不同深度區(qū)別對待。在計算嵌套調(diào)用的運算符和運算對象時，應(yīng)乘上一個調(diào)用深度因子。這樣可以增大嵌套調(diào)用時的錯誤預(yù)測率。 ?沒有把不同類型的運算對象，運算符與不同的錯誤發(fā)生率聯(lián)系起來，而是把它們同等看待。 例如，對 簡單 IF語句 與 WHILE語句 就沒有區(qū)別。 ?忽視了嵌套結(jié)構(gòu) (嵌套的循環(huán)語句、嵌套 IF語句、括號結(jié)構(gòu)等 )。一般地，運算符的嵌套序列，總比具有相同數(shù)量的運算符和運算對象的非嵌套序列要復(fù)雜得多。解決的辦法是對嵌套結(jié)果乘上一個嵌套因子。 軟件設(shè)計復(fù)審 復(fù)審對象 —— 軟件設(shè)計說明文檔 意義 —— 通過設(shè)計復(fù)審 ， 可以及時發(fā)現(xiàn)軟件結(jié)構(gòu)缺陷和設(shè)計錯誤 ， 使得它們能夠在進(jìn)入編碼前得以改正 。 種類 —— 正式復(fù)審和臨時復(fù)審 復(fù)審的內(nèi)容 正式復(fù)審 在全部設(shè)計文檔制作完畢后召開正式的軟件設(shè)計復(fù)審確認(rèn)會議 。 在復(fù)審會議上由設(shè)計人員對軟件總體結(jié)構(gòu) 、 性能規(guī)范 、 用戶界面 、 關(guān)鍵模塊和關(guān)鍵算法等進(jìn)行詳細(xì)報告 。 由獨立的評審專家小組對設(shè)計文檔和設(shè)計人員的報告進(jìn)行全面深入的討論審查 。 正式復(fù)審的結(jié)果 —— （ 1） 確認(rèn)通過軟件設(shè)計 （ 軟件開發(fā)可進(jìn)入下一階段 ） （ 2） 設(shè)計文檔未獲通過 。 （ 通常是軟件設(shè)計存在重大缺陷或者錯誤 ， 也可以是設(shè)計沒有原則性錯誤 ， 但是設(shè)計文檔本身不規(guī)范 ， 不能作為后續(xù)編碼的依據(jù) 。 ） 軟件設(shè)計即使是通過復(fù)審?fù)ǔＲ膊皇峭耆_的，復(fù)審報告中應(yīng)該說明設(shè)計中仍然存在的問題或者缺陷，使得這些問題在后續(xù)編碼中得以改正或者完善。 臨時復(fù)審 是在軟件設(shè)計過程中 ， 針對某個局部或者問題的解決方案或者階段性設(shè)計成果進(jìn)行討論或者審核 。 軟件復(fù)審的內(nèi)容 （ 1） 設(shè)計功能和性能的可追蹤性：軟件結(jié)構(gòu)設(shè)計是否充分實現(xiàn)了軟件需求規(guī)格說明 ？ 目標(biāo)軟件設(shè)計中實現(xiàn)的每個功能 、 性能在需求說明中是否能夠找到來源 ？ （ 2） 軟件設(shè)計中采用的技術(shù)是否成熟 ？ 如果是新技術(shù) ， 其技術(shù)風(fēng)險系數(shù)多大 ， 是否存在替代實現(xiàn)方案 ？ （ 3） 軟件系統(tǒng)的所有外部接口和內(nèi)部各模塊接口定義是否恰當(dāng) 、 完整 ？ （ 4） 設(shè)計中對于系統(tǒng)的可維護(hù)性是如何體現(xiàn)的 ？ 設(shè)計文檔本身的可理解性如何 ？ 它們易于編碼實現(xiàn)嗎 ？ （ 5） 在軟件系統(tǒng)結(jié)構(gòu) 、 關(guān)鍵算法和用戶界面中如何保證系統(tǒng)質(zhì)量 ？ 軟件 規(guī)格說明書 軟件設(shè)計階段完成，應(yīng)提交設(shè)計文檔： 改進(jìn)后的模塊結(jié)構(gòu)圖（包含模塊說明） 各模塊的詳細(xì)說明 （流程圖、 NS圖、PAD圖等） 用戶特性分析 — 用戶模型 了解所有用戶的技能和經(jīng)驗，針對用戶能力設(shè)計或更改界面。從以下方面分析： 用戶類型 — 通常分為：外行型、初學(xué)型、熟練型、專家型。 用戶特性度量 — 與用戶使用模式和用戶群體能力有關(guān)。 包括：用戶使用頻度、用戶用機能力、用戶的知識、思維能力等。 用戶界面設(shè)計的任務(wù) 這部分工作應(yīng)該與軟件需求分析同步進(jìn)行。包括以下內(nèi)容： 用戶界面的任務(wù)分析 — 任務(wù)模型（ DFD圖） 是對系統(tǒng)內(nèi)部活動的分解，不僅要進(jìn)行功能分解（用 DFD圖描述），還要包括與人相關(guān)的活動。每個加工即一個功能或任務(wù)。 確定用戶界面類型 界面的設(shè)計原則 ?分析用戶類型 ?應(yīng)用程序和界面分離 ?一致性 ?盡量減少用戶工作 ?提供反饋 ?出錯處理和幫助功能 ?增加可視化圖形表示 1 黃金規(guī)則 在有關(guān)界面設(shè)計的著作中， Theo Mandel創(chuàng)造了 三條 黃金原則 ： ?置用戶于控制之下 ?減少用戶的記憶負(fù)擔(dān) ?保持界面一致 黃金規(guī)則： 置用戶于控制之下