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. |  |