Technische Universität München Robotics and Embedded Systems

Web-based Visualization of Error Traces

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


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.