Can you summarize the following document?
        
  一段程式的迴圈複雜度是其線性獨立路徑的數量。若程式中沒有像IF指令或FOR迴圈的控制流程,因為程式中只有一個路徑,其迴圈複雜度為1,若程式中有一個IF指令,會有二個不同路徑,分別對應IF條件成立及不成立的情形,因此迴圈複雜度為2。  數學上,一個結構化程式的迴圈複雜度是利用程式的控制流圖來定義,控制流圖是一個有向圖,圖中的節點為程式的基礎模組,若一個模組結束後,可能會執行另一個模組,則用箭頭連結二個模組,並標示可能的執行順序。迴圈複雜度M可以用下式定義:  其中 另一個計算迴圈複雜度的公式,需修改控制流圖,每一個結束點都增加一個到啟始點的邊。修改後的圖稱為強連通,任何二個節點A和B,都可以找到從A到B及從B到A的路徑。程式的迴圈複雜度等於此圖中迴路的個數(也稱為第一貝蒂數),其公式如下:  上式可以視為計算圖中線性獨立迴路(迴路內不包括其他迴路)的個數,由於控制流圖增加結束點到啟始點的邊,因此對應一個結束點至少會有一個迴路。  對於單一的程式(或副程式或方法),P恆為1。但迴圈複雜度可以適用於同時分析許多程式或副程式的情形(例如針對一個類別中的所有方法),此時P等於程式的個數,因為每一個程式的圖都是一個獨立的連線元件。若每一個程式都只一個結束點,P也可以視為是結束點的個數。  可以證明任何只有一個進入點及結束點的結構化程式,其迴圈複雜度等於程式中決策點(if指令及條件迴圈)個數加1  迴圈複雜度也可以延伸到多個結束點的程式,此時的迴圈複雜度如下: 其中

  

  麥凱布提出迴圈複雜度時,其原始目的之一就是希望在軟體開發過程中就限制其複雜度。他建議程式設計者需計算其開發模組的複雜度,若一模組的迴圈複雜度超過10,需再分割為更小的模組。NIST(國家標準技術研究所)的結構化測試方法論已此作法略作調整,在一些特定情形下,模組迴圈複雜度上限放寬到15會比較合適。此方法論也承認有些特殊情形下,模組的複雜度需要超過上述的上限,其建議為「模組的迴圈複雜度需在上限範圍以內,否則需提供書面資料,說明為何此模組迴圈複雜度有必要超過上限。」

  可以預期一個複雜度較高模組的內聚性會比較低,至少不會到功能內聚性的程度。一個有高複雜度及低內聚性的模組中會有許多的決策點,這類的模組多半執行超過一個明確定義的任務,因此內聚性較低。一個2005年的研究發現複雜度的度量和由專家評估的模組內聚性有高度負相關,反而針對內聚性設計的度量和專家評估結果之間的相關性還比較不明顯。

  許多研究指出一模組及方法的迴圈複雜度和其中的缺陷個數有相關性,許多這類研究發現迴圈複雜度和缺陷個數有高度的正相關:迴圈複雜度最高的模組及方法,其中的缺陷個數也最多。  不過,有些研究是在控制模組大小相近的情形下進行分析(例如比較二個原始碼行數相近,但迴圈複雜度不同模組的缺陷個數),許多這類的研究發現迴圈複雜度和缺陷個數沒有明顯相關,不過仍有一些研究認為在此情形下二者仍有相關性。有些此領域的研究者認為那些研究結果迴圈複雜度和缺陷個數沒有明顯相關的研究,其研究方法的有效性可能有問題。  萊斯·哈頓認為利用迴圈複雜度來預測缺陷個數,和利用原始碼行數來預測缺陷個數的結果大致相近。
迴圈複雜度(英語:Cyclomatic complexity)也稱為條件複雜度或圈複雜度,是一種軟體度量,是由老托馬斯·J·麥凱布在1976年提出,用來表示程式的複雜度,其符號為VG或是M。迴圈複雜度由程式的原始碼中量測線性獨立路徑的個數。此概念有些類似的量測文字複雜度的Flesch-Kincaid可讀性測試,不過方法不完全相同。 迴圈複雜度是由程式的控制流圖來計算:有向圖的節點對應程式中個別的程式碼,而若一個程式執行後會立刻執行另一程式碼,會有邊連結二程式碼對應的節點。圈複雜度可應用在程式的子程式、模組、方法或類別。