Testing Program Generators
Model-driven software development (http://modeldrivensoftware.net/) is seeking to raise the abstraction level at which software development occurs. In the process, by reducing the size of the maintained code base, it can assist in supporting agile approaches where change is inevitable and the smaller a smaller code base the smaller the consequences of change.
One key part is the existence of code generators that take abstract models and automatically produce the final required implementation code. In practice, these code generators are stable programs that can be used in many projects and code snippets (templates) are are application area specific. Although the stable programs can be tested using standard testing techniques, the same is not true for the code snippets.
This project is to bring more rigor to the testing of these snippets.