Ada (Trade Name) Validation Summary Report: Honeywell Large Systems GCOS-8 Compiler, Version 3.1 DPS-88 Using SR2300 July 1985 Release IFAD B.4 SMAS BO Version and the DPS-88.

Abstract

The purpose of this Validation Summary Report is to present the results and conclusions of performing standardized tests on the Honeywell GCOS-8 compiler version 3.1. The suite of tests known as the Ada Compiler Validation Capability (ACVC), Version 1.6, was used. The ACVC suite of test is used to validate conformance of the compiler to 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.6 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. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 20, 1985
Accession Number
ADA167214

Tags

Communities of Interest

  • Space

DTIC Thesaurus Topics

  • Compilers
  • Computer Programming
  • Computer Programs
  • Computers
  • Governments
  • High Level Languages
  • Information Systems
  • Language
  • Law
  • Object Code
  • Operating Systems
  • Programming Languages
  • Software Development
  • Standards
  • United States Government

Readers

  • Software Verification and Validation.