Accession Number:

ADA224222

Title:

Ada Compiler Validation Procedures

Descriptive Note:

Final rept.

Corporate Author:

INSTITUTE FOR DEFENSE ANALYSES ALEXANDRIA VA

Report Date:

1989-01-01

Pagination or Media Count:

36.0

Abstract:

The Institute for Defense Analyses IDA Document D-568, Ada Compiler Validation Procedures, is a revision of the Ada Validation Procedures and Guidelines, version 1.1 issued by the Ada Joint Program Office AJPO in January 1987. A principal objective of the revision was to update the Procedures and Guidelines to reflect the current validation practice and to improve the rules of procedure and management so as to reduce the burden of validation on the certification body and its customers. IDA solicited comments from the Ada Validation Facility AVF managers on version 1.1, drafted a first revision for further comments, and produced this final version as a deliverable to the AJPO. This version reflects the current policy of the Department of Defense and other national certification systems e.g., U.S. Department of Commerce, as well as the collective operational experience of the Ada certification body.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE