Система анализа архитектурной надежности программного обеспечения

СОДЕРЖАНИЕ
ВВЕДЕНИЕ
1. Разработка надежного программного обеспечения.
1.1.Надежность программного обеспечения. Основные понятия и причины ошибок
1.2.одходы к обеспечению надежности программного обеспечения
1.2.1. Предотвращение ошибок.
1.2.2. Обнаружение и исправление ошибок .
1.2.3. Устойчивость к ошибкам
1.3.Модели надежности программного обеспечения
1.3.1. Динамические модели надежности
1.3.2. Статические модели надежности.
2. Различные подходы к моделированию отказоустойчивых программных архитектур
2.1.Мультиверсиош1ые методы проектирования отказоустойчивых
архитектур.
2.1.1. Общая характеристика мультиверсионных методов.
2.1.2. Метод блоков восстановления.
2.1.3. Диверсионное программирование.
2.1.4. Гибридные мультиверсионные методы.
2.2. Моделирование отказоустойчивых программных архитектур
2.2.1. Имитационное моделирование
2.2.2. Метод, основанный на классических теоремах теории вероятностей.
2.2.3. ГЕРТсетевой анализ отказоустойчивых программных
архитектур.
2.2.4. Применение Марковских процессов для анализа надежности мультиверсионного программного обеспечения.
ВЫВОДЫ.
3. Математические модели отказоустойчивых программных
архитектур
3.1.Блоки восстановления
3.1.1. Схема функционирования программной архитектуры с блоками восстановления.
3.1.2. Алгоритм моделирования КВ архитектуры
3.1.3. Модель надежности ЯВ архитекту ры с постоянной вероятностью
безотказной работы версий.
3.2. Диверсионное программирование
3.2.1. Схема функционирования Диверсионной программной
архитектуры.
3.2.2. Алгоритм моделирования УР архитектуры.
3.2.3. Межверсионные ошибки
3.2.4. Модель надежности МУР архитектуры с постоянной
вероятностью безотказной работы версий
4. Программная реализация системы анализа архитектурной
надежности.
4.1. Описание программной системы 8ААпа1уз1з
4.2. Руководство программиста
4.3. Примеры решения задач и анализ результатов
ЗАКЛЮЧЕНИЕ1
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ