Ada Compiler Validation Procedures, Version 3.1

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, 1992
Accession Number
ADA257705

Tags

DTIC Thesaurus Topics

  • Application Software
  • Commerce
  • Compilers
  • Computer Programming
  • Computer Programs
  • Computers
  • Department Of Defense
  • Governments
  • High Level Languages
  • Information Processing
  • Instruction Set Architecture
  • Language
  • Operating Systems
  • Programming Languages
  • Software Development
  • Standards
  • United States

Fields of Study

  • Computer science

Readers

  • Defense Acquisition Program Management
  • Software Verification and Validation.