Issue No. 01 - January (1979 vol. 5)
J. Bicevskis , Department of Computer Science, Latvian State University
The possibility of automatic construction of a complete set of program tests is considered. A test set system is said to be complete if every feasible program branch (segment) is executed by it. The complete test set construction algorithm for commercially oriented data processing programs is outlined, and the results of its functioning on real programs are analyzed.
test data generation, Analysis of programs, program testing, program validation, symbolic execution
J. Bicevskis, A. Zarins, U. Straujums, E. Miller and J. Borzovs, "SMOTL-A System to Construct Samples for Data Processing Program Debugging," in IEEE Transactions on Software Engineering, vol. 5, no. , pp. 60-66, 1979.