Ada Compiler Summary Report: Alsys AlsyCOMP 003 Version 1.1.1 SPERRYIT.
Abstract
This Validation Summary Report presents the results and conclusions of testing performed on the AlsyCOMP 003, version 1.1.1. 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 003, version 1.1.1 validation. On-site testing was completed by 25 April 1986 at Alsys at LaCelle Saint-Cloud, France under the auspices of the BNI (AVF), according to Ada Validation OFfice policies and procedures. The AlsyCOMP 003, version 1.1.1 is hosted on SPERRY IT operating under MS/DOS Version 3.1. The suite of tests known as the Ada Compiler Validation Capability (ACVC). Version 1.7, was used. The ACVC is used to validate conformance of a compiler to ANSI/MIL-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 test are designed to perform checks at compile time, at link time, or during execution.
Document Details
- Document Type
- Technical Report
- Publication Date
- Apr 25, 1986
- Accession Number
- ADA174964