otvety_all

Структурное тестирование, критерии формирования тестовых наборов.

Структурное тестирование называют также тестированием по «маршрутам», так как в этом случае тестовые наборы формируют путем анализа маршрутов, предусмотренных алгоритмом. Под маршрутами при этом понимают последовательности операторов программы, которые выполняются при конкретном варианте исходных данных.

В основе структурного тестирования лежит концепция максимально полного тестирования всех маршрутов программы. Так, если алгоритм программы включает ветвление, то при одном наборе исходных данных может быть выполнена последовательность операторов, реализующая действия, которые предусматривает одна ветвь, а при втором – другая. Соответственно, для программы будут существовать маршруты, различающиеся выбранным при ветвлении вариантом.

Считают, что программа проверена полностью, если с помощью тестов удается осуществить выполнение программы по всем возможным маршрутам передач управления. Однако нетрудно видеть, что даже в программе среднего уровня сложности число неповторяющихся маршрутов может быть очень велико, и, следовательно, полное или исчерпывающее тестирование маршрутов, как правило, невозможно.

Структурный подход к тестированию имеет ряд недостатков. Так тестовые наборы, построенные по данной стратегии:

не обнаруживают пропущенных маршрутов;
не обнаруживают ошибок, зависящих от обрабатываемых данных, например, в операторе if (а – b) < eps – пропуск функции абсолютного значения abs проявится только, если а < b;
не дают гарантии, что программа правильна, например, если вместо сортировки по убыванию реализована сортировка по возрастанию.

Для формирования тестов программу представляют в виде графа, вершины которого соответствуют операторам программы, а дуги представляют возможные варианты передачи управления. Ниже приведен текст программы, которая определяет значение х в зависимости от значений параметров процедуры. Алгоритм этой программы представлен на рис. 16.2, а, а соответствующий граф передач управления – на рис. 16.2, б.

Procedure m (a, b: real; var x: real);

begin

if (a1) and (b=0) then x: =x/a;

if(a=2) or (x>l) then x: =x+l;

end;

Формирование тестовых наборов для тестирования маршрутов может осуществляться по нескольким критериям:

покрытие операторов;
покрытие решений (переходов);
покрытие условий;
покрытие решений/условий;
комбинаторное покрытие условий.

Рис. 16.2. Схема алгоритма процедуры примера (а) и ее граф передач управления (б)

Содержание