V. Yu. Korolev, R. L. Smelyansky, T. R. Smelyansky, A. V. Shalimov, “Statistical testing for the nonexecutability of fragments of the code of a linear program”, Inform. Primen., 2013, Volume 7, Issue 2,Pages <nobr>50

Statistical testing for the nonexecutability of fragments of the code of a linear program

V. Yu. Korolev^ab, R. L. Smelyansky^a, T. R. Smelyansky^a, A. V. Shalimov^a

^a Faculty of Computational Mathematics and Cybernetics, M. V. Lomonosov Moscow State University
^b IPI RAN

Abstract: A problem of statistical testing for the nonexecutiveness of fragments of the code of a linear program is considered. Methods based on the minimization of prior error probabilities are considered as well as those based on the minimization of posterior error probabilities.

Keywords: testing statistical hypotheses; geometric distribution; probability of the error of the first kind; probability of the error of the second kind; Neyman–Pearson lemma; posterior error probability.