Publication | Closed Access
SADAT—An Automated Testing Tool
26
Citations
1
References
1980
Year
Software MaintenanceEngineeringVerificationDiagnosisTest Data GenerationSoftware EngineeringSoftware AnalysisFormal VerificationModel-based TestingTool SadatComputational TestingTest AutomationSystems EngineeringCompilersTest BenchSystem TestingTesting TechniqueComputer EngineeringComputer ScienceSingle Fortran ModulesProgram AnalysisSoftware TestingFormal MethodsSadat System
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.
| Year | Citations | |
|---|---|---|
Page 1
Page 1