Ada (Trade name) Validation Summary Report: TeleSoft, Inc., TeleSoft Ada Compiler, Version 2.3C3 for the Gould CONCEPT/32 (Trade name) Model 6750 under MPX, Version 3.2. Completion of On-Site Validation

摘要

The Validation Summary Report presents the results and conclusions of testing performed on the TeleSoft Ada Compiler, Version 2.3C3. Standardized tests serve as input to an Ada compiler, producing results which are evaluated by the Validation team. This summary briefly states the highlights of the TeleSoft Ada compiler, Version 2.3C3 validation. On-site testing was performed 2 December 1985 through 6 December 1985 at TeleSoft, Inc. in San Diego, CA. under the auspices of the Ada Validation Facility (AVF), according to Ada Validation Office policies and procedures. The TeleSoft Ada Compiler, Version 2.3C3 is hosted on Gould CONCEPT/32 Model 6750 operating user Gould MPX, Version 3.2. The suite of tests known as the Ada Compiler Validation Capability (ACVA), Version 1.6, was used. The ACVC is used to validate conformance of a compiler to ANSI/MIL-STD-1815A Ada. The purpose of testing is to ensure that a compiler properly implements legal language constructs and that it identifies and rejects illegal language constructs. The testing also identifies behavior that is implementation dependent but permitted by the Ada Standard. Six classess of tests are used. These tests are designed to perform checks at compile time, at link time, or during execution. (Author)