Ada (Trade Name) Compiler Validation Summary Report: Honeywell Information Systems, Inc. GCOS 6 Ada Compiler Version 2.0 DPS 6/95, DPS 6/94, DPS 6/85, DPS 6/75, DPS 6/74, DPS 6/70 Using MOD 400 Release 3.0 and /or Release 3.1. Revision.

Abstract

The purpose of this Validation Summary Report is to present the results and conclusions performing standardized tests on the Honeywell Information Systems (HIS), GCOS 6 Ada compiler, Version 2.0. The suite of tests known as the Ada Compiler Validation Capability (ACVC), Version 1.6, was used. 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
Jan 28, 1986
Accession Number
ADA167546

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

Fields of Study

  • Computer science

Readers

  • Software Verification and Validation.