Masters Theses

Date of Award

8-1989

Degree Type

Thesis

Degree Name

Master of Science

Major

Computer Science

Major Professor

J. H. Poore

Committee Members

David S. Straight, Jean R. S. Blair

Abstract

The Cleanroom Methodology, properly applied, produces functionally verified statistically certifiable software that, when taken to testing, will contain an average of less than five errors per thousand lines of code (kloc).

When one considers that current industry data indicates average rates of approximately seventy-five errors per kloc, the claims of the Cleanroom Methodology on first inspection, do not appear credible.

This thesis details the design and development of a 7200 line program. The Box Structure HDL Generator, written in 'C by a team of graduate students using the Cleanroom methodology. The Box Generator is a tool to facilitate top down design using the Box Structure method. The primary goal of this team was to learn and apply the Box Structure method in the development of the Box Generator, and meet the exacting standards set by the Cleanroom methodology.

Download
Files over 3MB may be slow to open. For best results, right-click and select "save as..."

Share

COinS