Ada Compiler Validation Summary Report: TLD Systems, Ltd., TLD RISC6000. MIL-STD-1750A Ada Compiler System, Version 2.9.0, IBM RISC System 6000, Model 530 under AIX, Version 3.1 (Host) to IBM RISC System 6000, Model 530 under AIX, Version 3.1 running TLDmps MIL-STD-1750A Multiple Process Simulator under TLDrtx Real Time Executive, Version 1.0.0 (Target), 920319W1.11241

Abstract

The Ada implementation described above was tested according to the Ada Validation Procedures Pro90 against the Ada Standard Ada83 using the Current Ada Compiler Validation Capability (ACVC). This Validation Summary Report (VSR) gives an account of the testing of this Ada implementation. For any technical terms used in this report, the reader is referred to Pro90.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 30, 1992
Accession Number
ADA262889

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Compilers
  • Computer Programming
  • Computer Programs
  • Computers
  • Computing System Architectures
  • Debugging
  • Foreign Languages
  • High Level Languages
  • Host Computers
  • Instruction Set Architecture
  • Language
  • Magnetic Tape
  • Object Code
  • Operating Systems
  • Programming Languages
  • Simulators
  • Software Development

Readers

  • Software Verification and Validation.