A User's Appraisal of an Automated Program Verification Aid

Abstract

An evaluation of RXVP, an automated aid to FORTRAN program testing, based on experience with the system in testing activities, is presented. System capabilities and features are described. User assessments of services provided are discussed. Strengths and weaknesses in system performance as well as a collection processing statistics are reported.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1975
Accession Number
ADB009033

Entities

People

  • Larry K. Whipple
  • Mark A. Pitts

Organizations

  • Air Force Research Laboratory

Tags

Communities of Interest

  • Cyber
  • Energy and Power Technologies
  • Space
  • Weapons Technologies

DTIC Thesaurus Topics

  • Air Force
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Data Sets
  • Data Storage Systems
  • Databases
  • Identification
  • Instrumentation
  • Language
  • Mass Storage
  • Operating Systems
  • Software Development
  • Standards
  • Statistics
  • Test And Evaluation

Fields of Study

  • Computer science

Readers

  • Computer Science.
  • Instructional Design and Training Evaluation.