Тестирование софта - статьи
ce076b8f

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


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

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