Master thesis

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

Author:
Nadja Beeli

Title:
Precondition Enforcement Analysis for Quality Assurance

Description

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)