Ada Compiler Validation Procedures

Abstract

The certification body of the Ada certification system consists of the AJPO for overall direction, the Ada Validation Organization (AVO) and ACVC Maintenance Organization (AMO) for technical support, and the Ada Validation Facilities (AVFs) for performing validations. The Ada certification body operates in conjunction with the U.S. Department of Commerce which has the responsibility of establishing and maintaining a certification system for the Federal Information Programming Standards (FIPS). The purpose of this executive summary is to provide only an overview of the Ada compiler validation process. Anyone who obtains services from the Ada certification body must understand the definition of terms and follow the more specific rules provided in the body of this document.

Open PDF

Document Details

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

Tags

Communities of Interest

  • Weapons Technologies

DTIC Thesaurus Topics

  • Air Force
  • Air Force Facilities
  • Classification
  • Commerce
  • Compilers
  • Computer Programming
  • Computer Programs
  • Computers
  • Department Of Defense
  • Engineering
  • Governments
  • High Level Languages
  • Information Processing
  • Language
  • Programming Languages
  • Software Development
  • Standards

Fields of Study

  • Computer science

Readers

  • Defense Acquisition Program Management
  • Government and Public Administration Law.
  • Software Verification and Validation.