The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - January (1979 vol.5)
pp: 60-66
J. Bicevskis , Department of Computer Science, Latvian State University
ABSTRACT
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.
INDEX TERMS
test data generation, Analysis of programs, program testing, program validation, symbolic execution
CITATION
J. Bicevskis, J. Borzovs, U. Straujums, A. Zarins, E.F. Miller, "SMOTL-A System to Construct Samples for Data Processing Program Debugging", IEEE Transactions on Software Engineering, vol.5, no. 1, pp. 60-66, January 1979, doi:10.1109/TSE.1979.226498
27 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool