Ada Compiler Validation Capability (ACVC) 1.9

Abstract

The Ada Compiler Validation Capability (ACVC) is a suite of tests designed to determine and Ada compiler's conformance to MI:-STD-1815A, the Ada Language Reference Manual (LRM). Version 1.9 was released in December 1986 and became the official ACVC version 1.10. Each of the 3122 tests in the ACVC version 1.9 is designed to test a single test objective specified in the Ada Implementor's Guide (AIG), a document enumerating the LRM into discrete test objectives in order to aid compiler development. The model is written in the ADA programming language for implementation on a DEC VAX-11/780 Computer using the VMS operating system. Memory requirement is 30 k bytes. Source tape is in ASCII character set. Character set restricts preparation to 9 track, one-half inch tape only.

Document Details

Document Type
Technical Report
Publication Date
Dec 10, 1986
Accession Number
ADA186391

Tags

DTIC Thesaurus Topics

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

Fields of Study

  • Computer science

Readers

  • Computer Science/Computer Engineering/Data Science/Digital Signal Processing.
  • Software Verification and Validation.