DocumentCode
751294
Title
SADAT—An Automated Testing Tool
Author
Voges, Udo ; Gmeiner, Lothar ; Von Mayrhauser, Anneliese Amschler
Author_Institution
Kernforschungszentrum Karlsruhe GmbH, Institut ftlr Datenverarbeitung in der Technik
Issue
3
fYear
1980
fDate
5/1/1980 12:00:00 AM
Firstpage
286
Lastpage
290
Abstract
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.
Keywords
Automated test systems; dynamic analysis; path predicate program testing; software tool; static analysis; symbolic execution; test case generation; test data generation; Algorithms; Automatic testing; Computer errors; Computer science; Databases; History; Information analysis; Software testing; Software tools; System testing; Automated test systems; dynamic analysis; path predicate program testing; software tool; static analysis; symbolic execution; test case generation; test data generation;
fLanguage
English
Journal_Title
Software Engineering, IEEE Transactions on
Publisher
ieee
ISSN
0098-5589
Type
jour
DOI
10.1109/TSE.1980.230474
Filename
1702730
Link To Document