с методу структурного тестування
Структурний підхід у тестуванні заснований на аналізі логіки програми (стратегія В«білого ящикаВ»). Істота підходу - у перевірці кожного шляху, кожної гілки алгоритму. p align="justify"> Методи структурного тестування:
1 Метод покриття операторів.
Якщо відмовитися повністю від тестування всіх шляхів, можна показати, що критерієм покриття є виконання кожного оператора програми хоча б один раз. Це необхідна, але недостатня умова для прийнятного тестування за принципом білого ящика. p align="justify"> 2 Метод покриття рішень (покриття переходів).
Відповідно до даного методу повинно бути написано достатнє число тестів, таке, що кожен напрямок переходу має бути реалізовано, принаймні, один раз. Покриття рішень звичайно задовольняє критерію покриття операторів. Оскільки кожен оператор лежить на деякому шляху, вихідному або з оператора переходу, або з точки входу програми, при виконанні кожного напрямку переходу кожен оператор повинен бути виконаний. p align="justify"> 3 Метод покриття умов.
Записується число тестів, достатню для того, щоб всі можливі результати кожної умови у вирішенні виконувалися, принаймні, один раз.
4 Критерій рішень (умов).
Критерій покриття рішень/умов вимагає такого достатнього набору тестів, щоб всі можливі результати кожної умови у вирішенні виконувалися, принаймні, один раз, всі результати кожного рішення виконувалися, принаймні, один раз і, крім того, кожній точці входу передавалося управління, принаймні, один раз.
5 Метод комбінаторного покриття умов.
Критерієм, який вирішує ці та деякі інші проблеми, є комбинаторное покриття умов. Він вимагає створення такого числа тестів, щоб всі можливі комбінації результатів умови в кожному рішенні виконувалися, принаймні, один раз. Набір тестів, що задовольняють критерію комбінаторного покриття умов, задовольняє також і критеріям покриття рішень, покриття умов і покриття рішень/умов. br/>
4.2 Постановка завдання структурного тестування
Структурний тестування програми передбачає знання вихідного тексту програми, або специфікації програми у вигляді потокового графа управління.
Розглянемо основні особливості потокового графа:
. Граф будується відображенням керуючої структури програми. У ході відображення закривають дужки умовних операторів і операторів циклів (end if; end loop) розглядаються як окремі (фіктивні) оператори. p align="justify">. Вузли (вершини) потокового графа відповідають лінійним ділянкам програми, включають один або кілька операторів програми. p align=...
