График потока управления и циклическая сложность для следующей процедуры

insertion_procedure (int a[], int p [], int N)
{
    int i,j,k;
    for (i=0; i<=N; i++) p[i] = i;
    for (i=2; i<=N; i++)
    {
        k = p[i];
        j = 1;
        while (a[p[j-1]] > a[k]) {p[j] = p[j-1]; j--}
        p[j] = k;
    }
}

Мне нужно найти цикломатическую сложность для этого кода, а затем предложить несколько тестовых ящиков с белым ящиком и тестовые примеры с черным ящиком. Но у меня возникли проблемы с созданием CFG для кода.

Поблагодарили бы за помощь в тестовых случаях.

Ответ 1

Начните с нумерации операторов:

 insertion_procedure (int a[], int p [], int N)
 {
(1)    Int i,j,k;
(2)    for ((2a)i=0; (2b)i<=N; (2c)i++) 
(3)        p[i] = i;
(4)    for ((4a)i=2; (4b)i<=N; (4c)i++)
       {
(5)       k=p[i];j=1;
(6)       while (a[p[j-1]] > a[k]) {
(7)           p[j] = p[j-1]; 
(8)           j--
          }
(9)          p[j] = k;
       }

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

Теперь, чтобы вычислить циклическую сложность, вы используете один из трех методов:

Подсчитайте количество областей на графике: 4
Нет. предикатов (красный на графике) + 1: 3 + 1 = 4
Нет ребер - нет. узлов + 2: 14 - 12 + 2 = 4.

Ответ 2

Цикломатическая сложность равна 4.

1 для процедуры +1 для цикла for +1 для цикла while +1 для условия if цикла while.

Ответ 3

Вы также можете использовать формулу Маккабе M = E-N + 2C
  E = ребра
  N = узлы
  C = компоненты
  M = циклическая сложность

E = 14
N = 12
C = 1

M = 14-12 + 2*1 = 4