Design and Code Inspections to Reduce Errors in Program Development

ductivity have been obtained through the use of formal inspections of design and of code. Improvements are made possible by a systematic and eficient design and code verijicution process, with well-dejined roles for inspection participants. The manner in which inspection data is categorized and made suitable for process analysis is an important factor in attaining the improvements. It is shown that by using inspection results, a mechanism f o r initial error reduction followed by ever-improving error rates can be achieved.