Ada (trademark) Compiler Validation Summary Report: Softech, Inc. Ada86 Compiler Version 1.21, VAX-11/780, VAX-11/785; Using VAX/VMS Version 4.1; and the INTEL 8086 and the INTEL 80186

摘要

The purpose of this Validation Summary Report is to present the results and conclusions of performing standardized tests on the SofTech Ada86 compiler, Version 1.21. On-site testing was performed by the Federal Software Management Support Center (FSMSC)--an Ada Validation Facility--in accordance with current Ada Validation Office policies and procedures, on 1-8 November, 1985 at SofTech, Inc. in Waltham, MA. The suite of tests known as the Ada Compiler Validation Capability (ACVC), Version 1.6, 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 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. (Author)