Ada Validation Testing Tools Evaluation
INSTITUTE FOR DEFENSE ANALYSES ALEXANDRIA VA
Pagination or Media Count:
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.
- Computer Programming and Software