ACATS 4.0 User's Guide
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
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.