Цикломатическая сложность

Цикломатическая сложность – это метрика программного обеспечения, которая обеспечивает количественную оценку логической сложности программы. В основе тестирования базового пути цикломатическая сложность определяет:

1) Количество независимых путей в базовом множестве программы;

2) Верхнюю оценку, количество тестов, которое гарантирует однократное выполнение всех операторов;

Независимым является любой путь, который вводит новый оператор обработки или новые условия.

В терминах потокового графа независимый путь должен содержать дугу, не входящую в ранее определенные пути. Путь начинается в начальном узле, а заканчивается в конечном узле графа. Независимые пути формируются в порядке от самого короткого к самому длинному.

Новый путь обязательно включает новую дугу. Все независимые пути графа образуют базовое множество.

Свойства базового множества:

1) Тесты, обеспечивающие его проверку, гарантируют однократное выполнение каждого оператора, при выполнении каждого условия по ветвям True и False;

2) Мощность базового множества равна цикломатической сложности потокового графа.

Данное свойство дает априорную оценку количества независимых путей, которое имеет смысл – искать в графе.

Цикломатическая сложность вычисляется одним из трех способов:

1) Цикломатическая сложность равна количеству регионов потокового графа;

2) Цикломатическая сложность может быть вычислена по формуле V(G)=E–N–2, где E – количество дуг, а N – количество узлов потокового графа;

3) Цикломатическая сложность может быть вычислена по формуле V(G)=p+1, где p – количество предикатных вершин в потоковом графе G.