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

Question

Это, вероятно, относится к более чем C и Java, конечно, но те два языка, я более знакомы, так что давайте возьмем этот простой пример:

int foo(int arg) 
{ 
    if (arg > 0) 
     return 1; 
    return 0; 
} 

Теперь, я видел две интерпретации как как return:

• это «другой путь кода», так как он выходит из метода; поэтому любой оператор return должен увеличить сложность на 1. В этом случае приведенный выше примерный код имеет сложность 3; или
• return просто выходит из метода, никаких оснований считать его. В этом случае образец кода выше, имеет сложность 1.

ли любая интерпретация выше «правильный», каноническим, насколько как циклическая сложность? Я, как правило, в пользу второго случая, но я не CS теоретика ...

Answer 1

Вашего цикломатическое сложность будет 2, вот почему:

Вашего код, по существу, это:

int foo(int arg) 
    { 
     int out; 
     if (arg > 0) 
      out = 1; 
     else 
      out = 0; 
     return out; 
    } 

return равнины утверждение не учитывает сложность. У вас есть только 1 if заявление, нет if else заявлений. Следовательно, ваша циклическая сложность будет равна 2, так как есть один альтернативный путь к основному пути. Если операторы возврата засчитываются, ваша циклическая сложность одного и того же метода может быть 3 ИЛИ 4 (см. Мой код против вашего), это должно четко указать, почему возвратные утверждения не включены.

Answer 2

Этот код имеет два разных пути через функцию: тот, который соответствует arg > 0, являющийся истинным, а другой, соответствующий ему, является ложным.

Число задействованных операторов возврата не влияет на это, поскольку оно не изменяет количество различных путей через функцию. Ваш код может быть переписан в виде

int foo(int arg) 
{ 
    int retval = 0; 
    if (arg > 0) retval = 1; 
    return retval; 
} 

который имеет точно такое же количество путей, несмотря на один меньше оператора возврата.