Ada Compiler Validation Summary Report: Certificate Number: 951017W2.O-OOl Intermetrics Inc. AdaMagic, Version 2.0 SPARCstation 5 under SUNOS, 4.1.4 => Raytheon Extended Weapons Control Computer (EWCC) (Bare Machine).

Abstract

This report documents the validation testing of an Ada 95 implementation. This testing was conducted according to the Ada Compiler Validation Procedures Version 4.0, using Ada Compiler Validation Capability test suite version 2.0, and completed 17 October 1995.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 15, 1995
Accession Number
ADA303743

Tags

Communities of Interest

  • C4I
  • Weapons Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Compilers
  • Computer Programming
  • Computer Programs
  • Computers
  • Debugging
  • High Level Languages
  • Host Computers
  • Language
  • Law
  • Magnetic Tape
  • Operating Systems
  • Programming Languages
  • Software Development
  • Standards
  • Test And Evaluation
  • Validation

Fields of Study

  • Computer science

Readers

  • Aerospace Engineering
  • Software Verification and Validation.