Axini develops tools for model based testing (MBT) and model based software engineering (MBSE). Model based testing is a software testing approach in which test cases are automatically generated and executed from a model, a formal specification of the system under test. This approach allows for a high degree of test automation and more thorough testing.
We currently have a minimal debugger integrated into the view of our application. We are seeking a student to explore and expand the capabilities of this debugger. The goal of this thesis project is to investigate and implement advanced debugging features, such as enhanced view capabilities, tracing, and the ability to step backward and forward through code execution.
- View Exploration: Analyze the current debugger’s integration with the view and propose enhancements that can provide developers with more intuitive and powerful debugging tools.
- Tracing Mechanisms: Develop and integrate tracing functionalities that allow for a more detailed examination of code execution, including historical traces and future predictions.
- Step Back/Forward Features: Implement functionality that enables users to step back and forward through code execution, improving error detection and correction during the development process.
Possible research questions
There are several puzzles and research questions that students can work on.