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