By Topic

Ada 9X and the validation test suite

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)

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

Published in:

Aerospace and Electronics Conference, 1991. NAECON 1991., Proceedings of the IEEE 1991 National

Date of Conference:

20-24 May 1991