Спосіб тестування базового шляху

Тестування базового шляху — це спосіб, який заснований на принципі «білого ящика». Автор цього способу — Том Маккейб (1976).

Спосіб тестування базового шляху дає можливість:

· отримати оцінку комплексної складності програми;

· використовувати цю оцінку для визначення необхідної кількості тестових варіантів.

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

Особливості потокового графу:

1. Граф будується відображенням структури програми, що управляє. В ході відображення закриваючі дужки умовних операторів і операторів циклів (end if; end loop) розглядаються як окремі (фіктивні) оператори.

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

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

4. Розрізняють операторні (виходить одна дуга) і предикативні вузли (дві дуги).

5. Предикативні вузли відповідають простим умовам в програмі.

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

7. Що оточує граф середовище розглядається як додатковий регіон.

Цикломатична складність — метрика ПЗ, яка забезпечує кількісну оцінку логічної складності програми. У способі тестування базового шляху цикломатична складність визначає:

· кількість незалежних шляхів в базовій безлічі програми;

· верхню оцінку кількості тестів, яка гарантує одноразове виконання всіх операторів.

Незалежним називається будь-який шлях, який вводить нового оператора обробки або нову умову.

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

Цикломатична складність обчислюється одним з трьох способів:

1. Цикломатична складність рівна кількості регіонів потокового графа;

2. Цикломатична складність визначається по формулі

V(G)-E-N+2, де Е — кількість дуг, N — кількість вузлів потокового графа;

3. Цикломатична складність формується по виразу V(G)=p+ 1, де р — кількість предикативних вузлів в потоковому графові G.

Приклад:

Предикатні вузли а і b незалежні шляхи

1) а - х - endif V(G)=3

2) a - b – x – endif V(G)=7-6+2=3

3) a - b – y – endif V(G)=2+1=3

 


Понравилась статья? Добавь ее в закладку (CTRL+D) и не забудь поделиться с друзьями:  



double arrow
Сейчас читают про: