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

       

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


Метод GraphOTK автоматической генерации тестовых данных для тестирования оптимизирующих трансляторов графических моделей является развитием метода генерации тестовых данных для оптимизаторов в компиляторах языков программирования [].

Метод заключается в том, чтобы построить для тестируемого оптимизатора представительное множество входных графических моделей следующим образом:

  • построить абстрактную тестовую модель входных данных оптимизатора;
  • в терминах абстрактной тестовой модели сформулировать критерий покрытия этих входных данных;
  • перебрать соответствующие тестовые данные.



Содержание раздела