Системы и средства информатики
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Системы и средства информ.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Системы и средства информатики, 2013, том 23, выпуск 1, страницы 132–142 (Mi ssi306)  
Некоторые критерии проверки надежности программного обеспечения

В. Ю. Королевab

a Факультет вычислительной математики и кибернетики Московского государственного университета им. М. В. Ломоносова
b Институт проблем информатики Российской академии наук
PDF полного текста (231 kB)
Список литературы:
PDF
HTML
Аннотация: Описаны некоторые критерии прекращения испытаний программного обеспечения на надежность, оптимизирующие как вероятности ошибочных решений, так и апостериорные вероятности ошибок.
Ключевые слова: надежность программного обеспечения; модель роста надежности; проверка статистических гипотез; геометрическое распределение; вероятность ошибки первого рода; вероятность ошибки второго рода; лемма Неймана–Пирсона; апостериорная вероятность ошибки.
Тип публикации: Статья
Образец цитирования: В. Ю. Королев, “Некоторые критерии проверки надежности программного обеспечения”, Системы и средства информ., 23:1, «Проблемы информационной безопасности и надежности систем информатики» (2013), 132–142
Цитирование в формате AMSBIB
\RBibitem{Kor13}
\by В.~Ю.~Королев
\paper Некоторые критерии проверки надежности программного обеспечения
\jour Системы и средства информ.
\yr 2013
\vol 23
\issue 1
\pages 132--142
\issueinfo <<Проблемы информационной безопасности и надежности систем информатики>>
\mathnet{http://mi.mathnet.ru/ssi306}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/ssi306
  • https://www.mathnet.ru/rus/ssi/v23/i1/p132
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Системы и средства информатики
    Статистика просмотров:
    Страница аннотации:368
    PDF полного текста:180
    Список литературы:53
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024