Ada Compiler Validation Capability (ACVC) 1.9 (for Microcomputers)
Abstract
The Ada Compiler Validation Capability (ACVC) is a suite of tests designed to determine an Ada compiler's conformance to MIL-STD-1815A, the Ada Language Reference Manual (LRM). Version 1.9 was released in December 1986 and became the official ACVC version, replacing 1.8, in June 1987. ACVC version 1.9 will be the official version until June 1988 when it will be replaced by ACVC version 1.10. Each of the 3122 tests in the ACVC 1.9 is designed to test a single test objective specified in the Ada Implementor's Guide (AIG), to a document enumerating the LRM into discrete test objectives in order to aid compiler development. The ACVC 1.9 is written on 35 diskettes written in MS DOS format at nine sectors per track. Each test in the suite is named according to the compilation stages - compiler, link, execute - analyzed and the section of the AIG, down to the specific test objective, covered ... Software Description: The software is written in ADA for implementation on IBM-PC or compatible microcomputers using the MS-DOS Version 2.1 or later operating system. The software is formatted with 9 sectors/track using MS-DOS .35 diskettes.
Document Details
- Document Type
- Technical Report
- Publication Date
- Nov 04, 1987
- Accession Number
- ADA186389