feature: add a random AST generator to be used at testing time

INRIA / spoon

Spoon is a metaprogramming library to analyze and transform Java source code. :spoon: is made with :heart:, :beers: and :sparkles:. It parses source files to build a well-designed AST with powerful analysis and transformation API.

http://spoon.gforge.inria.fr/

Other

1.74k stars 346 forks source link

feature: add a random AST generator to be used at testing time #1960

Open monperrus opened 6 years ago

monperrus commented 6 years ago

for testing purposes, there are many cases where we need a AST tree generator which explores all combinations.

one solution for this would be to use Alloy or another technology that handles all the combinatorics of ASTs.

that would be useful for #1927

monperrus commented 5 years ago

Related work for @nharrand :

Testing an optimising compiler by generating random lambda terms
Grammar-based whitebox fuzzing
Automated testing of refactoring engines
Active Learning of Input Grammars