Sources of Compiler Capability Information in Validation Summary Reports

Abstract

IDA Memorandum Report M-454, Sources of Compiler Capability Information in Validation Summary Reports, documents the results of the Institute for Defense Analyses' review of the Validation Summary Reports (VSRs). It is intended for use by the Ada Joint Program Office (AJPO) staff concerned with providing guidance to the Department of Defense Program Managers on the use of VSRs as an information resource. The results of formal validation of Ada compilers are documented in VSRs, available through the National Technical Information Service (NTIS) to the public. The format and content of the VSR has been revised periodically to improve the presentation of data and to add substantive information concerning the testing procedures, configurations tested, and testing results. The VSR is reviewed as a source of information on the capability of compilers that would be useful to a prospective buyer and user of an Ada compiler.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 01, 1988
Accession Number
ADA224051

Entities

People

  • Audrey A. Hook
  • James Wolfe
  • R. D. Lehman

Organizations

  • Institute for Defense Analyses

Tags

Communities of Interest

  • Materials and Manufacturing Processes
  • Weapons Technologies

DTIC Thesaurus Topics

  • Compilers
  • Computer Programming
  • Computer Programs
  • Computers
  • Contracts
  • Department Of Defense
  • Governments
  • Guidance
  • High Level Languages
  • Language
  • National Governments
  • Programming Languages
  • Software Development
  • Specifications
  • Standards
  • United States
  • Universities

Readers

  • Defense Acquisition Program Management
  • Library and Information Science
  • Software Verification and Validation.