On the connections between range of variable and control structure testing
Hermann Kopetz · ACM SIGPLAN Notices · 1975
This paper discusses the subject of systematic program testing from a software engineering point of view. A number of different software error types are defined to facilitate the analysis of the error detection capability of a software module. It is found that many practical programs are, at best, conditionally Correct. Consequently it is not possible to establish the correctness of such a program even by an exhaustive test of the control structure. Keeping those insights in mind, some applicable techniques for the construction, error treatment and test of practical software systems are presented.