Ada Compiler Validation Summary Report: Certificate Number 900726W1. 11025 Verdix Corporation, VADS IBM RISC System/6000=>68K, AIX 3.1, VAda-110- 71125, Version 6.0, IBM RISC System/6000 Model 530 => MVME147 (Motorola 68030)
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. 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. Three Ada library units, the packages REPORT and SPPRT13, and the procedure CHECK FILE are used for this purpose. The package REPORT also provides a set of identity functions used to defeat some compiler optimizations allowed by the Ada Standard that would circumvent a test objective. The package SPPRT13 is used by many tests for Chapter 13 of the Ada Standard. The procedure CHECK FILE is used to check the contents of text files written by some of the Class C tests for Chapter 14 of the Ada Standard. The operation of REPORT and CHECK FILE is checked by a set of executable tests.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jan 22, 1991
- Accession Number
- ADA233234