Введение
1. Методы проектирования программного обеспечения и систем автоматизированного тестирования 11
1.1. Введение 11
1.2. Принципы и методы проектирования программного обеспечения 14
1.3. Современные проблемы разработки программного обеспечения 25
1.4. Классификация типов тестирования ПО 25
1.5. Обзор методов подготовки тестовых данных 28
1.6. Обзор моделей, применимых к построению тестирующих программ.33
1.7. Постановка задачи исследований 48
1.8. Выводы 49
2. Моделирование тестирующих программ 51
2.1. Определение структурных составляющих сети Петри-Маркова в терминах задач тестирования 51
2.2. Взаимосвязь между пространством параметров и тестирующей моделью 53
2.3. Тестирование ввода данных 55
2.4. Последовательный и параллельный подход к тестированию линейной последовательности операторов 58
2.5. Тестирование предикатных функций 63
2.6. Тестирование итераций в программе 69
2.7. Свойства полумарковских процессов в однопереходных СПМ, моделирующих тестирующие программы 71
2.8. Исследование процессов в типовых подсетях Петри-Маркова, используемых при моделировании тестирующих программ 79
2.9. Выводы 85
3. Построение моделей тестирования для сложных программных комплексов с помощью сетей Петри-Маркова 87
3.1 Построение тестирующей модели с формированием дерева покрытия .87
3.2 Комплексная модель тестирующей программы 94
3.3 Методика имитационного моделирования работы тестируемого ПО с применением аппарата СПМ 100
3.4 Моделирование распределенного тестирования программных комплексов (ПК) 107
3.5 Общая методика применения сетей Петри-Маркова к задаче тестирования 110
3.6 Аппроксимация композиции плотностей законом распределения 112
4. Система автоматизированного тестирования программного комплекса обеспечения электронных расчетов 116
4.1. Структура тестируемого комплекса 116
4.2. Схема тестирующего комплекса 119
4.3. Тестирование информационной безопасности 123
4.4. Комплексное автоматизированное тестирование 126
Заключение 131
Литература 133
Приложение 143
