Ada (Trade Name) Compiler Validation Summary Report: AFATL Ada Cross-Compiler Version 1.0, CDC Cyber Host/Zilog Z8002 Target.

Abstract

The purpose of this Validation Summary Report is to present the results and conclusions of performing standardized tests on the Air Force Armament Laboratory (AFATL) Ada Compiler, developed by Florida State University (FSU). The AFATL Ada Compiler (Version 1.0) is hosted on the CDC Cyber 170/760 and targeted to the Zilog Z8002 Development Module. The suite of tests known as the Ada Compiler Validation Capability (ACVC), Version 1.6, was used. 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. Six classes of tests are used. These tests are designed to perform checks at compile time, during execution, and at link time.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 06, 1985
Accession Number
ADA166212

Entities

Organizations

  • SofTech, Inc.

Tags

DTIC Thesaurus Topics

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

Readers

  • Software Verification and Validation.

Technology Areas

  • Cyber