Введение
1 Проблемы проектирования компонентных распределенных систем управления 6
1.1 Основные понятия компонентных технологий 6
1.2 Общие принципы построения распределенных систем 11
1.3 Синхронное и асинхронное взаимодействие 20
1.4 Транзакции 28
1.5 Проблемы проектирования надежного программного обеспечения 32
2 Современные технологии программирования распределенного программного обеспечения 38
2.1 Технология программирования СОМ+ 38
2.1.1 Не жестко связанные события 42
2.1.2 Компоненты с поддержкой очередей 45
2.1.3 СОМ+ безопасность 48
2.2 Технология программирования .NET 50
2.2.1 Структура .NET Framework 53
2.2.2 Библиотека базовых классов 55
2.2.3 .NET и СОМ-объекты 57
2.2.4 Среда исполнения .NET-программ 58
3 Структуры мультиверсионных моделей 61
3.1 Блоки восстановления 61
3.2 N-версионное программирование 65
3.3 N-версионное программирование с самоконтролем 66
3.4 Блоки восстановления с согласованием 67
3.5 Проблемы мультиверсионного программного обеспечения 68
3.5.1 Разработка мультиверсионного программного обеспечения 69
3.5.2 Алгоритмы выбора вывода 72
3.6 Отказоустойчивость в операционных системах 76
3.7 Выводы 78
4 Многоверсионность данных и управление параллельными транзакциями 80
4.1 Транзакции и параллелизм 80
4.2 Временные метки 91
4.3 Многоверсионный вариант двухфазного протокола синхронизации 93
4.4 Многоверсионный протокол для транзакций, не изменяющих данные 95
4.5 MVSG-планировщики 97
4.6 Проблемы реализации версионных алгоритмов 100
4.7 Выводы 102
5 Модели и алгоритмы анализа надежности программных средств 104
5.1 Модель анализа на этапе дизайна архитектуры ПО 104
5.2 Анализ надежности программного обеспечения на фазе кодирования 108
5.3 Анализ надежности программного обеспечения на фазе тестирования системы 109
5.4 Операционные профили тестирования компонент 111
5.4.1 Оценивание вероятностей сбоя 113
5.4.2 Ведение таблиц параметров профилей 113
5.4.2 Пример применения операционных профилей 114
5.5 Модели надежности объектно-ориентированного программного обеспечения 116
5.5.1 Фаза построения архитектуры объектно-ориентированного программного обеспечения 116
5.5.2 Фаза кодирования 120
5.5.3 Фаза тестирования 120
5.5.4 Оценка параметров надежности 120
5.5.6 Модель оценки транзакционной надежности объектно-ориентированного программного обеспечения 120
Заключение 126
Список использованных источников
