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

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.

Contents   Index   References   Previous   Next