Формирование мультиверсионных программных средств информационно-управляющих систем

СОДЕРЖАНИЕ
ВВЕДЕНИЕ.
1 АНАЛИЗ НАДЕЖНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
ИНФОРМАЦИОННОУПРАВЛЯЮЩИХ СИСТЕМ
1.1 Основные проблемы, возникающие при анализе надежности программного обеспечения.
1.2 Методы и средства обеспечения надежности ИУС
1.3 Представление надежности как логнормально распределенной случайной величины
2 ФОРМИРОВАНИЕ СОСТАВА МУЛЬТИВЕРСИЙ ИНФОРМАЦИОННО
УПРАВЛЯЮЩИХ СИСТЕМ
2.1 Формирование состава модулей программного обеспечения.
2.2 Метод миогоатрибутивного выбора оптимальной избыточности мультиверсионного ПО
2.3 Мультиверсионное программирование гарантоспособных программных компонент ПО.
2.3 Проблема выбора состава мультиверсий программного обеспечения для информационноуправляющих систем
2.3.1 Модель осуществимости функциональных задач на мультиверсионной
программной архитектуре
2.3.2 Оптимизационные задачи формирования мультиверсионного ПО для ИУС
3 КОМБИНИРОВАННЫЙ МЕТОД ПРИНЯТИЯ РЕШЕНИЙ О ПРОДОЛЖЕНИИ ИЛИ ПРЕКРАЩЕНИИ ЖИЗНЕННОГО ЦИКЛА ЭЛЕМЕНТОВ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ И ФОРМИРОВАНИЯ
СОСТАВА МУЛЬТИВЕРСИЙ
3.1 Жизненный цикл программ и основные составляющие стоимости разработки программного обеспечения. Методология 1ШР
3.2 Метод принятия решений о прекращении разработки жизненного цикла ПО, основанный на оценке вероятности принятия архитектуры, содержащей данную мультиверсию
4 ПРОГРАММНАЯ РЕАЛИЗАЦИЯ СИСТЕМЫ АНАЛИЗА НАДЕЖНОСТИ КОМПОНЕНТОВ И ФОРМИРОВАНИЯ СОСТАВА МУЛЬТИВЕРСИЙ
4.1 Системы поддержки принятия решений
4.1.1 Поддержка принятия решений.
4.1.2 Методология поддержки принятия решений.
4.1.3 Обобщенная схема поддержки принятия решений
4.1.4 Анализ альтернатив.
4.1.5 Программные средства принятия решений
4.1.6 Специальные системы поддержки принятия решений.
4.2 Описание системы
4.2.1 Концептуальная схема
4.2.2 Состав программ.
4.2.3 Логическая структура программы
4.2.4 Описание функционирования системы.
4.2.5 Описание применения системы.
4.2.6 Руководство системного программиста.
4.2.7 Руководство программиста
4.2.8 Руководство оператора.
4.3 Примеры решения задач и анализ результатов
4.3.1 Метод формирования наилучшего варианта мультиверсий Результаты
1.3.2 Анализ работы программы для разных порогов вероятности Р1.
ЗАКЛЮЧЕНИЕ
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ