Ada Validation Testing Tools Evaluation

Abstract

IDA Document D-590, Ada Validation Testing Tools Evaluation, presents the results of an Institute for Defense Analyses (IDA) evaluation of the Ada Compiler Validation Capability (ACVC) Tailoring Tool and the Computer-Assisted Ada Validation Tool (CAV). This document will be used as a guide to initiate enhancements to the validation tools that were evaluated (ACVC and CAV). It is directed towards the Ada Validation Facility (AVF) and the Ada Joint Program Office (AJPO) staff members.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 1989
Accession Number
ADA224223

Entities

People

  • Audrey A. Hook
  • Robert J. Knapper

Organizations

  • Institute for Defense Analyses

Tags

DTIC Thesaurus Topics

  • Compilers
  • Computer Programming
  • Computer Programs
  • Computers
  • Contracts
  • Directories
  • Engineering
  • Governments
  • Hard Copy
  • High Level Languages
  • Language
  • Programming Languages
  • Software Development
  • Standards
  • Test And Evaluation
  • United States
  • User Interface

Fields of Study

  • Computer science

Readers

  • Defense Technology Research and Development.
  • Software Verification and Validation.
  • Systems Analysis and Design