【正文】 1 } 1 print (“ok”)。 0 UNREACHABLE ***** START 238 l6 : 1 239 z = 10 。單元測試 代碼評審 質(zhì)量評審 質(zhì)量評審特點 優(yōu)點 復雜度分析 代碼評價度量 代碼結(jié)構(gòu)化化簡 LCSAJs 質(zhì)量模型 質(zhì)量評審能力 ? 檢查多個代碼復雜性度量元 – 圈復雜度 – 結(jié)點度量 – LCSAJ 控制流（測試路徑） ? 識別死代碼和不可測試代碼 ? 提供功能強大的結(jié)構(gòu)化化簡工具 – 結(jié)構(gòu)化程序驗證 – 將你的代碼化簡到基本復雜度 ? 使用工業(yè)標準或自定義質(zhì)量模型 – 提供邊界檢查 – 產(chǎn)生定量評估 ? 將所有結(jié)果總結(jié)成頂層的度量指標 – 清晰性 /測試性 /維護性 ? 提供直觀的報告和代碼可視化工具 復雜性 ? 通常檢查多余的復雜性是非常困難的 ? 程序的復雜性并不可怕，但是多余的復雜性會引起軟件出問題 度量元 ? 度量元是軟件度量的基礎(chǔ)，就象“米”是對長度的度量 ? 注意度量結(jié)果本身并不能直接就反應出質(zhì)量好壞 ? 在質(zhì)量評審中使用度量源元時，相互的關(guān)聯(lián)是最重要的 質(zhì)量評審 – 代碼評價度量 清晰性 系統(tǒng)的 可理解性 如何 可維護性 軟件的 可維護性 如何？ 可測試性 對系統(tǒng)進行 測試需要多少 工作？ 復雜度度量 – 控制流結(jié)點 – 圈復雜度 – 基本結(jié)點和基本圈復雜度 – 循環(huán)嵌套 – 函數(shù)扇入和扇出 – 不可達性 結(jié)點分類 ? 跳轉(zhuǎn)分為下列幾類： – 向上（向后）跳轉(zhuǎn) – 向下（向前）跳轉(zhuǎn) ? 結(jié)點根據(jù)跳轉(zhuǎn)類型可以分為 : – 下 下結(jié)點 – 上 下結(jié)點 – 上 上結(jié)點 1 5 3 4 2 1 5 3 4 2 1 5 3 4 2 引起結(jié)點的 C結(jié)構(gòu) ? 下列編程結(jié)構(gòu)會引起結(jié)點： for while switch ? 可利用基本結(jié)點度量消除這些局限性 引起 結(jié)點的 Ada結(jié)構(gòu) ? 下列編程結(jié)構(gòu)會引起結(jié)點： IF THEN ELSE CASE GOTO Exceptions ? 可利用基本結(jié)點度量消除這些局限性 圈復雜度 ? 從有向圖 G，計算圈復雜度 V(G)： V(G) = No. edges（邊數(shù)） No. nodes（節(jié)點數(shù)） + 2 ? 這樣也正確： V(G) = No. predicates （判定節(jié)點數(shù)） + 1 ? Case 結(jié)構(gòu)（有 N 種選擇）是個例外，計算為 N – 1 V(G) = No. regions（區(qū)域數(shù)） ? 假如 G是個連接的平面圖 圈復雜度 例子 12 條邊 9 個節(jié)點 VG = 12 9 + 2 = 5 1 4 5 2 3 6 7 8 9 1 2 3 4 5 6 7 8 9 10 11 12 圈復雜度 例子 3 個判定結(jié)點計算為 4 case 計算為 2 VG = 4 + 1 = 5 31 1 1 圈復雜度 例子 5 個區(qū)域