Ada Compiler Validation Capability: Long Range Plan.

Abstract

The objective of the Ada Compiler Validation Capability (ACVC) is to determine to what extent an Ada compiler conforms to the Ada Standard. The purpose of this Report is to describe planned validation capabilities, their relation to other standardization activities, and our planned development approach. We describe the functions to be supported by the ACVC and the general nature of the capabilities to be provided. In Section 3, we describe specific plans for each of the Phases. In Section 4, we specify risk areas. In Appendix A, we specify documentation standards to be applied to the ACVC.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 26, 1979
Accession Number
ADA149214

Entities

Organizations

  • SofTech, Inc.

Tags

DTIC Thesaurus Topics

  • Acceptance Tests
  • Application Software
  • Compilers
  • Computer Programs
  • Computers
  • Environment
  • Host Computers
  • Language
  • Object Code
  • Semantics
  • Specifications
  • Standards
  • Test Sets
  • Text Processing
  • Validation

Readers

  • Defense Acquisition Program Management
  • Software Verification and Validation.
  • Theoretical Analysis.