Надежность функционирования автоматизированных систем. Липатов И.Н. - 61 стр.

                                         -60-
 1. Программа не корректируется, и любой отказ является полным, т.е. после отказа ПО не
    восстанавливается. Основные показатели надёжности для этого режима работы
    программ - безотказность, устойчивость и защищённость.
 2. Программа не корректируется, однако после отказа ПО система продолжает
    функционировать нормально. Основные показатели надёжности - безотказность,
    устойчивость, защищённость и долговечность.
 3. После каждого отказа ПО корректируется, отлаживается и только после этого снова
    сдаётся в эксплуатацию. Основные показатели надёжности - безотказность,
    устойчивость, корректируемость, защищённость, а также потери времени.


                 3.5 Критерии надёжности сложных комплексов программ.

  Для оценки надёжности программ, как и при исследовании характеристик аппаратуры, как
правило, приходится ограничиваться интегральными показателями наработки на отказ и
средним временем восстановления. Определение остальных показателей сопряжено с
большими трудностями, которые обусловлены тем, что для определения показателей
надёжности комплексов программ необходимы длительные эксперименты или сложные
расчёты при определённых исходных данных.
  Оценка достоверности результатов и надёжности функционирования комплекса программ
представляет собой сложную задачу из-за “проклятия размерности”. Естественным
становится статистический подход к анализу надёжности функционирования и
статистическая оценка достоверности результатов. Качество отладки определяется
интенсивностью (частостью) отказов и значениями ошибок в выходных результатах,
полученными за счёт невыявленных ошибок в программах и искажений исходных данных.
Интенсивность (частость) отказов в комплексе программ иначе называется как частость
проявления ошибок в комплексе программ.
  Точное определение полного количества ошибок в программе прямыми методами
измерения невозможно. Имеются только косвенные пути статистической оценки их полного
количества. Такие оценки базируются на построении математических моделей в
предположении жёсткой корреляции между общим количеством и проявлениями ошибок в
комплексе программ после его отладки в течении времени τ, т.е. между следующими
параметрами:
  суммарным количеством ошибок n0 в комплексе программ,
  количеством ошибок, выявляемых в единицу времени dn/dτ в прцессе тестирования и
отладки при постоянных усилиях на их проведение;
  интенсивностью отказов λ или числом искажений результатов на выходе комплекса
программ вследствие невыявленных ошибок при нормальном функционировании системы в
единицу времени.
  На рис.3.2 показаны зависимости n0 , dn/dτ и λ от времени отладки (масштабы по оси
ординат не совпадают)


      λ


     n0

λ|

                                                          τ