Ada (Trade Name) Compiler Validation Summary Report: Digital Equipment Corporation VAX Ada Compiler Version 1.1 VAX 8600, VAX-11/785, VAX-11/780, VAX-11/782, VAX-11/750, VAX-11/730, MicroVAX I & II, VAXstation I & II Using VAX/VMS and MicroVMS Version 4.2 and VAXELN Version 2.
Abstract
The purpose of this Validation Summary Report is to present the results and conclusions of performing standardized tests on the Digital Equipment Corporation VAX Ada Compiler. On-site testing was performed during 12-16 August 1985 at Digital Equipment Corporation, Nashua, New Hampshire, by an Ada Validation Facility, the Federal Software Management Support Center, according to current Ada Validation Office (AVO) policies and procedures. The DEC VAX Ada Compiler is hosted on those systems listed in the table below. The hosts, as well as selected VAX/VMS and VAXELN based systems served as the target systems. The suite of tests known as the Ada Compiler Validation Capability (ACVC), Version 1.6, was used. The ACVC is used to validate conformance of the compiler to ANSI/MIL-STD-1815A. This standard is described in the ANSI Ada Reference Manual, February 17, 1983. Not all tests in the ACVC test suite are applicable to this specific implementation. Also, known test errors in Version 1.6 are present in some tests; these tests were withdrawn. The purpose of the testing is to ensure that the compiler properly implements legal language constructs and that it identifies, rejects from processing, and labels illegal constructs.
Document Details
- Document Type
- Technical Report
- Publication Date
- Sep 06, 1985
- Accession Number
- ADA166354