Калькулятор цикломатической сложности - инструмент Маккейба

Цикломатическая сложность — это метрика качества ПО, предложенная Томасом Дж. Маккейбом в 1976 году. Она количественно оценивает структурную сложность программы, подсчитывая число линейно независимых путей через исходный код. Чем выше сложность, тем больше тестовых случаев нужно для проверки каждой ветви, и тем труднее понять, изменить и поддерживать код. Метрика основана на теории графов. Программа моделируется как граф потока управления (CFG), в котором каждый узел представляет базовый блок — линейную последовательность инструкций с одной точкой входа и одной точкой выхода — а каждое направленное ребро обозначает возможную передачу управления от одного блока к другому. Условные операторы, циклы и обработчики исключений создают ветвления, увеличивая и число рёбер, и число независимых путей. Формула Маккейба: M = E − N + 2P, где E — число рёбер в CFG, N — число узлов, а P — число компонент связности (обычно 1 для одной функции или процедуры). Для полностью линейной программы без ветвлений M равно 1. Каждый дополнительный бинарный узел решения увеличивает сложность ровно на 1. Оператор switch с k вариантами добавляет k к сложности, потому что вводит k новых путей. На практике более простое правило подсчёта даёт тот же результат для структурированного кода: M = D + 1, где D — общее число точек решения. Точка решения — это любая конструкция, которая может направить выполнение по двум или более путям: if или else-if, case в switch, заголовок цикла for, while или do-while, тернарный оператор, логическое AND или OR с коротким замыканием, создающее ветвление, а также блок catch. В отраслевых рекомендациях значения 1–4 считаются низким риском, 5–7 — умеренным, 8–10 — высоким, где следует подумать о рефакторинге, а выше 10 — очень высоким, где настоятельно рекомендуется разбить функцию. Значение сложности также показывает минимальное число тест-кейсов, необходимое для полного покрытия ветвей: функции с цикломатической сложностью 8 нужно не менее 8 тестов, чтобы пройти по каждому независимому пути. Важно понимать, что именно цикломатическая сложность измеряет, а что нет. Она не измеряет напрямую количество строк кода, производительность или корректность алгоритма. Очень длинная, но полностью последовательная функция может иметь сложность 1, а короткая функция с глубоко вложенными условиями — сложность 20. Метрика специально отражает структуру путей решений, которая является главным источником трудозатрат на тестирование и наиболее частой причиной скрытых дефектов. В сочетании с код-ревью и другими метриками качества цикломатическая сложность служит практическим ориентиром для поиска функций, которые нужно в первую очередь рефакторить и тестировать.