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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Функціональне тестування

Тестування «чорного ящика» забезпечує пошук наступних категорій помилок:

1. Некоректних або отсутствующих функцій;

2. Помилок інтерфейсу;

3. Помилок в зовнішніх структурах даних або в доступі до зовнішньої бази даних;

4. Помилок характеристик (необхідна місткість пам'яті і т. д.);

5. Помилок ініціалізації і завершення.

Техніка «чорного ящика» орієнтована на рішення наступних задач:

1. Скорочення необхідної кількості тестових варіантів (із-за перевірки не статичних, а динамічних аспектів системи);

2. Виявлення класів помилок, а не окремих помилок.

1. Спосіб розбиття по еквівалентності

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

Клас еквівалентності — набір даних із однаковими властивостями. Клас еквівалентності включає множину значень, які допустимі і недопустимі за умовами введення. Умови можуть задавати – конкретне значення, діапазон значень, множину конкретних величин, логічну умову.

Правила формування класів:

1. Якщо умову введення задає діапазон n...m, то визначаються один допустимий і два неприпустимі класи еквівалентності:

• V_Class={n...m} — допустимий клас еквівалентності;

• Inv_С1аss1={x|для будь-якого х:х<n} — I неприпустимий клас еквівалентності;

• Inv_С1аss2={y|для будь-якого у:у>m} — II неприпустимий клас еквівалентності.

2. Якщо умову введення задає конкретне значення а, то визначається один допустимий і два неприпустимі класи еквівалентності:

• V_Class={a};

• Inv_Class1 ={х|для будь-якого х:х<а};

• Inv_С1аss2={y|для будь-якого у:у>а}.

3. Якщо умову введення задає безліч значень {а, b, c}, то визначаються один допустимий і один неприпустимий клас еквівалентності:

• V_Class={а, b, c};

• Inv_С1аss={x|для будь-якого х: (х≠а)&(х ≠ b)&(х ≠ c)}.

4. Якщо умова введення задає булевий значення, наприклад true, то визначаються один допустимий і один неприпустимий клас еквівалентності:

• V_Class={true};

• Inv_Class={false}.

Після побудови класів еквівалентності розробляються тестові варіанти. Тестовий варіант вибирається так, щоб перевірити відразу найбільшу кількість властивостей

класу еквівалентності.