Dynamic software testing models

Three dynamic process models (strategies) for software testing are offered, which provides the ability to use probabilities of error detection for each module. Labeled graphs, systems of differential equations, probability parameters of test processes and software testing states for these strategies are provided. Results for computational experiments are described.