|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
| ASCII Text | x | ||
| Robert N. Britcher, "Using Inspections to Investigate Program Correctness," Computer, vol. 21, no. 11, pp. 38-44, November, 1988. | |||
| BibTex | x | ||
| @article{ 10.1109/2.86785, author = {Robert N. Britcher}, title = {Using Inspections to Investigate Program Correctness}, journal ={Computer}, volume = {21}, number = {11}, issn = {0018-9162}, year = {1988}, pages = {38-44}, doi = {http://doi.ieeecomputersociety.org/10.1109/2.86785}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - MGZN JO - Computer TI - Using Inspections to Investigate Program Correctness IS - 11 SN - 0018-9162 SP38 EP44 EPD - 38-44 A1 - Robert N. Britcher, PY - 1988 VL - 21 JA - Computer ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/2.86785
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.

