Тырва А.В., Хомоненко А.Д., Бубнов В.П. Модели надежности программного обеспечения

Учебное пособие. — СПб.: ПГУПС, 2010. — 40 с.Приводятся примеры наиболее известных моделей надежности программ (Джелинского - Моранды, Мусы, Миллса), дается краткая их характеристика. Предлагается расчетная схема (системы дифференциальных уравнений и диаграммы переходов) для моделей роста надежности программ, основанных на использовании распределений фазового типа. С помощью названных моделей проводится сравнительная оценка различных стратегий отладки программных модулей.Рассмотрен алгоритм планирования тестирования сложных программных комплексов, учитывающий трудоемкость выполнения отдельных моду лей, характеристики их надежности и частоты выполнения.Приводятся контрольные задания по расчету основных характеристик надежности программных модулей.