Accession Number:

ADA188489

Title:

Ada Compiler Validation Capability (ACVC) Version 1.10: BACKUP

Descriptive Note:

Software

Corporate Author:

AERONAUTICAL SYSTEMS DIV WRIGHT FIELD OH

Personal Author(s):

• Wilson, Steven P.

Report Date:

1987-12-01

Pagination or Media Count:

4.0

Abstract:

The Ada Compiler Validation Capability ACVC is a suite of tests designed to determine an Ada compilers 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 Implementers 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 for implementation on a DEC VAX-11780 computer using the VMS operating system. Memory requirement is 10 bytes.

Descriptors:

• *COMPILERS
• MEMORY DEVICES
• PROGRAMMING LANGUAGES
• PROGRAMMING MANUALS
• REQUIREMENTS
• TAPES
• TEST AND EVALUATION
• VALIDATION

Subject Categories:

• Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE