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

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

Зеленов С.В. (ИСП РАН, Москва, Россия)

Аннотация

В статье представлен подход, позволяющий полностью автоматически генерировать тесты для оптимизирующих модулей в компиляторах. Подход основан на задании модели входных данных для компилятора в виде атрибутной BNF-грамматики, где атрибуты используются для автоматического обеспечения статической семантики. Подход реализован в виде программного комплекса на языке Haskell. Практическое применение подхода иллюстрируется на примере разработки генератора тестов для оптимизации «Удаление общих подвыражений».

Ключевые слова

Тестирование на основе моделей; тестирование компиляторов; оптимизатор; автоматическая генерация тестов; атрибутная грамматика

Издание

Труды Института системного программирования РАН, том 38, вып. 6, часть 2, 2026, стр. 41-56.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2026-38(6)-24

Для цитирования

Зеленов С.В. Автоматическая генерация тестов для оптимизаторов на основе атрибутной грамматики. Труды Института системного программирования РАН, том 38, вып. 6, часть 2, 2026, стр. 41-56. DOI: 10.15514/ISPRAS-2026-38(6)-24.

Полный текст статьи в формате pdf Вернуться к содержанию тома