m- количество остановов
tnpi – время простоя – время на обнаружение, устранение неисправности
u- время на рофилактику
ti – время исправной работы
2. Коэффициент готовности –отношение общего времени исправной работы к общему времени исправной работы и времени на обнаружение и устранение неисправностей. Τi
Кг показывает вероятность того, что аппаратура в каждый момент времени находится в исправном состоянии, годном для работы. Улучшить Кг можно сокращая Тв: улучшение квалификации персонала, наличие запчастей, привлечение средств для обнаружения и устранения неисправностей.
Надежность ПО
Отказы АО и ПО по своей природе различны. Для АО это:
1) ошибки проектирования
2) производственный дефект – ошибка, имеющаяся в одном/нескольких изделиях из-за того, что именно они были плохо сделаны.
3) Сбои – это дефекты, которые выявились в процессе эксплуатации вследствие старения, условий среды.
Для ПО все ошибки заложены при проектировании:
1) Ошибки алгоритма
2) Ошибки кодирования
3) Неправильное повторное использование
4) Изменение условий работы
Для ПО время прямо не влияет на надежность; надежность зависит от данных (в отличие от АО)
Модель надежности – это математическая модель, построенная для оценки зависимости надежности от заранее известных или оцененных в ходе создания ПО параметров.
Определение показателей надежности принято рассматривать в единстве трех процессов:
ü Предсказания
ü Измерения
ü Оценивания
Предсказание – это определение количественных показателей надежности исходя из характеристик будущего ПО
Измерение – это определение количественных показателей надежности основанное на анализе данных об интервалах между отказами, полученных при выполнении программ в условиях тестовых испытаний.
Оценивание - это определение количественных показателей надежности в реальных условиях функционирования.
Модели надежности делятся исходя из того, какой из процессов они поддерживают.
I. Аналитические – дают возможность рассчитать количественные показатели, основываясь на данных поведения ПО в процессе тестирования.
II. Эмпирические – базируются на анализе структурных особенностей ПО (число межмодульных связей, количество циклов, отношение прямолинейных участков к точкам ветвей) Эти модели используются на этапе проектирования
Аналитические модели делятся на динамические и статические.
В динамических моделях поведение ПО рассматривается во времени, а в статических учитывается только зависимость ошибок от количества прогонов. (статическая по области ошибок) или характеристики входных данных. (статическая по области данных).
При использовании динамических моделей необходимо иметь данные о появлении отказов во времени. Если фиксируются интервалы времени появления каждого отказа – динамическая модель с непрерывным временем; если количество отказов в интервале времени – с дискретным временем.
Динамическая модель шума
Тестирование производится в несколько этапов, каждый из которых – выполнение программы на полном комплексе разработанных тестовых данных. Выявленные ошибки фиксируются, но не исправляются. После завершения этапа на основе собранных данных рассчитываются количественные показатели надежности. Ошибки исправляются и проводится новый этап тестирования.
Предполагается, что количество ошибок в программе с каждым этапом уменьшается. Скорость обнаружения ошибок пропорциональна числу оставшихся ошибок.
Статическая модель Миллса
Сначала программа «засоряется» некоторым количеством известных ошибок , которые вносятся случайным образом, фиксируются в протоколе. Специалист, проводящий тестирование (тестер) не знает ни количество, ни характер этих ошибок.
Предполагается, что для собственных ошибок и внесенных вероятность обнаружения одинакова и зависит только от их количества. Тестируя программу и сортируя собственные и внесенные ошибки можно оценить число N – первоначальное число ошибок в программе.
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.