Методы генерации тестовых сценариев на основе структурированных UCM-моделей проектируемой системы

Введение
Глава 1. Обзор методов и средств тестирования на основе моделей.
1.1 Подходы к тестированию в промышленных программных проектах.
1.1.1 Подходы к повышению качества 0.
1.1.2 Виды тестирования
1.1.3 Обзор инструментов тестирования
1.2 Тестирование на основе моделей.
1.2.1 Особенности подхода к тестированию на основе моделей.
1.2.2 Методы создания тестовых сценариев на основе моделей.
1.2.3 Преимущества и ограничения тестирования на основе моделей
1.3 Сравнительный обзор инструментов тестирования на основе моделей
1.3.1 Покрытие определенных элементов дерева поведения модели
1.3.2 Покрытие входных значений переменных.
1.3.3 Отслеживание покрытия требований.
1.3.4 Поддержка работы с моделью и тестирования
1.3.5 Автоматическое создание окружения тестирования.
1.3.6 Результаты сравнения инструментов тестирования на основе моделей.
1.4 Выводы.
Глава 2. Концепция методов генерации тестовых сценариев и их интеграция в технологии V.
2.1 Технологическая цепочка V и схема интеграции методов генерации тестовых сценариев.
2.2 Формальные модели в нотациях и базовых протоколов
2.2.1 Применение двух формальных нотаций в рамках одной технологии.
2.2.2 Основы нотации .
2.2.3 Нотация базовых протоколов
2.2.4 Преобразование компонентов и элементов в базовые протоколы.
2.3 Метод структурирования пространсгва поведения формальной модели
2.3.1 Генерация трасс
2.3.2 Метод расширенных протоколов.
2.3.3 Факторизация поведения модели с помощью элемента
2.3.4 Интерпретация элемента в виде расширенного протокола
2.3.5 Подключение расширенного протокола к общему сценарию поведения системы с помощью протоколовконнекторов
2.3.6 Факторизация пространства поведения модели базовых протоколов
2.4 Оценка сложности пространства поведения формальной модели и метод его сокращения для генерации тестовых сценариев.
2.4.1 Описания поведения системы, представленной в виде базовых протоколов
2.4.2 Комбинаторный взрыв числа состояний
2.4.3 Метод эвристик.
2.5 Формулировка критерия покрытия функциональных требований.
2.5.1 Измеряемость требований
2.5.2 Структурный критерий покрытия требований.
2.6 Выводы.
Глава 3. Реализация методов генерации набора тестовых сценариев по структурированным формальным моделям
3.1 Реализация методов создания и структурирования формальной модели.
3.1.1 Инструмент 2
3.1.2 Режим 2
3.1.3 Структурирование формальной модели.
3.2 Реализация методов создания эвристик для получения тестовых сценариев
3.2.1 Метод создания эвристик но набору МБСдиаграмм.
3.2.2 Метод создания эвристик по набору МБСдиаграмм и критериальным цепочкам
3.2.3 Инкрементальный метод создания эвристик
3.3 Реализация методов оценки критериального покрытия и сокращения тестового набора
3.3.1 Реализация метода отслеживания соответствия между требованиями и элементами
модели
3.3.2 Реализация метода поиска покрытия требований в трассах.
3.3.3 Реализация метода сокращения тестового набора и разметка требований в трассах
3.4 Выводы.
Глава 4. Результаты применения разработанных методов генерации тестовых сценариев.
4.1 Обобщенная схема применения разработанных методов
4.2 Применение разработанных методов в проекте СОМА
4.3 Анализ результатов применения разработанных методов
4.4 Выводы.
Заключение.
Литература