Автоматическая генерация тестовых данных для оптимизаторов графических моделей

       

Автоматическая генерация тестовых данных для оптимизаторов графических моделей

Введение
Метод автоматизации тестирования оптимизаторов графических моделей
Построение абстрактной тестовой модели
Формулировка критерия покрытия
Создание генератора тестов
Генератор тестовых данных для оптимизатора Switch-блока
Генератор тестовых данных для оптимизатора Flowchart

Заключение
Список литературы
Приложение A. Примеры сгенерированных тестовых данных