This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
SMOTL-A System to Construct Samples for Data Processing Program Debugging
January 1979 (vol. 5 no. 1)
pp. 60-66
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.
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, Jan. 1979, doi:10.1109/TSE.1979.226498
Usage of this product signifies your acceptance of the Terms of Use.