Метод автоматизации тестирования оптимизаторов графических моделей
Метод GraphOTK автоматической генерации тестовых данных для тестирования оптимизирующих трансляторов графических моделей является развитием метода генерации тестовых данных для оптимизаторов в компиляторах языков программирования [].
Метод заключается в том, чтобы построить для тестируемого оптимизатора представительное множество входных графических моделей следующим образом:
- построить абстрактную тестовую модель входных данных оптимизатора;
- в терминах абстрактной тестовой модели сформулировать критерий покрытия этих входных данных;
- перебрать соответствующие тестовые данные.
