Ada (Trade Name) Compiler Validation Summary Report: SofTech, Inc. AdaVAX Compiler Version 2.47, VAX8600, VAX-11/780, VAX-11/785; and MicroVAX II Using VAX/VMS Version 4.1 and MicroVMS 4.1M

摘要

The purpose of this Validation Summary Report is to present the results and conclusions of performing standardized tests on the SofTech-AdaVAX compiler, Version 2.47. 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. Testing was done on the VAX-11/780, the VAX-11/785, and the VAX 8600. The suite of test 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). The SofTech Compiler AdaVAX, Version 2.47, using VAX/VMS 4.1 and MicroVMS 4.1M, were tested with version 1.6 of the ACVC validation tests. The SofTech AdaVAX Ada Compiler was also tested.