Ada Compiler Validation Procedures

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1989
Accession Number
ADA224222

Entities

People

  • Audrey A. Hook
  • Stephen Heilbrunner

Organizations

  • Institute for Defense Analyses

Tags

Communities of Interest

  • Weapons Technologies

DTIC Thesaurus Topics

  • Commerce
  • Compilers
  • Computer Programming
  • Computer Programs
  • Computers
  • Department Of Defense
  • Engineering
  • Governments
  • High Level Languages
  • Information Processing
  • Language
  • Law
  • Maintenance
  • Operating Systems
  • Programming Languages
  • Software Development
  • Standards

Readers

  • Defense Acquisition Program Management
  • Software Verification and Validation.