Scaling of Algorithms for Automatic Generation of Modular Texts

Aspects of development of a method for algorithm scaling, which is required for program system verification providing the maximum index of structure coverage of the system elements, are considered. The developed method of scaling is given, its place in the process of the program system verification is indicated, and the main results of the method application as well as their interpretation are presented.