圈複雜度計算器 - McCabe 指標工具

圈複雜度是 Thomas J. McCabe 於 1976 年提出的軟體品質度量。它透過統計原始碼中的線性獨立路徑數量，量化程式的結構複雜度。複雜度越高，要覆蓋所有分支所需的測試案例就越多，程式也越難理解、修改與維護。 這項指標建立在圖論之上。程式被建模為控制流程圖（CFG），其中每個節點代表一個基本區塊——也就是只有單一入口與單一出口的一段直線式指令序列——每條有向邊則代表從一個區塊到另一個區塊的控制轉移。條件敘述、迴圈與例外處理器都會產生分支，進而增加邊的數量與獨立路徑的數量。 McCabe 公式為 M = E − N + 2P，其中 E 是 CFG 中的邊數，N 是節點數，P 是連通分量數（單一函式或程序通常為 1）。對於完全線性的程式，在沒有任何分支時，M 等於 1。每增加一個二元決策點，複雜度就會恰好增加 1。包含 k 個分支的 switch 敘述會讓複雜度增加 k，因為它引入了 k 條新路徑。 從實務角度看，更簡單的計數規則對結構化程式碼會得到相同答案：M = D + 1，其中 D 是決策點總數。決策點是任何能讓執行走向兩條以上路徑的結構：if 或 else-if 分支、switch 中的 case、for、while 或 do-while 迴圈標頭、三元運算子、會產生短路分支的邏輯 AND 或 OR，以及 catch 區塊。 業界指南通常將 1–4 視為低風險，5–7 視為中等風險，8–10 視為高風險（應考慮重構），10 以上視為非常高風險（強烈建議拆分函式）。複雜度值也給出了完成分支覆蓋所需的最少測試案例數：複雜度為 8 的函式至少需要 8 個測試案例才能覆蓋每條獨立路徑。 需要理解圈複雜度衡量與不衡量的內容。它不直接衡量程式碼行數、效能或演算法正確性。一個很長但完全順序執行的函式複雜度可能是 1，而一個條件巢狀很深的短函式複雜度可能高達 20。這項指標專門捕捉決策路徑結構，這是測試工作量的主要驅動因素，也是潛在缺陷最常見的來源。與程式碼審查及其他品質指標一起使用時，圈複雜度是識別應優先重構與測試函式的實用指南。