Automated Test Case Generation for Optimizers Based on Attribute Grammar

Automated Test Case Generation for Optimizers Based on Attribute Grammar

Zelenov S.V. (ISP RAS, Moscow, Russia)

Abstract

In the paper, we present an approach to automated generation tests for optimization modules in compilers. The approach is based on describing of input data for compiler in attribute BNF-grammar. Attributes are used to automatedly meet semantics context conditions. The approach is implemented as a program in Haskell. We illustrate practical application of the approach by an example of test generator development for the Common Subexpression Elimination optimization.

Keywords

model-based testing; compiler testing; optimizer; automated test generation; attribute grammar

Edition

Proceedings of the Institute for System Programming, vol. 38, issue 6, part 2, 2026, pp. 41-56

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

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

For citation

Zelenov S.V. Automated Test Case Generation for Optimizers Based on Attribute Grammar. Proceedings of the Institute for System Programming, vol. 38, issue 6, part 2, 2026, pp. 41-56 DOI: 10.15514/ISPRAS-2026-38(6)-24.

Full text of the paper in pdf (in Russian) Back to the contents of the volume