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

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

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

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-... /режим нормальной обработки.

Поиск по сайту: