Ada (Trade Name) Compiler Validation Summary Report: DDC Ada Compiler System Version 3.1 for DEC VAX-11/785.

Abstract

The purpose of this Validation Summary Report is to present the results and conclusions of performing standardized tests on the Dansk Datamatik Center (DDC) International Ada Compiler System. On-site testing was performed 23-27 SEP 85 at DDC International in Copenhagen, Denmark under the auspices of the Ada Validation Facility (AVF), according to the Ada Validation Office policies and procedures. The DDC Ada Compiler (Version 3.1) is hosted on the DEC VAX-11/785 operating under VMS 4.1. The suite of tests known as the Ada Compiler Validation Capability (ACVC), Version 1.6, was used. The ACVC suite of tests is used to validate conformance of the compiler to ANSI/MIL-STD-1815A (Ada). Not all tests in the ACVC test suite are applicable to a specific implementation. Also, known test errors in Version 1.6 are present in some tests; these tests were withdrawn. The purpose of the testing is to ensure that the compiler properly implements legal language constructs and that it identifies, rejects from processing, and labels illegal language constructs. The testing also identifies implementation-dependent behavior permitted by the standard. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 27, 1985
Accession Number
ADA166817

Entities

Organizations

  • SofTech, Inc.

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Air Force
  • Air Force Facilities
  • Compilers
  • Computer Programming
  • Computers
  • Governments
  • High Level Languages
  • Information Systems
  • Language
  • Law
  • Magnetic Tape
  • National Governments
  • Operating Systems
  • Programming Languages
  • Standards
  • United States
  • United States Government

Readers

  • Software Verification and Validation.