Page 66 - 4592
P. 66

Кожна  з  цих  причин  є  аргументом  для  проведення

               тестування за принципом "білого ящика". Тести «чорного ящика»
               не зможуть реагувати на помилки таких типів.
                      Спосіб тестування базового шляху.
                      Тестування базового шляху - це спосіб, який заснований на

               принципі  "білого  ящика".  Автор  цього  способу  -  Том  МакКейб
               (1976).
                      Спосіб тестування базового шляху дає можливість:

                     Отримати оцінку комплексної складності програми.
                     Використовувати  цю  оцінку  для  визначення  необхідної
                      кількості тестових варіантів.

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

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

                     Граф  будується  відображенням  керуючої  структури
                      програми. У ході відображення закривають дужки умовних
                      операторів  і  операторів  циклів  розглядаються  як  окремі

                      (фіктивні) оператори.
                     Вузли  (вершини)  потокового  графа  відповідають  лінійним
                      ділянкам програми, включають один або кілька операторів
                      програми.

                     Дуги  потокового  графа  відображають  потік  управління  у
                      програмі (передачі управління між операторами). Дуга - це
                      орієнтоване ребро.

                     Розрізняють операторні і предикатні вузли. З операторного
                      вузла виходить одна дуга, а з предикатного - дві дуги.
                     Предикатні вузли відповідають простим умовам у програмі.

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

                     Замкнуті  області,  утворені  дугами  і  вузлами,  називають
                      регіонами.



                                                           66
   61   62   63   64   65   66   67   68   69   70   71