Ada Compiler Validation Summary Report: Certificate Number: 891116W1.10191, Intel Corporation, iPSC/2 Ada, Release 1.1, iPSC/2 Parallel Supercomputer, System Resource Manager Host and iPSC/2 Parallel Supercomputer, CX-1 nodes 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; and 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 he AVF according to procedures established by the Ada Joint Program Office and administered by the Ada Validation Organization (AVO). On-side testing was completed 16 November 1989 at Aloha OR. (jes)