Version Description Document for the Ada Compiler Validation Capability (Version 1.10): ANSI

Abstract

The Ada Compiler Validation Capability (ACVC), Version 1.10, consists of 3719 tests in 4182 test files. Also, there are three units in four files and three tests in three files which support the running of the ACVC tests; one data file containing macro definitions; one program in one file for making the macro substitutions; and five programs in 165 files which are used to aid in the validation process. The differences between Version 1.9 and 1.10 are detailed in sections 2.0 through 4.0. Keywords: Test and Evaluation; Ada programming language.

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1987
Accession Number
ADA188542

Tags

DTIC Thesaurus Topics

  • Compilers
  • Computer Languages
  • Computer Programming
  • Computer Programs
  • Computers
  • Formal Languages
  • High Level Languages
  • Language
  • Magnetic Tape
  • Programming Languages
  • Tapes
  • Test And Evaluation
  • Validation

Fields of Study

  • Education
  • Engineering

Readers

  • Computer Science.
  • Software Verification and Validation.