Page 68 - 4592

2. ) проводиться відображення пронумерованого тексту

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

 Готуються тестові варіанти, які ініціюють виконання
кожного шляху.
Кожен тестовий варіант формується в наступному вигляді:

Вихідні дані (ВД):
Очікувані результати (ОЖ.РЕЗ.):
Вихідні дані необхідно вибирати так, щоб предикатні

вершини забезпечували потрібні перемикання - запуск тільки тих
операторів, які перераховані в конкретному шляху, причому в
необхідному порядку.

Реальні результати кожного тестового варіанту
порівнюються з очікуваними результатами. Після виконання всіх
тестових варіантів гарантується, що всі оператори програми
виконані щонайменше один раз.

Важливо відзначити, що деякі незалежні шляху не можуть
перевірятися ізольовано. Такі шляхи повинні перевірятися при
тестуванні іншого шляху (як частина іншого тестового варіанту).

Спосіб тестування умов орієнтований на тестування кожної
умови в програмі. Методика тестування умов мають дві переваги.
По-перше, досить просто виконати вимірювання тестового
покриття умови. По-друге, тестове покриття умов у програмі - це

основа для генерації додаткових тестів програми.
Метою тестування умов є визначення не тільки помилок в
умовах, але й інших помилок в програмах. Якщо набір тестів для

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

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

Існує кілька методик тестування умов.
Найпростіша методика - тестування гілок. Тут для складеної
умови перевіряється:

68