ВВЕДЕНИЕ.
1. Методы проектирования программного обеспечения и систем автоматизированного тестирования.
1.1. Введение.
1.2. Принципы и методы проектирования программного обеспечения
1.3. Современные проблемы разработки программного обеспечения.
1.4. Классификация типов тестирования ПО
1.5. Обзор методов подготовки тестовых данных.
1.6. Обзор моделей, применимых к построению тестирующих программ.
1.7. Постановка задачи исследований.
1.8. Выводы.
2. Моделирование тестирующих программ
2.1. Определение структурных составляющих сети ПетриМаркова в
терминах задач тестирования
2.2. Взаимосвязь между пространством параметров и тестирующей
моделью.
2.3. Тестирование ввода данных
2.4. Последовательный и параллельный подход к тестированию линейной
последовательности операторов
2.5. Тестирование предикатных функций.
2.6. Тестирование итераций в программе
2.7. Свойства полумарковских процессов в однопереходных СГ1М,
моделирующих тестирующие программы.
2.8. Исследование процессов в типовых подсетях ПетриМаркова,
используемых при моделировании тестирующих программ
2.9. Выводы.
3. Построение моделей тестирования для сложных программных комплексов
с помощью сетей ПетриМаркова
3.1 Построение тестирующей модели с формированием дерева покрытия .
3.2 Комплексная модель тестирующей программы
3.3 Методика имитационного моделирования работы тестируемого ПО с
применением аппарата СПМ.
3.4 Моделирование распределенного тестирования программных
комплексов ПК
3.5 Общая методика применения сетей ПетриМаркова к задаче
тестирования.
3.6 Аппроксимация композиции плотностей законом распределения
4. Система автоматизированного тестирования программного комплекса обеспечения электронных расчетов.
4.1. Струкгура тестируемого комплекса
4.2. Схема тестирующего комплекса
4.3. Тестирование информационной безопасности
4.4. Комплексное автоматизированное тестирование.
ЗАКЛЮЧЕНИЕ.
ЛИТЕРАТУРА
- Київ+380960830922