Ada Compiler Validation Support: Fiscal Year 1991

Abstract

This report summarized the technical issues that affected the way the Ada Joint Program Office (AJPO) conducted the Ada compiler validation process during fiscal year 1991. These issues are limited to interpretations of Ada language rules, as they are implemented in conformity test programs, and the expected behavior of Ada compilers. The majority of the validation issues that arose pertained to a limited class of language constructs or a particular Ada compiler and hardware and software environment. This report documents IDA's work in fiscal year 1991 addressing the test disputes, validation reports, and compiler registration requests.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1992
Accession Number
ADA249950

Entities

People

  • R. D. Lehman

Organizations

  • Institute for Defense Analyses

Tags

DTIC Thesaurus Topics

  • Compilers
  • Computer Programming
  • Computers
  • Conformity
  • Contracts
  • Databases
  • Electronic Mail
  • High Level Languages
  • Language
  • Operating Systems
  • Performance Tests
  • Quality Control
  • Standards
  • Test And Evaluation
  • Test Methods
  • Validation
  • Workload

Fields of Study

  • Computer science

Readers

  • Government and Public Administration Law.
  • Software Verification and Validation.
  • Systems Analysis and Design