Version Description Document for the Ada Compiler Validation Capability (Version 1.9).

Abstract

The Ada Compiler Validation Capability (ACVC) is a suite of tests designed to determine an Ada compiler's conformance to MIL-STD-1815A, the Ada Language Reference Manual (LRM). Version 1.9 was released in December 1986 and became the official ACVC version, replacing 1.8, in June 1987. ACVC version 1.9 will be the official version until June 1988 when it will replaced by ACVC version 1.10. Each of the 3122 tests in the ACVC 1.9 is designed to test a single test objective specified in the Ada Implementor's Guide a document enumerating the LRM into discrete test objectives in order to aid compiler development.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 20, 1987
Accession Number
ADA186392

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Acceptance Tests
  • Compilers
  • Computer Programming
  • Computer Programs
  • Debugging
  • Governments
  • Identities
  • Language
  • Law
  • Literature Surveys
  • Machines
  • Magnetic Tape
  • New York
  • Specifications
  • Standards
  • United States
  • United States Government

Readers

  • Instructional Design and Training Evaluation.
  • Software Verification and Validation.