Лекции по сертификации и надежности программного обеспечения

В данном курсе приведены следующие темы.
Общие вопросы надежности.
Структурно-логические модели надежности ПО.
Модели надежности ПО.
Тестирование ПО. Испытания ПО при сертификации.
Методы тестирования.
Относительно невысокая надежность компонентов, глубокая взаимозависимость, способность к старению и разрушению или снижению надежности в процессе эксплуатации привели к тому, что этот фактор в ряде случаев оказывается превалирующим для надежности большинства компонентов аппаратуры.
С другой стороны надежность программных компонентов определяется теми же двумя факторами, однако степень их влияния иная.
Хранение программ на магнитном носителе при отсутствии внешних вмешательств характеризуется высокой надежностью. Содержание программ на бумаге практически не подвержено разрушению в разумные сроки. Превалирующим для надежности ПО является 2-ой фактор, т.е. ошибки проектирования.