Version Description Document for the Ada Compiler Validation Capability (Version 1.10) (for Microcomputer)
Abstract
This is the Ada Complier Validation Capability (ACVC) User's Guide which details the use of Version 1.10 of the ACVC. This document describes the ACVC test suite, its use, and interpretation of the test results. It should be read by anyone who wishes to use the ACVC to test an implementation of the Ada language. The primary purpose of the ACVC is to help decide whether an Ada translator/complier conforms to ANSI/MIL-STD-1815A, the Reference Manual for the Ada Programming Language (RM). The RM is also known as the Ada Standard. The ACVC is maintained by the ACVC Maintenance Organization (AMO) under the direction of the Ada Validation Office (AVO) of the Air Force's Ada Joint Program Office (AJPO). The three main components of the ACVC are (1) An implementers' guide that describes the implementation implications of the RM and the conditions that are checked by each validation test program; (2) A suite of validation test programs that are submitted to a compiler; AND (3) Validation support tools that assist in determining system capabilities, preparing tests for compilation, and analyzing the results of execution.
Document Details
- Document Type
- Technical Report
- Publication Date
- Dec 01, 1987
- Accession Number
- ADA188544