This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
September 1976 (vol. 2 no. 3)
pp. 223-226
W. Miller, Department of Computer Science, Pennsylvania State University
For numerical programs, or more generally for programs with floating-point data, it may be that large savings of time and storage are made possible by using numerical maximization methods instead of symbolic execution to generate test data. Two examples, a matrix factorization subroutine and a sorting method, illustrate the types of data generation problems that can be successfully treated with such maximization techniques.
Index Terms:
software evaluation systems, Automatic test data generation, branching, data constraints, execution path
Citation:
W. Miller, D.L. Spooner, "Automatic Generation of Floating-Point Test Data," IEEE Transactions on Software Engineering, vol. 2, no. 3, pp. 223-226, Sept. 1976, doi:10.1109/TSE.1976.233818
Usage of this product signifies your acceptance of the Terms of Use.