Random Term Generation for Compiler Testing in Spoofax

Random Term Generation for Compiler Testing in Spoofax

Dwars, Martijn (TU Delft Electrical Engineering, Mathematics and Computer Science)

Visser, Eelco (mentor)
van Antwerpen, Hendrik (mentor)

Delft University of Technology

2018-03-12

Testing is the most commonly used technique for raising confidence in the correctness of a piece of software, but constructing an effective test suite is expensive and prone to error. Property-based testing partly automates this process by testing whether a property holds for all randomly generated inputs, but its effectiveness depends upon the ability to automatically generate random test inputs. When using property-based testing to test a compiler backend, the problem becomes that of generating random programs that pass the parsing and analysis phase. We present SPG (SPoofax Generator), a language-parametric generator of random well-formed terms. We describe three experiments in which we evaluate the effectiveness of SPG at discovering different kinds of compiler bugs. Furthermore, we analyze why the generator fails to detect certain compiler bugs and provide several ideas for future work. The results show that random testing can be a cost-effective technique to find bugs in small programming languages (such as DSLs), but its application to practical programming languages requires further research.

compiler testing
random testing
verification
spoofax
ambiguity
soundness

http://resolver.tudelft.nl/uuid:292c84e9-033b-448f-9c78-48eef9c79101

Student theses

master thesis

© 2018 Martijn Dwars