Testing Program Generators

Primary supervisor

Contact admissions office


  • Self-Funded Students Only
If you have the correct qualifications and access to your own funding, either from your home country or your own finances, your application to work with this supervisor will be considered.

Project description

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.

▲ Up to the top