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