Master thesis

Type of project:
Master thesis, SS 2004, 5 April - 4 October 2004

Nadja Beeli

Precondition Enforcement Analysis for Quality Assurance


This project is dedicated to writing a program analyzer that will assess whether calls satisfy preconditions, and, when this is impossible to determine, produce a quality assurance report leading to improvement of the code, in the form of either bug fixes or documented "check" instructions. The tool should be practical and usable, and it should keep a history of its results, to support the evolution of components and their callers. The benefit to practical software developers can be considerable.

Project plan (PDF)
Final report (PDF)