Sources of Compiler Capability Information in Validation Summary Reports

Abstract

This report is intended for use by the Ada Joint Program office staff concerned with providing guidance to the DoD Program Managers on the use of (Validation Summary Report) VSRs as an information resource. The results of the formal validation of Ada compilers are documented in VSRs which are 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 could be useful to a prospective buyer and user of an Ada computer language. Keywords: Ada programming language; Compilers, Validation Summary Report (VSR), Validation, Ada Compiler Validation Capability (ACVC), Ada Validation Facility (AVF), ACVC Test suite, Implementation.

Open PDF

Document Details

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

Entities

People

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

Organizations

  • Institute for Defense Analyses

Tags

Communities of Interest

  • Weapons Technologies

DTIC Thesaurus Topics

  • Compilers
  • Computer Languages
  • Computer Programming
  • Computers
  • Department Of Defense
  • Department Of Veterans Affairs
  • High Level Languages
  • Host Computers
  • Language
  • Personality
  • Precision
  • Programming Languages
  • Specifications
  • Standards
  • Technical Information Centers
  • Test Methods
  • United States

Fields of Study

  • Computer science

Readers

  • Computer Science.
  • Defense Acquisition Program Management
  • Software Verification and Validation.