Спосіб тестування умов

Є декілька методик:

· Тестування гілок та операторів відношень.

· Тестування області визначення.

Послідовність кроків способу тестування гілок та операторів відношень:

1. Будується обмеження умов;

2. Виявляються обмеження результату по кожній простій умові;

3. Будується обмежуюча множина;

4. Для кожного елементу обмеженої множини розробляється тестовий варіант.

Тестування циклів

Розрізняють 4 типи циклів:

1. Прості цикли. Для перевірки простих циклів з кількістю повторень n може використовуватися один з наступних наборів тестів: прогін всього циклу; тільки один прогін циклу; два прогони циклу; m прогонів циклу, де m<n; n-1, n, n+1 прогонів циклу.

2. Вкладені цикли. Із збільшенням рівня вкладеності циклів кількість можливих шляхів різко зростає. Це приводить до кількості тестів, що не реалізовується.

3. Об'єднані цикли. Якщо кожний з циклів незалежний від інших, то використовується техніка тестування простих циклів. За наявності залежності використовується методика для вкладених циклів.

4. Неструктуровані цикли. Тестуванню не підлягають. Цей тип циклів повинен бути перероблений за допомогою структурованих програмних конструкцій.

Кроки тестування.

1. Вибирається внутрішній цикл. Встановлюються мінімальні значення параметрів решти всіх циклів.

2. Для внутрішнього циклу проводяться тести простого циклу. Додаються тести для виключених значень і значень, що виходять за межі робочого діапазону.

3. Переходять в наступний по порядку охоплюючий цикл. Виконують його тестування. При цьому зберігаються мінімальні значення параметрів для всіх зовнішніх (охоплюючих) циклів і типові значення для всіх вкладених циклів.

4. Робота продовжується до тих пір, поки не будуть протестовані всі цикли.