An Analysis of The Definition of a Production Quality Ada Compiler. Volume 1

Abstract

This report outlines a procedure for using 'The Definition of a Production Quality Ada Compiler', SD-TR-87-29, as the basis for determining if an Ada compiler is of production quality. The report describes the development of a test suite from the requirements set forth in SD-TR-87-29, as well as the results of applying this test suite to two validated Ada compilers. An analysis of SD-TR-87-29 from creating and applying the test suite has also been provided. Keywords: Compilers; Selection; Specifications; Evaluation; Requirements; Ada programming language; Computer program documentation.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 13, 1989
Accession Number
ADA218808

Entities

People

  • B. A. Petrick
  • S. J. Yanke

Organizations

  • The Aerospace Corporation

Tags

DTIC Thesaurus Topics

  • Central Processing Units
  • Compilers
  • Computer Program Documentation
  • Computer Programming
  • Computer Programs
  • Computers
  • Databases
  • Debugging
  • High Level Languages
  • Machine Languages
  • Object Code
  • Operating Systems
  • Production
  • Software Design
  • Software Development
  • Test And Evaluation
  • Test Methods

Fields of Study

  • Engineering

Readers

  • Software Engineering
  • Software Verification and Validation.