Ada (Trademark) Compiler Validation Summary Report: Verdix Ada Compiler, Verdix Ada Development System (VADS) VAda-010-1010, Version V05.00, For Sun Microsystems Model 2/120 Using UNIX (Trademark) 4.2 BSD, Release 1.1

摘要

The purpose of this Validation Summary Report is to present the results and conclusions of performing standardized tests on the Verdix Ada compiler. On-site testing was performed 28-30 APR 85 at Verdix Western Operations in Aloha, Oregon, under the auspices of the Ada Validation Facility, according to the Ada Validation Office policies and procedures. The Verdix Ada compiler (Verdix Ada Development System (VADS), VAda-010-1010) is hosted on the Sun Microsystems Model 2/120 computer operating under Berkeley UNIX 4.2 BSD, Release 1.1. The suite of tests known as the Ada Compiler Validation Capability (ACVC), Version 1.5, was used. The ACVC suite of tests is used to validate conformance of the compiler to ANSI/MIL-STD-1815A (Ada). This standard is described in the ANSI Ada Reference Manual, January 1983. Not all tests in the ACVC test suite are applicable to a specific implementation. Also, known test errors in Version 1.5 are present in some tests; the 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 language constructs. The testing also identifies implementation-dependent behavior permitted by the standard.