FORTRAN Automated Verification System (FAVS). Volume I.
Final technical rept. Oct 76-Feb 78,
GENERAL RESEARCH CORP SANTA BARBARA CALIF
Pagination or Media Count:
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, setuse 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.
- Computer Programming and Software