Toward a Richer Language for Describing Software Errors (opens in new tab)

Toward a Richer Language for Describing Software Errors Levitin, Samuel M. Several approaches to the meaning and uses of errors in software development are discussed. An experiment involving a strong type-checking language, CLU, is described, and the results discussed in terms of the state of the art language for bug description. This method of bug description is found to be lacking sufficient detail to model the progress of software through its entire lifetime. A new method of bug descriptio...