Масштабирование алгоритмов для автоматической генерации модульных тестов

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