NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
Evaluation of verification and testing tools for FORTRAN programsTwo 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.
Document ID
19800020553
Acquisition Source
Legacy CDMS
Document Type
Technical Memorandum (TM)
Authors
Smith, K. A. (NASA Langley Research Center Hampton, VA, United States)
Date Acquired
September 4, 2013
Publication Date
July 1, 1980
Subject Category
Computer Programming And Software
Report/Patent Number
L-13665
NASA-TM-80205
Report Number: L-13665
Report Number: NASA-TM-80205
Accession Number
80N29054
Funding Number(s)
PROJECT: RTOP 506-61-13-02
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Related Records

There are no records associated with this record.
No Preview Available