ACATS 4.0 User's Guide
Title Page
Contents   Index   References   Previous   Next 

3.2 Coverage of the Ada Standard

The Ada Standard documents [Ada2012] include many thousands 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.

Contents   Index   References   Previous   Next