Box structure BDL generator : a clerical tool to support software development

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.