Ada Compiler Validation Summary Report, Dansk Datamatik Center, VAX 11 Compiler Version 1.1.
Abstract
The purpose of this Validation Summary Report (VSR) is to present the results and conclusions of performing standardized tests of the Dansk Datamatik Center Compiler. The suite of tests known as the Ada Compiler Validation Capability (ACVC), Version 1.4, was used. The ACVC suite of tests is used to validate conformance of the compiler to ANSI/MIL-STD-1815A (Ada). The purpose of the testing is to ensure that the compiler properly implements legal language constructs and that it identify, reject from processing, and label illegal language constructs. The testing also identifies implementation-dependent behavior permitted by the standard. Six classes of tests are used. These tests are designed to perform checks at compile time, during execution, and at link time. The ACVC, Version 1.4, contains 2178 tests, of which 2011 were applicable to this implementation. Of the 2011 applicable tests, 73 were withdrawn due to the occurrence of errors in the tests. Results showed that all of the remaining 1938 valid tests were successfully passed by the Dansk Datamatik Center compiler.
Document Details
- Document Type
- Technical Report
- Publication Date
- Nov 06, 1984
- Accession Number
- ADA149340
Entities
Organizations
- SofTech, Inc.