|
|
|
| |
SWAT
(SoftWare Testing And Debugging)
|
SWAT
has been designed as a system for integrated analysis of Ada 95
programs. Its objective is to provide all the functions for software quality
assessment in one package. Its developer,Softools, Inc., has completed
the ASIS-based front end, which consists of a collection of data bases about
the programs structure, including control and data flow patterns, both at
the procedural and system levels. The data bases are currently used to develop
a comprehensive static and dynamic analysis subsystems.
|
|