Ada (Trade Name) Compiler Validation Summary Report: Intermetrics, Inc. Intermetrics 1750A Ada Real-Time Compiler, Version 201.16c IBM 3083 Host, Hughes JOVIAL/1750A Debugger, Release 004D Target.

Abstract

This report summarizes results and conclusions of validation testing performed on the Intermetrics 1750A Ada Real-Time Compiler, Version 201.16c, using Version 1.8 of the Ada Compiler Validation Capability (ACVC). The Intermetrics 1750A Ada Real-Time Compiler is hosted on an IBM 3083 operating under VM/HPO using CMS), Release 4.2. Programs processed by this compiler may be executed on a Hughes JOVIAL/1750A Debugger, Release 004D having no operating system. The Hughes JOVIAL/1750A Debugger simulates a MIL-STD-1750A Instruction Set Architecture with console I/O and no other optional features. On-site testing was performed at Cambridge, MA, under the direction of the Ada Validation Facility (AVF). The AVF identified 1938 of the 2399 tests in ACVC Version 1.8 to be processed during on-site testing of the compiler. After the 1938 tests were processed, results for Class A, C, D, and E tests were examined for correct execution. Compilation listings for Class B tests were analyzed for correct diagnosis of syntax and semantic errors. Compilation and link results for Class L tests were analyzed for correct detection of errors. There were 29 of the processed tests determined to be inapplicable. The remaining 1909 test were passed.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 30, 1987
Accession Number
ADA190335

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Compilers
  • Computer Programming
  • Computers
  • Computing System Architectures
  • Conformity
  • Department Of Defense
  • Governments
  • High Level Languages
  • Instruction Set Architecture
  • Language
  • Law
  • Magnetic Tape
  • Operating Systems
  • Programming Languages
  • Test Methods
  • United States
  • United States Government

Fields of Study

  • Computer science
  • Engineering

Readers

  • Parallel and Distributed Computing.
  • Software Verification and Validation.