Controlled Method of Random Test Synthesis

Abstract

In this paper, controlled random tests have been analyzed, and the main criteria used for their synthesis, such as the Hamming distance and the Euclidean distance, have been presented. A method for synthesizing multiple controlled random tests based on the use of the initial random test and addition operation has been proposed. The resulting multiple tests can be interpreted as a single controlled random test. The complexity of its construction is significantly lower than the complexity of the construction of classical random tests. An algorithm for the synthesis of such tests is considered. Examples of tests and estimates of their effectiveness have been presented.