|
Sistemy i Sredstva Informatiki [Systems and Means of Informatics], 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.
Citation:
V. Yu. Korolev, “Some tests for software reliability”, Sistemy i Sredstva Inform., 23:1 (2013), 132–142
Linking options:
https://www.mathnet.ru/eng/ssi306 https://www.mathnet.ru/eng/ssi/v23/i1/p132
|
Statistics & downloads: |
Abstract page: | 375 | Full-text PDF : | 184 | References: | 55 |
|