FORTRAN Automated Verification System (FAVS). Volume II. User's Manual.

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 user's 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.