Технологии разработки программного обеспечения


Шаги способа тестирования базового пути


Для иллюстрации шагов данного способа используем конкретную программу — процедуру вычисления среднего значения:

процедура сред;

1                  i := 1;

1                  введено := 0;

1                  колич := 0;

1                  сум := 0;

        вып пока 2 -вел( i ) <> stop и введено <=500 - 3

4                              введено:= введено + 1;

если 5 -вел( i ) >= мин и вел( i ) <= макс - 6

7                                          то колич := колич + 1;

7                                          сум := сум + вел( i );

8                              конец если;

8                              i := i + 1;

9      конец вып;

10    если колич > 0

11                то сред := сум / колич;

12    иначе сред := stop;

13    конец если;

13    конец сред;

Заметим, что процедура содержит составные условия (в заголовке цикла и условном операторе). Элементы составных условий для наглядности помещены в рамки.

Шаг 1. На основе текста программы формируется потоковый граф:

q       нумеруются операторы текста (номера операторов показаны в тексте процедуры);

q       производится отображение пронумерованного текста программы в узлы и вершины потокового графа (рис. 6.7).

Рис. 6.7. Потоковый граф процедуры вычисления среднего значения

 

Шаг 2. Определяется цикломатическая сложность потокового графа — по каждой из трех формул:

1) V(G) = 6 регионов;

2) V(G) = 17 дуг - 13 узлов + 2 = 6;

3) V(G) = 5 предикатных узлов + 1 = 6.

Шаг 3. Определяется базовое множество независимых линейных путей:

Путь 1: 1-2-10-11-13; /вел=stор, колич>0.

Путь 2: 1-2-10-12-13;/вел=stop, колич=0.

Путь 3: 1-2-3-10-11-13; /попытка обработки 501-й величины.

Путь 4: 1-2-3-4-5-8-9-2-... /вел<мин.

Путь 5: 1-2-3-4-5-6-8-9-2-... /вел>макс.

Путь 6: 1-2-3-4-5-6-7-8-9-2-... /режим нормальной обработки.

 

ПРИМЕЧАНИЕ

Для удобства дальнейшего анализа по каждому пути указаны условия запуска.


Начало  Назад  Вперед



Книжный магазин