FORTRAN Automated Verification System (FAVS). Volume II. User's Manual.
Final technical rept. Oct 76-Aug 78,
GENERAL RESEARCH CORP SANTA BARBARA CALIF
Pagination or Media Count:
FAVS, for FORTRAN Automated Verification System, is a tool for analyzing source programs written in FORTRAN or DMATRAN. It is essentially a software system to be used as an aid in improving, documenting, and validating the quality of software and software testing by providing for syntax and structural analysis of the users source program, static analysis to detect inconsistencies in program structure or in the use of variables, automated documentation, instrumentation of the source code, analysis of testing coverage, and retesting guidance. A separate function that FAVS can perform is the transformation of an unstructured FORTRAN program into a logically equivalent DMATRAN program. This manual describes how to use FAVS from the beginning of the software development cycle to its completion.
- Computer Programming and Software