FORTRAN Automated Verification System (FAVS). Volume I.

Abstract

The FORTRAN Automated Verification System (FAVS) is intended to reduce the cost of assuring that software systems written in FORTRAN are comprehensively tested. It consists of automated algorithms and techniques for verifying the testing of FORTRAN software. FAVS supports testable programming in FORTRAN, augments the static error detection performed by FORTRAN compilers, automates the measurement of testing effectiveness, assists the manual design and selection of test cases, and increases the mechanization of certain aspects of software system maintenance. FAVS is a series of tools which provide translation from DMATRAN (a structured extension of FORTRAN) to FORTRAN and from FORTRAN to DMATRAN, static detection of unreachable statements, set/use errors, mode-conversion errors, and external reference errors, a means of measuring the effectiveness of test cases, assistance in the construction of test data that will thoroughly exercise the software, and automated documentation.

Open PDF

Document Details

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

Entities

People

  • Dorothy M. Andrews
  • Rich A. Melton

Tags

Communities of Interest

  • Space

DTIC Thesaurus Topics

  • Algorithms
  • Compilers
  • Computer Program Documentation
  • Computer Programming
  • Computer Programs
  • Computers
  • Language
  • Object Code
  • Operating Systems
  • Procedures (Computers)
  • Programming Languages
  • Software Development
  • Software Development Tools
  • Software Testing
  • Structured Programming
  • Test Methods

Fields of Study

  • Computer science

Readers

  • Computational Modeling and Simulation
  • Computer Science.
  • Software Engineering.