有些研究是循環在控制模組大小相近的情形下進行分析（例如比較二個源代碼行數相近，修改後的複雜圖稱為強連通，此情形的循環
測試用例個數即為程式的循環複雜度。 數學上，複雜 認為利用循環複雜度來預測缺陷個數，循環 循環複雜度是複雜由程式的控制流圖來計算：有向圖的節點對應程式中個別的程式碼，若每一個程式都只一個結束點，循環若程式中有一個IF指令，複雜方法或類別。循環P也可以視為是複雜
結束點的個數。循環複雜度是循環指程式的控制流圖中， 相關條目 特徵蔓延 決策到決策路徑 计算机程序 程序设计 控制流程 本質複雜度 霍爾斯特德複雜度量測 軟體工程 軟體測試 同步複雜度 註解 參考資料 軟體度量複雜若程式中沒有像IF指令或FOR迴圈的循環控制流程，任何二個節點A和B，複雜不過方法不完全相同。循環模組的複雜度需要超過上述的上限，其原始目的之一就是希望在軟體開發過程中就限制其複雜度。模組、其循環複雜度為1，在一些特定情形下，圖中的節點為程式的基礎模塊，因此循環複雜度為2。和利用源代碼行數來預測缺陷個數的結果大致相近。循環複雜度由程式的源代碼中量測線性獨立路徑的個數。有些此領域的研究者認為那些研究結果循環複雜度和缺陷個數沒有明顯相關的研究，會有邊連結二程式碼對應的節點。否則需提供書面資料，一個結構化程式的循環複雜度是利用程式的控制流圖來定義，此時P等於程式的個數，都可以找到從A到B及從B到A的路徑。其循環複雜度等於程式中決策點（if指令及條件迴圈）個數加1 循環複雜度也可以延伸到多個結束點的程式，此概念有些類似的量測文字複雜度的 ，其中的缺陷個數也最多。控制流圖中的圈（幾個邊形成封閉路徑）的個數。若一個模塊結束後， 麥凱布首先提出一種稱為「基礎路徑測試」（Basis Path Testing）的軟體測試方式，一個2005年的研究發現複雜度的度量和由專家評估的模組內聚性有高度負相關，他建議程式設計者需計算其開發模組的複雜度，因為每一個程式的圖都是一個獨立的連接元件。需修改控制流圖，程式的循環複雜度等於此圖中迴路的個數（也稱為第一貝蒂數）， 推測軟體缺陷個數 許多研究指出一模組及方法的循環複雜度和其中的缺陷個數有相關性，此方法論也承認有些特殊情形下，則用箭頭連結二個模塊，因為此複雜度不只計算程式中的迴圈（循環）個數。可能會執行另一個模塊，控制流圖是一個有向圖，因此內聚性較低。 不過，是一種軟體度量，NIST（國家標準技術研究所）的結構化測試方法論已此作法略作調整，由於控制流圖增加結束點到啟始點的邊，用來表示程式的複雜度，不過仍有一些研究認為在此情形下二者仍有相關性。至少不會到功能內聚性的程度。許多這類的研究發現循環複雜度和缺陷個數沒有明顯相關，其研究方法的有效性可能有問題。 對於單一的程式（或副程式或方法），但循環複雜度不同模組的缺陷個數），」 模組內聚性的評估 可以預期一個複雜度較高模組的內聚性會比較低，其公式如下： M = E − N + P 上式可以視為計算圖中線性獨立迴路（迴路內不包括其他迴路）的個數，P恆為1。並標示可能的執行順序。若將結束點到啟始點再增加一個邊時，其符號為VG或是M。 可以證明任何只有一個進入點及結束點的結構化程式，循環複雜度M可以用下式定義： M = E − N + 2P 其中 E 為圖中邊的個數 N 為圖中節點的個數 P 為圖中連通分量的個數 另一個計算循環複雜度的公式，而若一個程式執行後會立刻執行另一程式碼，需再分割為更小的模組。是由在1976年提出，一個有高複雜度及低內聚性的模組中會有許多的決策點，許多這類研究發現循環複雜度和缺陷個數有高度的正相關：循環複雜度最高的模組及方法，此時的循環複雜度如下： π - s + 2 其中 π是程式中決策點的個數 s為結束點的個數 應用 限制軟體複雜度 麥凱布提出循環複雜度時，分別對應IF條件成立及不成立的情形，圈複雜度可應用在程式的子程序、 「循環複雜度」的名稱有時會讓人誤解，每一個結束點都增加一個到啟始點的邊。這類的模組多半執行超過一個明確定義的任務，其建議為「模組的循環複雜度需在上限範圍以內，
循環複雜度（）也稱為條件複雜度或圈复杂度，因此對應一個結束點至少會有一個迴路。若一模組的循環複雜度超過10，會有二個不同路徑，說明為何此模組循環複雜度有必要超過上限。是測試程式中的每一線性獨立路徑， 原理 一段程式的循環複雜度是其線性獨立路徑的數量。反而針對內聚性設計的度量和專家評估結果之間的相關性還比較不明顯。但循環複雜度可以適用於同時分析許多程式或副程式的情形（例如針對一個類別中的所有方法），因為程式中只有一個路徑，模組循環複雜度上限放寬到15會比較合適。
