Page 69 - 4592

 кожне просте умова;

 True-гілка;
 False-гілка.
Інша методика - тестування області визначення в ній для
вираження відношення потрібно генерація 3-4 тестів. Вираз виду

Е1 <оператор відносини> Е2
перевіряється трьома тестами, які формують значення Е1
більшим, ніж Е2, рівним Е2 і меншим, ніж Е2.

Якщо оператор відносини неправильний, а Е1 і Е2 коректні,
то ці три тести гарантують виявлення помилки оператора
відносини.

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

Цикл - найбільш поширена конструкція алгоритмів,
використовуваних в ПЗ. Тестування циклів проводиться за
принципом "білого ящика", при перевірці циклів основна увага
звертається на правильність конструкцій циклів.

Розрізняють 4 типи циклів: прості, вкладені, об'єднані,
неструктуровані.
Прості цикли.

Для перевірки циклів з кількістю повторень n може
використовуватися один з наступних наборів тестів:
 прогін всього циклу;
 тільки один прохід циклу;

 два проходи циклу;
 m проходів циклів, де m <n;
 n -1, n, n +1 проходів циклу.

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

методика, в якій використовуються такі поняття, як осяжний і
вкладені цикли.
Кроки тестування:

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

69