Ada (Trade Name) Compiler Validation Summary Report: Alsys, Inc. AlsyComp 008/V1.0 VAX-11/750 Host and IBM PC-AT Target.
Rept. for 5 Dec 85-5 Dec 86.
INFORMATION SYSTEMS AND TECHNOLOGY CENTER W-P AFB OH ADA VALIDATION FACILITY
Pagination or Media Count:
The Validation Summary Report presents the results and conclusions of testing performed on the AlsyCOMP 008V1.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 008V1.0 validation. The AlsyComp 008V1.0 is hosted on a VAX-11750 operating under VMS 4.1. The suite of tests known as the Ada Compiler Validation Capability ACVC, Version 1.6, was used. The ACVC is used to validate conformance of a compiler to ANSIMIL-STD-1815A Ada. The purpose of testing is to ensure that a compiler properly implements legal language constructs and that it identifies and rejects illegal language 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.
- Computer Programming and Software