Ada (Trade Name) Compiler Validation Summary Report. Systeam KG. Dr. Winterstein Systeam/German MoD VAX-11 Compiler VAX-11/750.

Abstract

The Validation Summary Report presents the results and conclusions of testing performed on the Systeam/German MoD VAX-11 Compiler. Standardized tests serve as input to an Ada compiler, producing results which are evaluated by the validation team. This summary briefly states the highlights of the Systeam/German MoD VAX-11 Compiler validation. The suite of tests known as the Ada Compiler Validation Capability (ACVC), Version 1.6, was used. The ACVC is used to validate conformance of a compiler to ANSI/MIL-STD-1815A Ada. The purpose of testing is to ensure that a compiler properly implements legal language and that if identifies and rejects illegal language constructs. The testing also identifies behavior that is implementation dependent but permitted by the Ada Standard. Six classes of tests are used. These tests are designed to perform checks at compile time, at link time, or during execution.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 24, 1985
Accession Number
ADA167387

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Compilers
  • Computer Programming
  • Computer Programs
  • Computers
  • Governments
  • High Level Languages
  • Host Computers
  • Language
  • Law
  • Logistics
  • Operating Systems
  • Standards
  • Tapes
  • Two Dimensional
  • United States
  • United States Government
  • User Manuals

Fields of Study

  • Computer science

Readers

  • Software Verification and Validation.