Ada (trade name) Compiler Validation Summary Report: Rational Environment, Version A.2.0.6 for Rational R1000.
Abstract
The purpose of this Validation Summary Report is to present the results and conclusions of performing standardized tests on the Rational Environment. On-site testing was performed 28-30 APR 85 at RATIONAL in Mountain View, CA, under the auspices of the Ada Validation Facility, according to the Ada Validation Office policies and procedures. The Rational Environment is hosted on the R1000 computer. The suite of tests known as the Ada Compiler Validation Capability (ACVC), Version 1.5, was used. The ACVC suite of tests is used to validate conformance of the compiler to ANSI/MIL-STD-1815A (Ada), Not all tests in the ACVC test suite are applicable to a specific implementation, Also, known test errors in Version 1.5 are present in some tests; these tests were withdrawn. The purpose of the testing is to ensure that the compiler properly implements legal language constructs and that it identifies, rejects from processing, and labels 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.5, contains 2051 tests, of which 1875 were applicable to this implementation. Of the 1875 applicable tests, 78 were withdrawn due to the occurrence of errors in the tests. Results showed that all of the remaining 1797 valid tests were successfully passed by the Rational Environment. A complete list of tests and results is provided in this report. The AVF concluded that the results obtained show acceptable compliance to the January 1983 ANSI Ada Reference Manual. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- May 24, 1985
- Accession Number
- ADA157830
Entities
Organizations
- SofTech, Inc.