Ada Compiler Validation Support: Fiscal Year 1992,

Abstract

This report summarizes the Ada compiler validation issues that had a bearing on policy changes incorporated in a revision of the Ada Compiler Validation procedures produced by the Institute for Defense Analyses, and published by the Ada Joint Program Office (AJPO) in August 1992. These policy changes include: (1) a time-limited (one year) provisional validation status for a compiler vendor who fails a small number (ten or fewer) conformity tests; (2) declaring that version 1.11 is the last version of the conformity test suite for the Ada 83 version of the language; and (3) providing guidelines for the use of an Ada compiler over the life of software development projects. This document also summarizes the nine test disputes resolved during FY92.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1992
Accession Number
ADA307189

Entities

People

  • Audrey A. Hook
  • R. D. Lehman

Organizations

  • Institute for Defense Analyses

Tags

Communities of Interest

  • Human Systems

DTIC Thesaurus Topics

  • Capital Investments
  • Compilers
  • Computer Program Documentation
  • Computer Programming
  • Computer Programs
  • Configuration Management
  • Conformity
  • Contracts
  • Databases
  • Department Of Defense
  • Floating Point Operations
  • Governments
  • International Organizations
  • Language
  • Software Development
  • Standards
  • Validation

Fields of Study

  • Computer science

Readers

  • Personnel Management and Statistics in the Military and Department of Defense
  • Software Engineering
  • Software Verification and Validation.