18c0693f

Для автоматического получения представительных множеств


Для автоматического получения представительных множеств тестов строились генераторы на основе абстрактного описания алгоритма оптимизации. При построении генераторов использовались инструменты и библиотеки, которые существенно облегчали процесс разработки моделей и компонентов генератора. Некоторые этапы создания генератора при этом были полностью автоматизированы. Преимущества использования модельного подхода состоят в следующем: Перечисленные преимущества подтверждаются результатами ряда проектов по тестированию коммерческих компиляторов.



Все публикации раздела