Рис. 1. Функциональная модель процесса масштабирования алгоритма
расширяется на циклы и операторы вызова). Данное свойство задает макси-
мальную длину пути в поддереве ациклического графа выполнения алгорит-
ма, корень которого лежит в начале ветвления. При превышении максималь-
ной длины выполнение функциональных требований и отсутствие ошибок
признаются истинными.
Предлагаемая схема масштабирования алгоритма обеспечивает 100%-
ное покрытие операторов, входящих в достаточный уровень абстракции, од-
нако покрытие путей ограничено глубиной абстракции.
Структура программного комплекса, реализующего автоматическую ге-
нерацию тестов на основе масштабирования алгоритма, показана на рис. 2.
На вход подается описание алгоритма в виде исходного текста, затем в моду-
ле поиска достаточной абстракции определяется оптимальное с точки зрения
соотношение временн ´ых затрат и числа обнаруживаемых ошибок уровня аб-
стракции. На следующем этапе строится достаточный уровень абстракции с
помощью определения синтаксической зависимости, зависимости по упра-
влению и по данным. Для построенного остаточного алгоритма с помощью
структурной генерации [7, 8] строятся наборы тестов, затем определяется
уровень покрытия и другие статистические характеристики тестов.
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2011. № 4 121
