33. Надёжность программных средств и её оценка. Модели надёжности

Надёжность — свойство объекта сохранять во времени в установленных пределах значения всех параметров, характеризующих способность выполнять требуемые функции в заданных режимах и условиях применения, технического обслуживания, хранения и транспортирования.

Надежность ПС - свойство ПС сохранять работоспособность в течение определенного периода времени в определенных условиях эксплуатации с учетом последствий для пользователя каждого отказа.

Работоспособное состояние ПС - такое состояние, при котором ПС способно выполнять заданные функции с параметрами, установленными требованиями технического задания. С переходом ПС в неработоспособное состояние связано событие отказа.

Вероятность безотказной работы - вероятность того, что в пределах заданной наработки отказ системы не наступит. Наработка - продолжительность или объем работы.

Вероятность отказа - вероятность того, что в пределах заданной наработки отказ системы наступит.

Средняя наработка до отказа - математическое ожидание времени работы ПС до очередного отказа.

Среднее время восстановления - математическое ожидание времени отказа.

Коэффициент готовности - вероятность того, что ПС окажется в работоспособном состоянии в произвольный момент времени его использования по назначению.

Термин модель надежности программного обеспечения, как правило, относится к математической модели, построенной для оценки зависимости надежности программного обеспечения от некоторых определенных параметров. Значения таких параметров либо предполагаются известными, либо могут быть измерены в ходе наблюдений или экспериментального исследования процесса функционирования программного обеспечения.

Модели надежности ПС:

1. Аналитические. Дают возможность рассчитать количественные показатели надежности, основываясь на данных о поведении программы в процессе тестирования (измеряющие и оценивающие модели).

1. Динамические. Поведение отказов зависит от времени.

1. Дискретные. Фиксируется число отказов за некоторое время и поведение программы представлено в дискретных точках.

• Модель Шумана

• Модифицированная модель Шумана

• Модель La Padula

• Модель Шика - Волвертона

1. Непрерывные. Фиксируются интервалы каждого отказа, т.е. получается непрерывная картина появления отказов по времени.

• Модель Джелинского-Моранды

• Модель Мусса

• Модель преходных вероятностей

1. Статические. Появление отказов не связано со временем. Не учитывается время появления ошибок в процессе тестирования и не используется никаких предположений о поведении функции риска.

1. По области ошибок. Учитывается связь количества ошибок и числа тестовых прогонов.

• Модель Миллса. Предполагает необходимость перед началом тестирования искусственно вносить в программу (засорять) некоторое количество известных ошибок. Собирается статистика об ошибках.

• Модель Липова. Модель Липова дополняет модель Миллса, дав возможность оценить вероятность обнаружения определенного количества ошибок к моменту оценки.

• Простая интуитивная модель

• Модель Коркорэна

1. По области данных. Учитывается связь количества ошибок с характеристиками входных данных ПС.

• Модель Нельсона

2. Эмпирические. Базируются на анализе структурных особенностей программ. Они рассматривают зависимость показателей надежности от числа межмодульных связей, количества циклов в модулях, отношения количества прямолинейных участков программы к количеству точек ветвления и т.д.

1. Модель сложности. Базируется на свойствах внутренней и внешней связанности модулей. Определяет вероятность того, что модуль i будет изменяться, если модуль j изменяется.

2. Модель, определяющая время доводки программы. Базируется на свойствах внутренней и внешней связанности модулей. Определяет вероятность того, что модуль i будет изменяться, если модуль j изменяется