Ada Compiler Validation Capability (ACVC) Version 1.11 (Field-Test Release). TAR

Abstract

The Ada Compiler Validation Capability (ACVC) is a suite of tests designed to determine an Ada compiler's conformance to MIL-STD-185A the Ada Language Reference Manual (LRM). A new official version of the ACVC is released regularly - currently an 18 month cycle. six months prior to the expiration of an ACVC version, a field - test release of the subsequent version is made available for distribution. ACVC 1.10 was officially released in Jun 88 and will expire 30 Nov 89. Software Description: The model is written in the ADA programming language for implementation on a DEC VAX-8650 computer using the VMS Version 4.7 operating system.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1989
Accession Number
ADA212437

Entities

People

  • Steven P. Wilson

Tags

DTIC Thesaurus Topics

  • Compilers
  • Computer Programming
  • Computers
  • Databases
  • Field Tests
  • Hard Copy
  • High Level Languages
  • Language
  • Magnetic Tape
  • Operating Systems
  • Personality
  • Programming Languages
  • Recording Systems
  • Simulations
  • Standards
  • Tapes
  • Validation

Readers

  • Software Verification and Validation.