首页>
美国政府科技报告
>Ada Compiler Validation Summary Report: Certificate Number: 910130W1.11115 EncoreComputer Corporation, Parallel Ada Development System, Revision 1.0, Encore 91 Series (Model no. 91-0340) under UMAX 3.0 (Host and Target)
【24h】
Ada Compiler Validation Summary Report: Certificate Number: 910130W1.11115 EncoreComputer Corporation, Parallel Ada Development System, Revision 1.0, Encore 91 Series (Model no. 91-0340) under UMAX 3.0 (Host and Target)
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. 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.
展开▼