Аналитические модели надежности — Модели надежности программного обеспечения

АНАЛИТИЧЕСКИЕ МОДЕЛИ НАДЕЖНОСТИ


Аналитические модели надежности

Аналитическое моделирование надежности ПС включает че­тыре шага:

1)  определение предположений, связанных с процедурой тестирования ПС;

2)  разработка или выбор аналитической модели, базирующейся на предположениях о процедуре тестирования;

3)  выбор параметров моделей с использованием полученных
данных;

4)  применение модели — расчет количественных показателей
надежности по модели.

 

Динамические модели надежности.

Модель Шумана. Исход­ные данные для модели Шумана, которая относится к динами­ческим моделям дискретного времени, собираются в процессе тестирования ПС в течение фиксированных или случайных времен­ных интервалов. Каждый интервал — это стадия, на которой выполняется последовательность тестов и фиксируется некото­рое число ошибок.

Модель Шумана может быть использована при определенным образом организованной процедуре тестирования. Использова­ние модели Шумана предполагает, что тестирование проводится в несколько этапов. Каждый этап представляет собой выполне­ние программы на полном комплексе разработанных тестовых данных. Выявленные ошибки регистрируются (собирается ста­тистика об ошибках), но не исправляются. По завершении этапа на основе собранных данных о поведении ПС на очередном эта­пе тестирования может быть использована модель Шумана для расчета количественных показателей надежности. После этого исправляются ошибки, обнаруженные на предыдущем этапе, при необходимости корректируются тестовые наборы и проводится новый этап тестирования. При использовании модели Шумана предполагается, что исходное количество ошибок в программе постоянно и в процессе тестирования может уменьшаться по мере того, как ошибки выявляются и исправляются. Новые ошибки при корректировке не вносятся. Скорость обнаружения ошибок пропорциональна числу оставшихся ошибок. Общее число ма­шинных инструкций в рамках одного этапа тестирования посто­янно.

Модель Джелинского — Моранды. Модель Джелинского — Моранды относится к динамическим моделям непрерывного време­ни. Исходные данные для использования этой модели собирают­ся в процессе тестирования ПС. При этом фиксируется время до очередного отказа. Основное положение, на котором базируется модель, заключается в том, что значение интервалов времени тестирования между обнаружением двух ошибок имеет экспонен­циальное распределение с частотой ошибок (или интенсивнос­тью отказов), пропорциональной числу еще не выявленных оши­бок. Каждая обнаруженная ошибка устраняется, число оставших­ся ошибок уменьшается на единицу.

 

Популярные статьи

 

БАНКИ ДАННЫХ
ИНФОРМАЦИОННАЯ ТЕХНОЛОГИЯ УПРАВЛЕНИЯ
ДОСТОИНСТВА И НЕДОСТАТКИ ИМИТАЦИОННОГО МОДЕЛИРОВАНИЯ
ИНФОРМАЦИОННАЯ ТЕХНОЛОГИЯ ОБРАБОТКИ ДАННЫХ
ВИДЫ ОБЕСПЕЧЕНИЯ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ 
ОСНОВНЫЕ ПОНЯТИЯ ТЕОРИИ АЛГОРИТМОВ
ИНФОРМАЦИОННАЯ ТЕХНОЛОГИЯ АВТОМАТИЗАЦИИ ОФИСА
КОМПЛЕКСНОЕ ТЕСТИРОВАНИЕ
КОМПОНЕНТЫ ИНФОРМАЦИОННОЙ ТЕХНОЛОГИИ АВТОМАТИЗАЦИИ ОФИСА
АВТОМАТИЗИРОВАННОЕ РАБОЧЕЕ МЕСТО СПЕЦИАЛИСТА
ЭТАПЫ РАЗВИТИЯ ИНФОРМАТИЗАЦИИ
ПОНЯТИЕ МУНИЦИПАЛЬНОЙ ИНФОРМАЦИОННОЙ СИСТЕМЫ 
РЕЖИМЫ ОБРАБОТКИ ИНФОРМАЦИИ
ФУНКЦИИ АВТОМАТИЗИРОВАННОЙ ИНФОРМАЦИОННОЙ ТЕХНОЛОГИИ
МЕТОДЫ ОБЕСПЕЧЕНИЯ НАДЕЖНОСТИ ПРОГРАММНЫХ СРЕДСТВ
ПРАВИЛА ЗАЩИТЫ ОТ КОМПЬЮТЕРНЫХ ВИРУСОВ
ДОКУМЕНТАЛЬНЫЕ ИНФОРМАЦИОННЫЕ СИСТЕМЫ
ПРОТОКОЛЫ ТЕСТИРОВАНИЯ
ДЕСТРУКТИВНЫЕ ВОЗМОЖНОСТИ ВИРУСОВ
КЛАССИФИКАЦИЯ АВТОМАТИЗИРОВАННЫХ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ
КОНЦЕПТУАЛЬНАЯ, ЛОГИЧЕСКАЯ И ФИЗИЧЕСКАЯ МОДЕЛИ
КОМПЬЮТЕРНЫЕ ТЕХНОЛОГИИ ПОДГОТОВКИ ТЕКСТОВЫХ ДОКУМЕНТОВ
ИНФОРМАЦИОННАЯ ТЕХНОЛОГИЯ ЭКСПЕРТНЫХ СИСТЕМ
ДИАЛОГОВЫЙ РЕЖИМ АВТОМАТИЗИРОВАННОЙ ОБРАБОТКИ ИНФОРМАЦИИ
ТЕХНИЧЕСКОЕ ОБЕСПЕЧЕНИЕ КОМПЬЮТЕРНЫХ СЕТЕЙ