System Programming, Real-Time Systems, Distributed Systems, Information Systems, Numerics, and Safety and Security. Tests allocated to these annexes are processed only when the vendor claims support. These tests focus on support expected from Ada for features of Ada 83 that have been updated to be compatible with revised rules. Each test has been allocated into exactly one of several test subsets, based upon a general categorization of Ada features used in the test. These features include protected objects, modifications to task types, select statements, and delay alternatives.
Features validated include tagged types, class attributes, and abstract types and subprograms.
Other Ada 95 facilities commonly used in object-oriented programs are included in subsequent subsets. This includes the related semantics of visibility, accessibility, and calls on primitive operations of tagged types. A formal validation agreement between the customer and an AVF is required in order to obtain validation services. A Declaration of Conformance must then be completed and signed by the customer no later than at the time of validation testing. F refers to the Ada Validation Facility.