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