Ada Compiler Validation Summary Report: Certificate Number 900228W1.11004 VerdixCorporation, VADS IBM PS/2 AIX => Intel 80386, VAda-110-35315, Version 6.0, IBM PS/2 Model 80 => iSBC 386/32

摘要

The Ada implementation described above was tested according to the Ada ValidationProcedures 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.