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

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 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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1979
Accession Number
ADA065447

Entities

People

  • Dorothy M. Andrews
  • Rich A. Melton

Tags

Communities of Interest

  • C4I
  • Materials and Manufacturing Processes
  • Space

DTIC Thesaurus Topics

  • Boundaries
  • Classification
  • Computer Programming
  • Computer Programs
  • Computers
  • Corporations
  • Databases
  • Information Science
  • Instrumentation
  • Language
  • Magnetic Tape
  • Object Code
  • Procedures (Computers)
  • Software Development
  • Software Testing
  • Standards
  • Structural Analysis

Fields of Study

  • Computer science
  • Engineering

Readers

  • Database Systems and Applications
  • Library and Information Science/ Studies, Southeast Asia Studies, Bibliography of Vietnam and Lao Studies.
  • Software Engineering