Ada Compiler Validation Summary Report: Certificate Number: 891116W1.10194, Verdix Corporation, VADS VMS->MIL-STD-1750A, V6.0, MP, DEC MicroVAX III Host and Tektronix 1750A Emulator (Ethernet Download), v1.00-00 Target.

摘要

This VSR documents the results of the validation testing performed on an Ada compiler. Testing was carried out for the following purposes: To attempt to identify any language constructs supported by the compiler that do not conform to the Ada Standard; To attempt to identify any language constructs not supported by the compiler but required by the Ada Standard; To determine that the implementation-dependent behavior is allowed by the Ada Standard. Testing of this compiler was conducted by SofTech, Inc. under the direction of the AVF according to procedures established by the Ada Joint Program Office and administered by the Ada Validation Organization (AVO). On-site testing was completed 16 November 1989 at Aloha OR. (jes)