NASA NTRS · 19800020553
Evaluation of verification and testing tools for FORTRAN programs
Abstract
Two automated software verification and testing systems were developed for use in the analysis of computer programs. An evaluation of the static analyzer DAVE and the dynamic analyzer PET, which are used in the analysis of FORTRAN programs on Control Data (CDC) computers, are described. Both systems were found to be effective and complementary, and are recommended for use in testing FORTRAN programs.
Keep this discovery
Explore connections, maps & timelines
Smith, K. A.. 1980-07-01. Evaluation of verification and testing tools for FORTRAN programs. https://ntrs.nasa.gov/citations/19800020553
Cite the original work for its findings. Save a collection to share your selection of sources.