This paper presents an approach to synthesis of stylistically and syntactically controlled generator of the microprocessor test verification programs. The dependence of test length of the confidence level and the probabilities ...