Work

Evaluation of verification and testing tools for FORTRAN programs

Year: 1980

Type: article

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.

Source: NASA STI Repository (National Aeronautics and Space Administration)

Author: Kathryn Smith

Institution: Langley Research Center

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funders: National Science Foundation, Langley Research Center

OpenAlex ID: W787212123

FWCI:

Cites: 1

Cited by:

Related to: 10