This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Using Inspections to Investigate Program Correctness
November 1988 (vol. 21 no. 11)
pp. 38-44

An approach to inspections is proposed that would emphasize the search for correctness. It would hold up to scrutiny to not only what is on the page, but also the thought behind the representation. Inspectors would investigate how the program developed, looking for evidence of disciplined methods in its construction, adequate consideration of the error domain, and the program's ability to withstand years of use and inevitable change. An example inspection is given that uses a program developed according to IBM's design methods. The inspection presents the arguments as a series of questions that the inspectors would ask the author and themselves.

Citation:
Robert N. Britcher, "Using Inspections to Investigate Program Correctness," Computer, vol. 21, no. 11, pp. 38-44, Nov. 1988, doi:10.1109/2.86785
Usage of this product signifies your acceptance of the Terms of Use.