Preliminary Design and Implementation of a Method for Validating Evolving ADA Compilers.

Abstract

This project consisted of a preliminary design and a partial implementation of a tool which modifies the existing Ada Compiler Validation Capability (ACVC) test set so it can be used to test evolving Ada compilers. The project evaluated the feasibility of repackaging each of test classes found in the ACVC and suggested methods for repackaging the tests. The tool developed uses a table-driven parser which parses the July 1980 proposed standard. In uses output from the parser to generate a representation of a test program. Once the representation is developed, unsupported language-features are removed from it. The remaining representation is output as a valid test program. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 1983
Accession Number
ADA127333

Entities

People

  • Edward D. Miller Jr

Organizations

  • Air Force Institute of Technology

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Air Force
  • Compilers
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Department Of Defense
  • High Level Languages
  • Language
  • Programming Languages
  • Software Development
  • Specifications
  • Standards
  • Test Sets
  • United States
  • United States Military Academy
  • Validation

Fields of Study

  • Computer science

Readers

  • Aerospace Test and Evaluation
  • Computational Linguistics
  • Software Verification and Validation.