Царев Р. Ю. Оценка и повышение надежности программно-информационных технологий

Description

Царёв, Р. Ю. Оценка и повышение надежности программно-информационных технологий : учеб. пособие / Р. Ю. Царёв, А. В. Прокопенко, А. Н. Князьков.......Page 1 ОГЛАВЛЕНИЕ......Page 4 ВВЕДЕНИЕ......Page 8 1.1. Программное обеспечение и надежность......Page 9 1.2. Проблемы в области исследования надежности программного обеспечения......Page 10 1.3. Классификация моделей оценки надежности ПО......Page 13 1.4. Методы и средства обеспечения надежности программного обеспечения......Page 15 1.5. Фазы разработки программного обеспечения......Page 16 1.6. Фаза дизайна архитектуры программного обеспечения......Page 17 1.7. Фаза кодирования......Page 25 1.8. Фаза тестирования......Page 26 1.9. Целеориентированный подход к жизненному циклу программных средств......Page 32 2.1. Базовые элементы мультиверсионного программного обеспечения......Page 37 2.2. Жизненный цикл мультиверсионного программного обеспечения......Page 40 2.3. Восстановление сбойных компонент при мультиверсионном объектно-ориентированном программировании......Page 43 2.4. Формализация задачи мультиверсионного формирования программно-информационных технологий с гарантированной доступностью ресурсов......Page 48 2.5. Модель использования ресурсов при формировании программно-информационных технологий......Page 52 2.6. Алгоритмические процедуры мультиверсионного формирования программно-информационных технологий......Page 61 2.7. Применение мультиверсий для обеспечения отказоустойчивости программно-информационных технологий......Page 69 3.1. Модель анализа на этапе дизайна архитектуры программного обеспечения......Page 81 3.2. Анализ надежности программного обеспечения на фазе кодирования......Page 84 3.3. Анализ надежности программного обеспечения на фазе тестирования системы......Page 85 3.4. Операционные профили тестирования компонент......Page 86 3.5. Модели надежности объектно-ориентированного программного обеспечения......Page 90 4.2. Описание системы модельно-алгоритмической поддержки многоэтапного анализа надежности программных средств......Page 98 4.3. Концептуальная архитектура системы модельно-алгоритмической поддержки многоэтапного анализа надежности программных средств......Page 99 4.4. Концептуальная архитектура реализации мультиверсионной среды......Page 101 4.5. Описание функционирования системы......Page 103 4.6. Примеры решения задач и анализ результатов......Page 105 5.1. Обеспечение отказоустойчивости и доступности ресурсов программно-информационных технологий......Page 112 5.2. Обеспечение гарантированной готовности программно-информационных технологий......Page 123 5.3. Задачи управления корпоративными программно-информационными технологиями......Page 131 6.1. Процедуры формирования ПИТ......Page 147 6.2. Программная система поддержки мультиверсионного формирования программно-информационных технологий......Page 162 6.3. Использование программной системы поддержки для повышения доступности ресурсов корпоративной СУБД......Page 166 ЗАКЛЮЧЕНИЕ......Page 171 БИБЛИОГРАФИЧЕСКИЙ СПИСОК......Page 173