Ada 9X and the validation test suite

The author presents some suggestions for the revision and maintenance of the ACV (ada compiler validation capability), based on his experience as the former leader of the AMO (ACVC Maintenance Organization) contractor's maintenance team and his perceptions of the needs and desires expressed by Ada users and compiler vendors. Some changes in the ACVC's underlying principles are suggested; some concerns of compiler vendors are addressed; and some recommendations are presented. These recommendations are aimed at reducing the effort that compiler vendors must devote to preparing for validation, reducing the hours of labor that the Ada validation facilities must expend in performing a validation, and improving the accuracy and usefulness of the tests.<
>