Некоторые оценки надежности программных средств

Для определения показателей надёжности ПС составляется функциональная схема, определяющая состав и взаимосвязь всех выделяемых для рассмотрения функций.

Устойчивость (УС) – способность функционировать в условиях возмущений внешней среды или в условиях отклонений от нормы внешних воздействий. Комплексно УС относительно внешних воздействий определяется объемом перечня допустимых возмущений, в которых ПС продолжит правильно решать задачи (восстановление), либо обеспечивает выход в защитный режим. Один из вариантов оценки УС:

· общее число возможных возмущений L_Σ;

· абсолютная устойчивость при числе возмущений L_a;

· относительная устойчивость при числе возмущений L_о.

Тогда количественные характеристики абсолютной и относительной устойчивостей: , .

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

· – среднее число ошибок в ПС;

· – вероятность отсутствия ошибок.

Число ошибок ПС задается распределение вероятностей ρ_i:

.

Тогда: где .

В качестве еще одного показателя КР можно использовать вероятность успешной обработки запросов, случайным образом выбранных из реального потока запросов:

, где w – событие успешной обработки данного запроса.

Показатель L определяет как число ошибок и их размещение в ветвях программы, так и статистические свойства реального потока запросов.

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

1. Общие характеристики модели.

Это объем, сложность и степень разветвленности реализуемого ритма; язык и общее число операторов; число используемых операндов.

2. Условия разработки.

Это уровень квалификации программистов и степень распределенности процесса программирования; использование программных средств; продолжительного процесса разработки, отладки и тестирования.

При составлении моделей составляется как макро так и микро подход.

Дата добавления: 2015-08-21