Ada Compiler Validation Capability (ACVC) Version 1.10 (for Microcomputers)
Abstract
The Ada Complier 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 Implementer's Guide (AIG), a document enumerating the LRM into discrete test objectives in order to aid compiler development. The ACVC 1.10 is written on 43 diskettes in MS DOS format at nine sectors per track. Each test in the suite is named according to the compilation stages (compile, link, execute) analyzed and the section of the AIG, down to the specific test objective, covered.
Document Details
- Document Type
- Technical Report
- Publication Date
- Dec 01, 1987
- Accession Number
- ADA188543
Entities
People
- Steven P. Wilson