Ada (Trademark) Compiler Validation Summary Report: Data General Corporation, ADE Ada Compiler, Version 2.30.03.12, Eclipse DS/4000, DS/4200, MV/4000-DC, MV/8000-C, MV/8000-II, MV/10000, MV/10000 SX Using AOS/VS 5.04 and AOS/RT32 4.001.00.

Abstract

The purpose of this Validation Summary Report is to present the results and conclusions of performing standardized tests on the Data General Corporation ADE Ada Compiler. On-site testing was performed between 29 April 1985 and 03 May 1985 at Data General Corporation headquarters, Westboro, Massachusetts, under the auspices of an Ada Validation Facility (AVF), the Federal Software Testing Center, according to current Ada Validation Office policies and procedures. The Data General ADE Ada Compilter is hosted on those systems listed in the table below. The hosts, as well as selected AOS/RT32 based systems served as the target systems. 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 ANSI/MIL-STD-1815A (Ada). This standard is described in the ANSI Ada Reference Manual, January 1983. Not all tests in the ACVC test suite are applicable to this 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 constructs.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 01, 1985
Accession Number
ADA157573

Tags

Communities of Interest

  • Space

DTIC Thesaurus Topics

  • Compilers
  • Computer Programming
  • Computer Programs
  • Computers
  • Corporations
  • Governments
  • High Level Languages
  • Language
  • Law
  • Magnetic Tape
  • Operating Systems
  • Programming Languages
  • Software Development
  • Software Testing
  • Standards
  • United States
  • United States Government

Readers

  • Software Verification and Validation.