Ada(Trade Name), Compiler Validation Procedures and Guidelines. Version 1.1.

Abstract

This document outlines the process established to perform Ada Compiler validations. Validation for an Ada compiler is the process of conformity testing of a candidate compiler to the Ada programming language and, when compliance is demonstrated through validation testing, issuing a validation certificate. The goal of Ada validation is to ensure compliance to the standard and prevent the proliferation of subsets, supersets, or dialects of the Ada programming language. Users are cautioned that validation does not imply or warrant the use of an ADA compiler for any application, nor does it provide an evaluation of compiler efficiency or performance. Validation is strictly a determination of compliance that leads to a judgement of conformity.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1987
Accession Number
ADA178154

Tags

Communities of Interest

  • Weapons Technologies

DTIC Thesaurus Topics

  • Acquisition
  • Application Software
  • Compilers
  • Computer Architecture
  • Computer Programming
  • Computers
  • Department Of Defense
  • Field Tests
  • Governments
  • High Level Languages
  • Instruction Set Architecture
  • Language
  • Operating Systems
  • Organizational Structure
  • Programming Languages
  • Software Development
  • Test Methods

Fields of Study

  • Computer science

Readers

  • Computer Science.
  • Software Verification and Validation.
  • Strategic Security Studies