Ada Compiler Validation Procedures

: 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.