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.

Keywords

SYSTEM PERFORMANCE
PROGRAM VERIFICATION
PROGRAM TESTING
TESTING ACTIVITIES
AUTOMATED PROGRAM
SYSTEM CAPABILITIES
PROCESSING STATISTICS
USER'S APPRAISAL
VERIFICATION AID

This publication has 0 references indexed in Scilit: