Section 3: Test Objectives and Coverage

Each ACATS test tests one or more test objectives. Test objectives ought to be relatable to rules given in the Ada Standard documents ([Ada95], [TC1], and [Amend1]).

The test objectives of modern ACATS tests are gathered into a Test Objectives Document. Each modern test is listed along with the objectives that it tests (legacy tests aren't included as they use a different form of objective). This document provides easier searching for particular objectives than a raw search of all of the test files.

This section provides information on how new test objectives are constructed and how the adequacy of objectives is checked.