The paper is a contribution to the theory of program testing. We first discuss why program testing is superior in some respects to program proving. Then current strategies and criteria for test case selection are reviewed and their shortcomings identified. A methodology is proposed to facilitate the selection of a set of test cases which is adequate for functional verification. It is necessary, however, that certain complementary information be used which can be derived from the program text through formal analysis.
CITATION STYLE
Endres, A., & Glatthaar, W. (1978). A complementary approach to program analysis and testing. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 65 LNCS, pp. 380–401). Springer Verlag. https://doi.org/10.1007/3-540-08934-9_89
Mendeley helps you to discover research relevant for your work.