Ada (trademark) Compiler Validation Summary Report. Verdix Ada Compiler, VADS, Version V03.06 for VAX-11/785, Using ULTRIX 1.0.

Abstract

The purpose of this Validation Summary Report is to present the results and conclusions of performing standardized tests on the Verdix Ada compiler (VADS). The VADS is hosted on the VAX-11/785 computer operating under ULTRIX 1.0. The suite of tests known as the Ada Compiler Validation Capability (ACVC), Version 1.5, 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 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. Keywords: Computer program verification.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 14, 1985
Accession Number
ADA163345

Entities

Organizations

  • SofTech, Inc.

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Application Software
  • Compilers
  • Computer Program Documentation
  • Computer Program Verification
  • Computer Programming
  • Computer Programs
  • Computers
  • Corporations
  • Governments
  • High Level Languages
  • Information Systems
  • Language
  • Operating Systems
  • Standards
  • United States
  • United States Government
  • Validation

Readers

  • Software Verification and Validation.