Ada Compiler Validation Procedures Version 2.0.

Abstract

The Ada Compiler Validation Capability is designed to demonstrate the compliance of an Ada implementation with the Ada Programming Language. Each new version of the ACVC test suite is released for a period of six months before it is used for validation. At the end of six months, the new version of the ACVC is released for validation use for a period of 18 months. Some test programs may contain test objectives which are irrelevant for a particular Ada implementation and may be declared inapplicable, in whole or in parts, for that implementation. The ACVC User's Guide, distributed with the ACVC, contains detailed rules about implied inapplicability of test programs. Some test programs are designed to make use of implementation dependent characteristics and must be adjusted according to rules given in the ACVC User's Guide or must be modified by the AVF after consultation with the AVO. Tests may be withdrawn from the ACVC by the AVO when it is found that they are based on assumptions that need not hold true for all Ada implementations or that the test program does not meet its test objective. (KR)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 01, 1989
Accession Number
ADA210406

Tags

Communities of Interest

  • Weapons Technologies

DTIC Thesaurus Topics

  • Air Force Facilities
  • Commerce
  • Computer Programming
  • Computer Programs
  • Computers
  • Department Of Defense
  • Engineering
  • High Level Languages
  • Host Computers
  • Information Processing
  • Language
  • Operating Systems
  • Programming Languages
  • Quality Control
  • Software Development
  • Standards
  • Test And Evaluation

Readers

  • Computer Science.
  • Regression Analysis.
  • Software Verification and Validation.