Ada (Trade Name) Compiler Validation Summary Report: ALSYS AlsyCOMP 005, Version 1.0 SUN 2/120, SUN 2/50 and SUN 3/160 Workstat ions

摘要

This Validation Summary Report presents the results and conclusions of testing performed on the AlsyCOMP 005, version 1.0. Standardized tests serve as input to an Ada compiler, producing results which are evaluated by the validation team. This summary briefly states the highlights of the AlsyCOMP 005, version 1.0 validation. On-site testing was performed 31 October 1985 through 2 November 1985 at Alsys premises in La Celle Saint Cloud - France, under the auspices of the BNI (AVF), according to Ada Validation Office policies and procedures. The AlsyCOMP 005, version 1.0 is hosted on SUN Workstation 2/120 and also on a SUN Workstation 2/50 operating under SUN UNIX 4.2 release 2.0, it is also hosted on SUN workstation 3/160 operating under SUN UNIX 4.2 release 3.0. The suite of tests known as the Ada Compiler Validation Capability (ACVC), Version 1.6, was used. The purpose of testing is to ensure that a compiler properly implements legal language constructs and that it identifies and rejects illegal langauge constructs. The testing also identifies behavior that is implementation dependent but permitted by the Ada Standard. Six classes of tests are used. These tests are designed to perform checks at compile time, at link time, or during execution. (Author).