The Ada runtime error generator project was a research project in which using Mika, an existing test input generation software created by Dr. Chris Meudec. To look into the possibility of discovering runtime errors in Ada code and providing test inputs which would reproduce these errors for the developer highlighting their possibility within the code. This is a key aspect of the project, rather than just saying there may be an error encountered at some stage, we can provide concrete test inputs that will demonstrate the error found.
This project was also supplemented with the addition of a Visual Studio Code extension for Mika that would provide dynamic code querying from within Visual Studio Code. Allowing the developer to highlight a line of code and provide a boolean equation that they would like to query for possible values at the line of code.
Pictured above is an example of the dynamic code querying within Visual Studio Code and below is an Example of Mika generating exception test inputs. The this was a collaborative and the team comprised of Derry Brennan and Dr. Chris Meudec. The documents produced by myself can be found following the link or menu and Mika documentation can be found following the Mika link above.
