Ada (Trademark) Compiler Validation Summary Report: Telesoft Ada Compiler Version 2.0a6 for VAX-11/780, Using VMS 3.4.

Abstract

The purpose of this Validation Summary Report (VSR) 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 operating under VMS 3.4. The suite of tests known as the Ada Compiler Validation Capability (ACVC), Version 1.4, was used. The ACVC suite of tests is used to validate conformance of the compiler to ANSI/MIL-STD-1815A (ADA). The purpose of the testing is to ensure that the compiler properly implements legal langauge constructs and that it identify, reject from processing, and lable 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
ADA166925

Entities

Organizations

  • SofTech, Inc.

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

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

Fields of Study

  • Computer science

Readers

  • Software Verification and Validation.