Ada Compiler Validation Summary Report: Certificate Number: 891116W1.10194, Verdix Corporation, VADS VMS->MIL-STD-1750A, V6.0, MP, DEC MicroVAX III Host and Tektronix 1750A Emulator (Ethernet Download), v1.00-00 Target

Abstract

This VSR documents the results of the validation testing performed on an Ada compiler. Testing was carried out for the following purposes: To attempt to identify any language constructs supported by the compiler that do not conform to the Ada Standard; To attempt to identify any language constructs not supported by the compiler but required by the Ada Standard; To determine that the implementation-dependent behavior is allowed by the Ada Standard. Testing of this compiler was conducted by SofTech, Inc. under the direction of the AVF according to procedures established by the Ada Joint Program Office and administered by the Ada Validation Organization (AVO). On-site testing was completed 16 November 1989 at Aloha OR.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 16, 1989
Accession Number
ADA219058

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Compilers
  • Computer Programming
  • Computers
  • Corporations
  • Department Of Defense
  • Directives
  • High Level Languages
  • Host Computers
  • Language
  • Machine Languages
  • Magnetic Tape
  • Operating Systems
  • Programming Languages
  • Specifications
  • Standards
  • Test And Evaluation
  • Test Methods

Fields of Study

  • Computer science

Readers

  • Software Verification and Validation.