Zyklomatische Komplexität Rechner - McCabe-Metrik

Die zyklomatische Komplexität ist eine von Thomas J. McCabe 1976 eingeführte Metrik zur Softwarequalität. Sie quantifiziert die strukturelle Komplexität eines Programms, indem sie die Anzahl der linear unabhängigen Pfade durch den Quellcode zählt. Je höher die Komplexität, desto mehr Testfälle werden benötigt, um jeden Zweig auszuführen, und desto schwieriger ist der Code zu verstehen, zu ändern und zu warten. Die Metrik beruht auf der Graphentheorie. Ein Programm wird als Kontrollflussgraph (CFG) modelliert, in dem jeder Knoten einen Basisblock darstellt — eine lineare Folge von Anweisungen mit genau einem Eintritts- und einem Austrittspunkt — und jede gerichtete Kante eine mögliche Kontrollübertragung von einem Block zu einem anderen darstellt. Bedingte Anweisungen, Schleifen und Ausnahmebehandlungen erzeugen Verzweigungen und erhöhen damit sowohl die Zahl der Kanten als auch die Zahl der unabhängigen Pfade. McCabes Formel lautet M = E − N + 2P, wobei E die Anzahl der Kanten im CFG, N die Anzahl der Knoten und P die Anzahl der Zusammenhangskomponenten ist (typischerweise 1 für eine einzelne Funktion oder Prozedur). Für ein vollständig lineares Programm ohne Verzweigungen ist M gleich 1. Jeder zusätzliche binäre Entscheidungspunkt erhöht die Komplexität genau um 1. Ein switch mit k Fällen erhöht die Komplexität um k, da er k neue Pfade einführt. Für praktische Zwecke liefert eine einfachere Zählregel für strukturierten Code dasselbe Ergebnis: M = D + 1, wobei D die Gesamtzahl der Entscheidungspunkte ist. Ein Entscheidungspunkt ist jede Konstruktion, die die Ausführung in zwei oder mehr Pfade lenken kann: eine if- oder else-if-Klausel, ein case in einem switch, ein for-, while- oder do-while-Schleifenkopf, ein ternärer Operator, ein logisches UND oder ODER mit Kurzschlussauswertung, das Verzweigungen erzeugt, sowie ein catch-Block. Branchenguidelines stufen Komplexitätswerte von 1–4 als niedriges Risiko ein, 5–7 als moderat, 8–10 als hohes Risiko, bei dem Refactoring erwogen werden sollte, und Werte über 10 als sehr hohes Risiko, bei dem eine Aufteilung der Funktion dringend empfohlen wird. Der Komplexitätswert gibt auch die minimale Anzahl an Testfällen an, die für vollständige Zweigabdeckung erforderlich sind: Eine Funktion mit zyklomatischer Komplexität 8 benötigt mindestens 8 Testfälle, um jeden unabhängigen Pfad abzudecken. Wichtig ist zu verstehen, was zyklomatische Komplexität misst und was nicht. Sie misst nicht direkt Zeilenanzahl, Performance oder die Korrektheit eines Algorithmus. Eine sehr lange, aber völlig sequentielle Funktion kann eine Komplexität von 1 haben, während eine kurze Funktion mit tief verschachtelten Bedingungen eine Komplexität von 20 erreichen kann. Die Metrik erfasst speziell die Struktur der Entscheidungspfade, die Haupttreiber des Testaufwands und die häufigste Quelle latenter Fehler. Zusammen mit Code-Reviews und anderen Qualitätsmetriken ist die zyklomatische Komplexität ein praktischer Leitfaden, um Funktionen zu identifizieren, die bei Refactoring und Tests priorisiert behandelt werden sollten.