Page 67 - 4592

 Навколишнє граф середовище розглядається як додатковий

регіон.
Цикломатичне складність.
Цикломатичне складність - метрика програмного
забезпечення, яка забезпечує кількісну оцінку логічної складності

програми. У способі тестування базового шляху Цикломатичне
складність визначає:
 Кількість незалежних шляхів у базовому безлічі програми.

 Верхню оцінку кількості тестів, яке гарантує одноразове
виконання всіх операторів.
Незалежним називається будь-який шлях, який вводить

новий оператор обробки або нову умову. У термінах потокового
графа незалежний шлях повинен містити дугу, що не входить у
раніше певні шляхи.

Всі незалежні шляхи графа утворюють базову безліч.
Властивості базового множини:
 Тести, що забезпечують його перевірку гарантують:
1. одноразове виконання кожного оператора;

2. виконання кожної умови по True-гілки і по False-гілки.
 Потужність базового безлічі дорівнює Цикломатичне
складності потокового графа.

Значення другого властивості важко переоцінити - воно дає
апріорну оцінку кількості незалежних шляхів, яке має сенс
шукати в графі.
Цикломатичне складність обчислюється одним з трьох

способів:
 Цикломатичне складність дорівнює кількості регіонів
потокового графа.

 Цикломатичне складність визначається за формулою
V (G) = E - N + 2, де E - кількість дуг, N - кількість вузлів
потокового графа.

 Цикломатичне складність формується за висловом V (G) = p
+1, де p - кількість предикатних вузлів в потоковому графі
G.

Кроки способу тестування базового шляху.
 На основі тексту програми формується потоковий граф:
1. ) нумеруються оператори тексту;

67