English

DTIC ADA155224: Ada Compiler Validation Capability: Long Range Plan.

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.

Sign in with your free account to read, download EPUBs or listen.