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. The ACVC is being developed under a three phase contract. The periods of performance and principal objectives of each Phase are: Phase 1 (25 September 1979 through 1 October 1980) -- to produce a baseline set of validation tests, tools needed to support validation activities, and procedures for using the tests and tools; Phase 2 (2 October 1980 through 1 October 1981) -- to increase test set coverage while maintaining the baseline capability; and Phase 3 (2 October 1981 through 1 April 1982) -- to develop new validation approaches that attack difficult validation problems not fully solved in the earlier Phases. In addition, validation capabilities provided in earlier Phases will be updated and maintained. Additional keywords: Computer program documentation; Ada programming language.
Document Details
- Document Type
- Technical Report
- Publication Date
- Feb 01, 1980
- Accession Number
- ADA155224
Entities
People
- J. R. Kelly
- John B. Goodenough
Organizations
- SofTech, Inc.