Ada (Trade Name) Compiler Validation Summary Report. TeleSoft TeleGen2, Version 3.7 MicroVAX II Model 630-QY and VAX-11/780. Completion of On-Site Validation.

Abstract

This report documents the results of the validation testing performed in an Ada compiler. Testing was carried out for the following purposes: 1) To attempt to identify and language constructs supported by the compiler that do not conform to the Ada Standard; 2) To attempt to identify any unsupported language constructs required by the Ada Standard; and To determine that the implementation-dependent behavior is allowed by the Ada Standard.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 10, 1986
Accession Number
ADA186503

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Compilers
  • Computer Programming
  • Computer Programs
  • Computers
  • Department Of Defense
  • Governments
  • High Level Languages
  • Host Computers
  • Language
  • Law
  • Magnetic Tape
  • Operating Systems
  • Specifications
  • Standards
  • Test Methods
  • United States
  • United States Government

Fields of Study

  • Computer science

Readers

  • Software Verification and Validation.