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

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

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


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




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

Автоматика и телемеханика, 1986, выпуск 10, страницы 5–31 (Mi at6553)  
Обзоры

Надежность программного обеспечения (обзор концепций)

В. В. Липаев

Москва
PDF полного текста (5543 kB)
Аннотация: Обобщаются результаты основных исследований в области надежности программного обеспечения. Рассматриваются фундаментальные- понятия теории надежности, особенности их применения к программному обеспечению и классы программ, к которым они применимы. Выделяются факторы, влияющие на надежность программ, приводятся математические модели, описывающие характеристики ошибок, и соответствующие им показатели надежности программ. Значительная часть обзора посвящена методам достижения высокой надежности программ. Излагаются основные концепции структурного проектирования надежных программ, их тестирования и повышения надежности за счет применения рестарта.

Поступила в редакцию: 04.11.1985
Реферативные базы данных:
Тип публикации: Статья
УДК: 681.3.06
Образец цитирования: В. В. Липаев, “Надежность программного обеспечения (обзор концепций)”, Автомат. и телемех., 1986, № 10, 5–31; Autom. Remote Control, 47:10 (1986), 1313–1335
Цитирование в формате AMSBIB
\RBibitem{Lip86}
\by В.~В.~Липаев
\paper Надежность программного обеспечения (обзор концепций)
\jour Автомат. и телемех.
\yr 1986
\issue 10
\pages 5--31
\mathnet{http://mi.mathnet.ru/at6553}
\zmath{https://zbmath.org/?q=an:0618.68030}
\transl
\jour Autom. Remote Control
\yr 1986
\vol 47
\issue 10
\pages 1313--1335
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/at6553
  • https://www.mathnet.ru/rus/at/y1986/i10/p5
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Автоматика и телемеханика
    Статистика просмотров:
    Страница аннотации:560
    PDF полного текста:1137
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024