Ada (Trademark) Compiler Validation Summary Report. Honeywell Information Systems GCOS6 Ada Version 1.1.

Abstract

The Honeywell Information Systems Compiler GCOS6 Ada version 1.1, for the DPS 6/95, DPS 6/75, DPS 6/45, microSystem 6/20 and microSystem 6/10 using GCOS6 MOD400, was tested with version 1.4 of the ACVC validation tests. Version 1.4 of the test suite contained 2185 tests, of which 2008 were applicable to this implementation. Of the applicable tests, 71 were withdrawn due to errors in the tests. Of the remaining applicable correct tests 1937 passed, and no anomaly was discovered. Keywords include: Ada Compiler Validation Summary Report, VSR, Ada Language, Validation Testing, ACVC, Ada Compiler Validation Capability, FSTC, AVO Ada Validation Office, Ada Joint Program Office, AJPO, Ada Validation Facility, AVF, Honeywell Information Systems, GCOS6 Ada Version 1.1, ANSI MIL/STD Ada, and ACVC Version 1.4.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 14, 1984
Accession Number
ADA153746

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
  • Software Testing
  • Standards
  • United States Government
  • Validation

Fields of Study

  • Engineering

Readers

  • Software Verification and Validation.