RUS  ENG
Full version
JOURNALS // Sistemy i Sredstva Informatiki [Systems and Means of Informatics] // Archive
Sistemy i Sredstva Inform., 2013 Volume 23, Issue 1, Pages 132–142 (Mi ssi306)
Some tests for software reliability

V. Yu. Korolevab

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

Abstract: Some rules for the termination of testing software reliability are described. These rules optimize the probability of erroneous decision and the posterior probability of erroneous decision.

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


© Steklov Math. Inst. of RAS, 2025