Comments on program specification and testing
- 1 June 1980
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 23 (6) , 324-331
- https://doi.org/10.1145/358876.358879
Abstract
The data processing discipline is in a deplorable state, says Roger House. The author reviews an earlier study, in which programmers were largely unsuccessful in finding known errors in a test program. House shows that the fault lies not with the subjects but with the generally poor procedures underlying the writing of much contemporary software, including the test program in question. He analyzes the example, offers several specific critiques, and enumerates good software-writing practices.Keywords
This publication has 3 references indexed in Scilit:
- The structure of modular programCommunications of the ACM, 1980
- A controlled experiment in program testing and code walkthroughs/inspectionsCommunications of the ACM, 1978
- Revised report on the algorithmic language ALGOL 60Communications of the ACM, 1963