Введение
Глава 1. Обзор существующих методов тестирования программного и постановка задачи исследования 9
1.1 Жизненный цикл ПО 9
1.2 Качество ПО 15
1.3 Структурная сложность ...17
1.4 Тестирование 23
1.5 Классификация ошибок 34
1.6 Постановка задачи 36
Глава 2. Базовая модель объектно-ориентированного программного обеспечения 38
2.1 Особенности ОО ПО по сравнению с традицинным ПО 38
2.2 Автоматная модель объектно-ориентированного программного обеспечения 44
2.3 Автотрассировка 49
2.4 Выводы по главе 2 67
Глава 3. Диагностическая модель. Методы и алгоритмы тестирования объектно-ориентированного программного обеспечения 68
3.1 Модель и стратегия определения состояния объектно-ориентированного программного обеспечения 68
3.2 Оптимизация выбора тестов по информационному критерию 71
3.3 Принятие решения о векторе состоянияі автомата но критерию максимума апостериорной вероятности 73
3.4 Выводы по главе 3 85
Глава 4. Практические аспекты тестирования 86
Заключение 107
Библиографический список 108
Приложение 1 код программы, реализующий алгоритм автоматического построения графа переходов конечного автомата 119
Приложение 2 дипломы и свидетельства о регистрации программы и отчета по научно-исследовательской работе 151
