Page 66 - 4592
P. 66
Кожна з цих причин є аргументом для проведення
тестування за принципом "білого ящика". Тести «чорного ящика»
не зможуть реагувати на помилки таких типів.
Спосіб тестування базового шляху.
Тестування базового шляху - це спосіб, який заснований на
принципі "білого ящика". Автор цього способу - Том МакКейб
(1976).
Спосіб тестування базового шляху дає можливість:
Отримати оцінку комплексної складності програми.
Використовувати цю оцінку для визначення необхідної
кількості тестових варіантів.
Тестові варіанти розробляються для перевірки базового
безлічі шляхів (маршрутів) у програмі. Вони гарантують
одноразове виконання кожного оператора програми при
тестуванні.
Потоковий граф.
Для представлення програми використовується потоковий
граф. Перерахуємо його особливості.
Граф будується відображенням керуючої структури
програми. У ході відображення закривають дужки умовних
операторів і операторів циклів розглядаються як окремі
(фіктивні) оператори.
Вузли (вершини) потокового графа відповідають лінійним
ділянкам програми, включають один або кілька операторів
програми.
Дуги потокового графа відображають потік управління у
програмі (передачі управління між операторами). Дуга - це
орієнтоване ребро.
Розрізняють операторні і предикатні вузли. З операторного
вузла виходить одна дуга, а з предикатного - дві дуги.
Предикатні вузли відповідають простим умовам у програмі.
Складна умова програми відображається в кілька
предикатних вузлів. Складовим називають умова, в якому
використовується одна чи кілька булевих операцій.
Замкнуті області, утворені дугами і вузлами, називають
регіонами.
66