Ada Compiler Validation Summary Report: Certificate Number - 910325I1. 11140 TeleSoft, TeleGen2 (Trademark) Ada Cross Development System Version 3.1, for SPARC to 68K SUN-4/60 (SPARC) => Motorola MVME-147 (MC68030)

Abstract

Compliance of Ada implementations is tested by means of the ACVC. The ACVC contains a collection of test programs structured into six test classes. The executable tests are written in a self checking manner and produce a PASSED, FAILED, or NOT APPLICABLE message indicating the result when they are executed. Three Ada library units, the packages REPORT and SPPRT13, and the procedure CHECK FILE are used for this purpose. The package REPORT also provides a set of identity functions used to defeat some compiler optimizations allowed by the Ada Standard that would circumvent a test objective. The package SPPRT13 is used by many tests for Chapter 13 of the Ada Standard. The procedure CHECK FILE is used to check the contents of text files written by some of the Class C tests for Chapter 14 of the Ada Standard. The operation of REPORT and CHECK FILE is checked by a set of executable tests.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 25, 1991
Accession Number
ADA241501

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Assembly
  • Compilers
  • Computer Programming
  • Computers
  • Generators
  • High Level Languages
  • Host Computers
  • Language
  • Machine Languages
  • Magnetic Tape
  • Object Code
  • Operating Systems
  • Optimization
  • Precision
  • Programming Languages
  • Standards

Fields of Study

  • Engineering

Readers

  • Computer Science.
  • Software Verification and Validation.