Student Projects
- ConAn plugin for Eclipse
The ConAn testing tool has been developed for the testing of Concurrent Java components. As such it is a prime candidate for incorporation into the Eclipse IDE as a plugin. There are number of tasks that need to be done for this to happen:
- An XML format for specification of ConAn test cases.
- A frame work for running ConAn generated tests with JUnit.
- A plugin for Roast ( upon which ConAn is built)
- A plugin for ConAn.
- Model checking Object-Z
This project involves translation of Object-Z to the SAL model checker. Interesting challenges include the model checking of object-oriented models and efficient model checking of highly expressive languages.
- Model-based Test case generation
A framework for model-based generation of test cases for Concurrent Java components has been developed. Challenges for this framework include:
- Generation of formal models of components
- Generation of test conditions from the models
- Generation of traces from test conditions and models
- Synthesis of test-cases from traces
- Execution of traces
Any subgoal above may be taken as a project.
- View-based specification of Java Components
Java components often draw together many different aspects (data, concurrency, reactivity, persistence) that often serve to complicate their specification. View-based specification seeks to keep such issues separate by dealing with them each individually. View composition is then required to draw these different aspects together. AspectJ provides a way of achieving this. This project focuses on identifying and specifying different component views with a view towards combining them for implementation.