Ada Compiler Validation Summary Report: Certificate Number: 891116W1.10193, Verdix Corporation, VADS SUN4/UNIX->68K (68020), Version 6.0, SUN4/260 Host and MVME147 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. (jes)

Open PDF

Document Details

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

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Compilers
  • Computer Programming
  • Computer Programs
  • Computers
  • Corporations
  • Department Of Defense
  • Directories
  • High Level Languages
  • Host Computers
  • Language
  • Machine Languages
  • Magnetic Tape
  • Operating Systems
  • Programming Languages
  • Serial Ports
  • Specifications
  • Test Methods

Fields of Study

  • Computer science

Readers

  • Software Verification and Validation.
  • Systems Analysis and Design