Содержание.
Введение.
1 Анализ методов оценки надежности программных средств на всех этапах жизненного цикла
1.1 Программное обеспечение и надежность
1.2 Проблемы в области исследования надежности программного обеспечения
1.2.1 Проблемы терминологии .
1.2.2 Проблемы выбора параметров
1.3 Классификация моделей оценки надежности программного обеспечения
1.3.1 Классификация по оптимизируемым параметрам надежности.
1.3.2 Классификация по используемым формальным методам
1.3.3 Классификация моделей по их месту в процессе разработки.
1.3.4 Прочие модели.
1.3.5 Гибридные модели
1.4 Методы и средства обеспечения надежности программного обеспечения
1.4.1 Методы проектирования надежного программного обеспечения
1.4.2 Методы предупреждения ошибок
1.4.3 Методы обнаружения ошибок.
1.4.4 Методы обеспечения устойчивости к ошибкам.
1.5 Фазы разработки программного обеспечения
1.6 Фаза дизайна архитектуры программного обеспечения.
1.6.1 Создание архитектуры программного обеспечения, как этап проектирования информационной системы
1.6.2 Зависимость надежности от архитектуры программного обеспечения
1.6.3 Компоненты архитектуры
1.6.4 Свойства компонентов архитектуры
1.6.5 Надежность архитектуры программного обеспечения.
1.7 Фаза кодирования
1.8 Фаза тестирования.
1.8.1 Методология тестирования программного обеспечения
1.8.2 Моделирование роста надежности программного обеспечения
1.8.3 Операционные профили тестирования
1.9 Выводы.
2 Мультиверсионное программное обеспечение
2.1 Базовые элементы мультиверсиоиного программного обеспечения
2.2 Жизненный цикл мультиверсиоиного программного обеспечения
2.2.1 Фаза системных спецификаций формирование Ь1УХ 4 супервизор .
2.2.2 Фаза выработки требований к ПО выбор способов достижения и степени разнообразия версий ПО.
2.2.3 Фаза спецификации ПО установка определителей ошибок и алгоритмов восстановления.
2.2.4 Фаза проектирования и кодирования ведение СШпротокола развития ЫУБ
2.2.5 Фаза тестирования фаза предварительной эксплуатации 3.
2.2.6 Фаза оценки и принятия оценка отказоустойчивости Ь1У8
2.2.7 Фаза сопровождения и развития выбор и осуществление способа сопровождения ЫУБ
2.3 Восстановление сбойных компонент при мультнвсрсиоппом объектно
и ориентированном программировании.
2.3.1. Подход к построению избыточности программного обеспечения.
2.3.2 Избыточность программного обеспечения и объектноориентированный подход.
2.3.3 Общие принципы реализации мультивсрсионной избыточности
2.3.4 Современные подходы реализации мультиверсиоиной избыточности
2.3.5 Объектноориентированное восстановление версий компонент программного обеспечения.
2.4 Выводы.
3 Модели и алгоритмы анализа надежности программных средств
3.1 Модель анализа на этапе дизайна архитектуры программного обеспечения .
3.2 Анализ надежности программного обеспечения на фазе кодирования
3.3 Анализ надежности программного обеспечения на фазе тестирования системы .
3.4 Операционные профили тестирования компонент
3.4.1 Оценивание вероятностей сбоя.
3.4.2 Ведение таблиц параметров профилей.
3.4.2 Пример применения операционных профилей
3.5 Модели надежности объектноориентированного программного обеспечения .
3.5.1 Фаза построения архитектуры объектноориентированного программного обеспечения
3.5.2 Фаза кодирования.
3.5.3 Фаза тестирования
3.5.4 Оценка параметров надежности.
3.5.6 Модель оценки транзакционной надежности объектноориентированного программного обеспечения
4 Программная реализация системы модельноалгоритмической поддержки многоэтапного анализа надежности программных средств. Практическое применение и анализ результатов
4.1 Общие сведения.
4.2 Описание системы модельноалгоритмической поддержки многоэтапного анализа надежности программных средств.
4.3 Концептуальная архитектура системы модельноалгоритмической поддержки многоэтапного анализа надежности программных средств.
4.3.1 Логическая структура данных
4.4 Концептуальная архитектура реализации мультиверсиопной среды.
4.5 Описание функционирования системы
4.6 Примеры решения задач и анализ результатов.
4.6.1. Фаза создания архитектуры.
4.6.2 Фазы кодирования и тестирования компонент.
4.6.3 Фаза тестирования системы
4.6.4 Фаза эксплуатации
4.7. Анализ результатов
Заключение.
Список использованных источников
- Київ+380960830922