Ada Compiler Validation Summary Report, University of Karlsruhe-GMD/German MoD Siemens - BS 2000 Version 7.XXX.

Abstract

The purpose of this Validation Summary Report (VSR) is to present the results and conclusions of performing standardized tests of the GMD/German MOD Compiler. On-Site testing was performed 27 SEP 84 to 8 OCT 84 at the GMD Center in Birlinghoven, Germany under the auspices of the Ada Validation Facility (AVF), according to the Ada Validation Office (AVO) policies and procedures. The GMD Compiler (Siemens 7.XXX Version 840404) is hosted on the Center's Siemens 7.571 Computer operating under BS2000 7.1. The suite of tests known as the Ada Compiler Validation Capability (ACVC), Version 1.4, was used. A complete list of tests and results is provided in this report. Keywords include: Ada Language, University of Karlsruhe, GMD/German MoD, Siemens BSD, Ada Compiler Validation Capability, ACVC, ACVC Version 1.4, Ada Validation Office, AVO, Ada Validation Facility, AVF, IABG, AJPO, Ada Joint Program Office, Ada Compiler Validation, Summary Report, and VSR.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 28, 1984
Accession Number
ADA153747

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Compilers
  • Computer Programming
  • Computer Programs
  • Computers
  • Corporations
  • Governments
  • High Level Languages
  • Language
  • Magnetic Tape
  • Object Code
  • Operating Systems
  • Programming Languages
  • Specifications
  • Standards
  • United States
  • United States Government
  • Universities

Readers

  • Software Verification and Validation.