Ada Compiler Validation Summary Report: Certificate Number: 891116W1.10191, Intel Corporation, iPSC/2 Ada, Release 1.1, iPSC/2 Parallel Supercomputer, System Resource Manager Host and iPSC/2 Parallel Supercomputer, CX-1 nodes 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; and 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 he AVF according to procedures established by the Ada Joint Program Office and administered by the Ada Validation Organization (AVO). On-side testing was completed 16 November 1989 at Aloha OR.

Open PDF

Document Details

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

Tags

Communities of Interest

  • Materials and Manufacturing Processes

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
  • Specifications
  • Standards
  • Test Methods

Fields of Study

  • Computer science

Readers

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