Подходы к оценке надежности программных изделий

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

Обычно используются следующие характеристики надежности:

1. Вероятность безотказной работы;

2. Вероятность отказа;

3. Интенсивность отказа - число отказов в единицу времени;

4. Средняя наработка до отказа – суммарное время безотказной работы до текущего момента, деленное на количество ошибок;

5. Среднее время восстановления. При этом данное время является суммарным временем, затраченным на обнаружение и восстановление возможной ошибки.

Все модели надежности программного изделия принято подразделять на эмпирические и аналитические. Эмпирические модели основаны на анализе структуры программного изделия, а также на анализе готовых программ. Считается, что надежность прямо пропорциональна сложности программного изделия. Данные методы не дают конечных результатов надежности программного изделия и используются на начальных этапах оценки надежности.

Аналитические модели используются при получении количественных характеристик надежности программного изделия. При этом надежность может определяться непосредственно при тестировании программ и при испытаниях в реальных условиях. Все аналитические модели подразделяются на динамические и статистические. Динамические модели характеризуются определением показателей с учетом временных интервалов. В статистических количество ошибок не связывают с временем их появления.

Модели надежности

Аналитические Эмпирические

…. Динамические Статистические

Пример динамической модели оценки надежности – модель Шумана: все появляющиеся ошибки фиксируются в течение некоторых случайных временных интервалов. При их появлении они не исправляются до завершения этапа. После завершения этапа производится анализ оценки надежности. Предполагаем, что новые ошибки при тестировании не вносятся, скорость обнаружения пропорциональна количеству ошибок.

Пусть Е_t – количество ошибок, находящееся в программе до начала тестирования,

e_t - количество ошибок в расчете на одну команду,

N – количество команд в программном изделии,

l - интенсивность появления ошибок за период t.

Пусть получены следующие данные после ряда прогонов:

Расчетные данные: программное изделие содержало 1000 инструкций

e_a=11/1000=0,011; e_b=25/1000=0,025(8)

t_a=11; t_b=28;

l_b=25/28=0,89; l_a=11/11=1.

E=[1000*(0,89/1*0,011-0,025)]/(0,89/1-1)@138.

Дата добавления: 2014-03-04; просмотров: 418; Нарушение авторских прав

Мы поможем в написании ваших работ!