Ada Compiler Validation Procedures Version 2.0.
ADA JOINT PROGRAM OFFICE ARLINGTON VA
Pagination or Media Count:
The Ada Compiler Validation Capability is designed to demonstrate the compliance of an Ada implementation with the Ada Programming Language. Each new version of the ACVC test suite is released for a period of six months before it is used for validation. At the end of six months, the new version of the ACVC is released for validation use for a period of 18 months. Some test programs may contain test objectives which are irrelevant for a particular Ada implementation and may be declared inapplicable, in whole or in parts, for that implementation. The ACVC Users Guide, distributed with the ACVC, contains detailed rules about implied inapplicability of test programs. Some test programs are designed to make use of implementation dependent characteristics and must be adjusted according to rules given in the ACVC Users Guide or must be modified by the AVF after consultation with the AVO. Tests may be withdrawn from the ACVC by the AVO when it is found that they are based on assumptions that need not hold true for all Ada implementations or that the test program does not meet its test objective. KR
- Computer Programming and Software