Аннотация:
Описаны некоторые критерии прекращения испытаний программного обеспечения на надежность, оптимизирующие как вероятности ошибочных решений, так и апостериорные вероятности ошибок.
Ключевые слова:надежность программного обеспечения; модель роста надежности; проверка статистических гипотез; геометрическое распределение; вероятность ошибки первого рода; вероятность ошибки второго рода; лемма Неймана–Пирсона; апостериорная вероятность ошибки.
Полный текст:
PDF файл (231 kB)