Ada Compiler Validation Procedures. Version 2.1

Abstract

The Ada certification body consists of the Ada Joint Program Office, (AJPO), the Ada Validation Organization (AVO), the ACVC Maintenance Organization (AMO), and the Ada Validation Facilities (AVFs). The AJPO, a component of the Department of Defense, establishes the policies of the Ada certification system issues validation certificates for AVF-tested Ada implementations and registers Ada implementations that are un-tested by an AVF. The AVO, the Institute for Defense Analyses, provides the technical and administrative support required to operate the Ada certification system. The AMO, Wright-Patterson Air Force Base, provides the technical and administrative support required to supply the Ada Compiler Validation Capability (ACVC) for use in the operation of the Ada certification system. There are five AVFs charted by the AJPO to conduct validation (see Section 3 and Appendix E). The Ada certification body operates in conjunction with the U.S. Department of Commerce which has the responsibility for establishing and maintaining a certification system for the Federal Information Processing Standards (FIPS).

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 1990
Accession Number
ADA228614

Tags

Communities of Interest

  • Weapons Technologies

DTIC Thesaurus Topics

  • Air Force
  • Air Force Facilities
  • Commerce
  • Computer Programming
  • Computer Programs
  • Computers
  • Department Of Defense
  • Engineering
  • High Level Languages
  • Host Computers
  • Information Processing
  • Language
  • Operating Systems
  • Programming Languages
  • Quality Control
  • Standards
  • Test And Evaluation

Readers

  • Government and Public Administration Law.
  • Software Verification and Validation.