FORTRAN Automated Verification System (FAVS). Volume I.

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.