The Ada Standard documents (
[Ada95],
[TC1], and
[Amend1])
include many hundreds of rules. The ACATS Coverage Documents (see
3.2.1)
record the mapping of test objectives and tests to Ada rules, making
it possible to determine if individual rules are adequately tested. The
following clauses discuss these documents and the rules by which they
are constructed.
