Accession Number:

ADA065447

Title:

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

Descriptive Note:

Final technical rept. Oct 76-Aug 78,

Corporate Author:

GENERAL RESEARCH CORP SANTA BARBARA CALIF

Personal Author(s):

Report Date:

1979-01-01

Pagination or Media Count:

142.0

Abstract:

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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE