Ada Compiler Validation Capability (ACVC) Version 1.10: ANSI, Backup, TAR

Abstract

The Ada Complier Validation Capability (ACVC) is a suite of tests designed to determine an Ada complier's conformance to MIL-STD-1815A, the Ada Language Reference Manual (LMR). Version 1.10 was released in December 87 and will become the official ACVC version, replacing 1.9, in June 88. ACVC 1.10 will be the official version until June 89 when it will be replaced by ACVC version 1.11. Each of the 3719 tests in the ACVC 1.10 is designed to test a single test objective specified in the Ada Implementer's Guide (AIG), A document enumerating the LRM into discrete test objectives in order to aid compiler development. Software Description: The model is written in the Ada programming language fo implementation on a DEC VAX-11/780 computer using the VMS operating system. Memory requirement is 30 K bytes.

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1987
Accession Number
ADA188545

Entities

People

  • Steven P. Wilson

Tags

DTIC Thesaurus Topics

  • Compilers
  • Computer Programming
  • Computer Programs
  • Computers
  • High Level Languages
  • Language
  • Magnetic Tape
  • Operating Systems
  • Programming Languages
  • Validation

Fields of Study

  • Computer science

Readers

  • Computer Science.
  • Software Verification and Validation.