Ada Compiler Validation Summary Report: University of Karlsruhe-GMD/German MOD VAX 11 Compiler, Version V1.0.

Abstract

The purpose of this Validation Summary Report is to present the results and conclusions of performing standardized tests of the System/German MoD compiler. On-site testing was performed 28 SEP 84 to 6 OCT 84 at System KG in Karlsruhe, Germany under the auspices of the Ada Validation Facility (AVF), according to the Ada Validation Office policies and procedures. The System compiler (VAX11 Version 1.0) is hosted on the Center's VAX-11/750 computer operating under VMS 3.0. The suite of tests known as the Ada Compiler Validation Capability, Version 1.4, was used. The purpose of the testing is to ensure that the complier properly implements legal language constructs and that is identify, reject from processing, and label illegal language constructs. The testing also identifies implementation-dependent behavior permitted by the standard. The AVF concluded that the results obtained show accepted compliance to the February 1983 ANSI Ada Reference Manual.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 12, 1984
Accession Number
ADA154370

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Compilers
  • Computer Programming
  • Computers
  • Errors
  • Germany
  • Governments
  • High Level Languages
  • Language
  • Magnetic Tape
  • Object Code
  • Operating Systems
  • Personality
  • Programming Languages
  • Standards
  • Translators
  • United States
  • United States Government

Readers

  • Aerospace Test and Evaluation
  • Software Verification and Validation.