Ada Compiler Validation Summary Report: Certificate Number: 910130W1.11115 Encore Computer Corporation, Parallel Ada Development System, Revision 1.0, Encore 91 Series (Model no. 91-0340) under UMAX 3.0 (Host and Target)
Abstract
The Ada implementation described above was tested according to the Ada Validation Procedures (Pro90) against the Ada Standard (Ada83) using the current Ada Compiler Validation Capability (ACVC). This Validation Summary Report (VSR) gives an account of the testing of this Ada implementation. Compliance of Ada implementations is tested by means of the ACVC. The ACVC contains a collection of test programs structured into six test classes: A, B, C, D, E, and L. The first letter of a test name identifies the class to which it belongs. Class A, C, D, and E tests are executable. Class B and class L tests are expected to produce errors at compile time and link time, respectively. The executable tests are written in a self-checking manner and produce a PASSED, FAILED, or NOT APPLICABLE message indicating the result when they are executed.
Document Details
- Document Type
- Technical Report
- Publication Date
- Sep 05, 1991
- Accession Number
- ADA242276