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.
This School has two PhD programmes: the Centre for Doctoral Training (CDT) 4-year programme and a conventional 3-year PhD programme.
Candidates who have been offered a place for PhD study in the School of Computer Science may be considered for funding by the School. Further details on School funding can be found at: http://www.cs.manchester.ac.uk/study/postgraduate-research/programmes/phd/funding/school-studentships/.
The minimum requirements to get a place in our PhD programme are available from:
How good is research at University of Manchester in Computer Science and Informatics?
FTE Category A staff submitted: 44.86
Research output data provided by the Research Excellence Framework (REF)
Click here to see the results for all UK universities