Ada (Trade Name) Compiler Validation Summary Report: Verdix Corporation Verdix Ada Development System, Version 5.2 for the Tektronix 6130 under UTek, Release 2.1.1.
Abstract
The Validation Summary Report presents the results and conculsions of testing performed on the Verdi Ada Development System (VADS), Version 5.2. Standardized tests serve as input to an Ada (trade name) compiler, producing results which are evaluated by the validation team. This summary briefly states the highlights of the VADS, Version 5.2, validation. On-site testing was performed on 14 Nov 1985 through 16 Nov 1985 at Verdix Corporation in Aloha, Oregon under the auspices of the Ada Validation Facility (AVF), according to Ada Validation Office (AVO) policies and procedures. The VADS, Version 5.2, is hosted on a Tektronix 6130 operating under UTek Operating System, Release 2.1.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 for 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 tests are designed to perform checks at compile time, at link time, or during execution.
Document Details
- Document Type
- Technical Report
- Publication Date
- Nov 16, 1985
- Accession Number
- ADA166872