The DAVE System: A Critique and Guide for Use at the Ballistic Research Laboratory.
Abstract
DAVE is a static program analyzer. That is, DAVE looks at ANSI standard FORTRAN programs of moderate size and provides documentation, analysis, validation and error detection (hence, its well hidden acronym), without executing the program. This paper endeavors to critique the DAVE system in an unbiased fashion. The authors were without prior knowledge of the system before its purchase. It is the authors' conclusion; however, that DAVE represents a useful validation tool for analysis of FORTRAN programs, beyond that initially provided by compiler. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Aug 01, 1978
- Accession Number
- ADA060674
Entities
People
- Joseph Lacetera
- Morton A. Hirschberg
- William Buchheister
Organizations
- Ballistic Research Laboratory