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

Abstract

This document describes the Ada Complier Validation Capability (ACVC) , Version 1.10. This version 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 files 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. In version 1.10 of the ACVC, 383 tests were modified from the corresponding tests in Version 1.9 Modifications have been made: (a) to correct tests that were found to be incorrect in previous versions of the ACVC; (b) to strengthen the tests by making the tests more comprehensive or by incorporating more cases to check; and (c) to bring test code into conformance with the coding standards.

Document Details

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

Tags

DTIC Thesaurus Topics

  • Compilers
  • Computer Program Documentation
  • Computer Programming
  • Computer Programs
  • Computers
  • Computing-Related Activities
  • Magnetic Tape
  • Software Development
  • Standards
  • Tapes
  • Validation

Readers

  • Aerospace Test and Evaluation
  • Computer Science.
  • Software Verification and Validation.