This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
SADAT-An Automated Testing Tool
May 1980 (vol. 6 no. 3)
pp. 286-290
U. Voges, Kernforschungszentrum Karlsruhe GmbH, Institut ftlr Datenverarbeitung in der Technik
This paper describes the automated testing tool SADAT, which supports the testing of single Fortran modules. The different functions which are integrated in this system are explained, the usage of the tool is demonstrated, and some output results are presented. The special benefits of the SADAT system are summarized. The history and the present status of the system are outlned. Finaly, a listing of further reference material and information on the program availability are included.
Index Terms:
test data generation, Automated test systems, dynamic analysis, path predicate program testing, software tool, static analysis, symbolic execution, test case generation
Citation:
U. Voges, L. Gmeiner, A.A. Von Mayrhauser, "SADAT-An Automated Testing Tool," IEEE Transactions on Software Engineering, vol. 6, no. 3, pp. 286-290, May 1980, doi:10.1109/TSE.1980.230474
Usage of this product signifies your acceptance of the Terms of Use.