Ada (Trademark) Compiler Validation Summary Report: Telesoft Ada Compiler Version 2.0a6 for VAX-11/780, Using UNIX (Trademark) 4.2 BSD (Mt. Xinu).

Abstract

The purpose of this Validation Summary report is to present the results and conclusions of performing standardized tests on the TeleSoft Ada Compiler which is hosted on TeleSoft's VAX-11/780 Computer. The suite of tests known as the Ada Compiler Validation Capability (ACVC), Version 1.4, was used. Not all tests in the ACVC test suite are applicable to a specific implementation. Also, known test errors in Version 1.4 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 identify, reject from processing, and label 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
Feb 05, 1985
Accession Number
ADA166985

Entities

Organizations

  • SofTech, Inc.

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Air Force Facilities
  • Compilers
  • Computers
  • Errors
  • Governments
  • Information Systems
  • Language
  • Law
  • Magnetic Tape
  • National Governments
  • Object Code
  • Operating Systems
  • Personality
  • Standards
  • Trademarks
  • Translators
  • United States Government

Fields of Study

  • Computer science

Readers

  • Software Verification and Validation.