| Type |
BA, SA |
| Supervisor |
Prof. Dr.-Ing. Alois Knoll |
| Advisor |
Markus Weißmann, M.Sc. |
| Research Area |
Software Engineering |
| Programming Language |
Python or PHP or OCaml or other |
| Required Skills |
CGI programming or similar |
| Usefule Knowledge |
Web Applications, HTML, Subversion |
| Language |
English or German |
Description
The goal of the thesis is to create flexible a web application that acts as a front-end to a software verification process.
The web application will have two major tasks, the management of the programs (file upload, user management) and to display the results of the verification process.
The verification process is handled by the back-end which itself is not part of the thesis.
Traces from the verification engines are hard to read for programmers.
Especially if they have been obtained from an automatically generated modell of the original program:
The programmer first has to map the line of the trace to the line(s) of the original program, then translate the error message and warnings from the modelling language to the programming language.
A trace consists of a list of source code locations (file name, line number and program state). The user has to be able to step through this trace like in a post-mortem debugger, showing the current code location and the program state.
For more information, contact
Markus Weißmann.
Literature
