Введение
1. Анализ современных методов повышения надежности ПО 12
1.1. Процесс разработки ПО 12
1.2. Качество ПО 20
1.3. Надежность ПО 27
1.4. Программный контроль для повышения надежности вычислительной техники. Оперативный контроль и диагностика 38
1.5. Поиск ошибок в тексте программы и тестирование 45
1.6. Модели надежности ПО 47
1.7. Выводы 51
2. Разработка модели надежности по на основе марковских систем массового обслуживания 53
2.1. Модель появления и устранения ошибок 53
2.2. Распределение ошибок по этапам ЖЦ 67
2.3. Уточнение модели для описания работы однотипных программ 79
2.4. Уточнение модели надежности ПО как СМО с отказами, недостоверным обслуживанием, ожиданием и взаимопомощью 90
2.5. Разработка модели надежности ПО как замкнутой СМО – учет работы программистов 102
2.6. Разработка модели надежности клиентских программ в ПО типа клиент-сервер 111
2.7. Разработка общей модели надежности ПО типа клиент-сервер как марковской модели смешанного типа 127
2.8. Выводы 133
3. Исследование путей повышения надежности по на основе предложенной модели ПО 136
3.1. Постановка задачи 136
3.2. Описание функционирования программы моделирования 136
3.3. Алгоритм одного розыгрыша 138
3.4. Практические результаты моделирования 140
3.5. Выводы 147
4. Заключение 149
Сокращения 154
Библиографический список 155
Приложения 158
