Accession Number:

ADA224223

Title:

Ada Validation Testing Tools Evaluation

Descriptive Note:

Final rept.

Corporate Author:

INSTITUTE FOR DEFENSE ANALYSES ALEXANDRIA VA

Personal Author(s):

Report Date:

1989-04-01

Pagination or Media Count:

18.0

Abstract:

IDA Document D-590, Ada Validation Testing Tools Evaluation, presents the results of an Institute for Defense Analyses IDA evaluation of the Ada Compiler Validation Capability ACVC Tailoring Tool and the Computer-Assisted Ada Validation Tool CAV. This document will be used as a guide to initiate enhancements to the validation tools that were evaluated ACVC and CAV. It is directed towards the Ada Validation Facility AVF and the Ada Joint Program Office AJPO staff members.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE