Вестник НовГУ

Вестник НовГУ > 2004 > № 28 > Василенко Н.В., Макаров В.А. Модели оценки надежности программного обеспечения

Василенко Н.В., Макаров В.А. Модели оценки надежности программного обеспечения

УДК 681.3.068
В а с и л е н к о Н. В., М а к а р о в В. А. Модели оценки надежности программного обеспечения // Вестн. Новг. гос. ун-та. Сер.: Техн. нау-ки. 2004. №28, стр. 126-132
Дан обзор четырнадцати наиболее известных моделей оценки надежности программного обеспечения. Показано, что абсолютно надежных программ не существует, так как абсолютная степень надежности не может быть теоретически доказана и, следовательно, недостижима.
Библиогр. 5 назв.

Загрузить (267 КБ)