Введение
Глава 1 Обзор существующих методов обеспечения качества программных систем и постановка задачи исследования 7
1.1 Жизненный цикл пс 7
1.2 Модели жизненного цикла по 10
1.3 Основные источники ошибок 14
1.4 Постановка задачи тестирования программных систем 26
1.5 Особенности тестового диагностирования пс 29
1.6 Методы построения тестов 35
1.7 Постановка задачи исследования 37
Глава 2 Математическая модель и стратегии определения состояния программных систем 40
2.1 Ориентированный упорядоченный граф 42
2.2 Матричная модель 45
2.3 Обобщённая вероятностно-структурная модель 53
2.4 Стратегия определения состояния системы 55
2.5 Выводы 56
Глава 3 Методы и алгоритмы обеспечения контролепригодности программных систем 57
3.1 Оптимизация принятия решения о состоянии пс 58
3.2 Оптимизация выбора множества тестов 63
3.3 Организация виртуальных программных модулей (впм) 70
3.4 Выводы 72
Глава 4 Практические аспекты проблемы обеспечения контролепригодности программного комплекса 74
4.1 Имитационная модель n-канальной системы массового обслуживания 74
4.2 Выводы 82
Библиографический список
