Ada Conformity Assessment Test Suite

The Ada Conformity Assessment Test Suite (ACATS) is the test suite used for Ada processor conformity testing.

The preface to the test report includes the following:

Conformity assessment does not ensure that a processor has no nonconformities to the Ada standard other than those, if any, documented in this report. The compiler vendor declares that the tested processor contains no deliberate deviation from the Ada standard; a copy of this Declaration of Conformity is presented immediately after the certificate.

The second paragraph of the background of the current ACAA procedures says:

It is important to note the scope and intent of conformity assessment. The purpose of conformity assessment is to ensure that Ada processors achieve a high degree of conformity with the Ada standard (Ada95 as corrected by ). Characteristics such as performance and suitability for a particular application are not specified by the standard, and thus are outside the scope of Ada conformity assessment. Moreover, the ACATS is a set of test programs intended to check broadly for correct implementation; it is not possible to exhaustively test for conformity. Thus, conformity is checked only to the extent of these tests; processors that are certified as conforming may fail to conform to the standard in ways peculiar to each, under particular circumstances.

The ACATS consists of 1821 tests with 255,838 lines of code occupying 30 MB of storage. The test suite is publicly available, for example as a part of the source distribution of the GNU Compiler Collection, which also contains the Ada compiler GNAT.

Famous quotes containing the words conformity, assessment and/or test:

    In a famous Middletown study of Muncie, Indiana, in 1924, mothers were asked to rank the qualities they most desire in their children. At the top of the list were conformity and strict obedience. More than fifty years later, when the Middletown survey was replicated, mothers placed autonomy and independence first. The healthiest parenting probably promotes a balance of these qualities in children.
    Richard Louv (20th century)

    The first year was critical to my assessment of myself as a person. It forced me to realize that, like being married, having children is not an end in itself. You don’t at last arrive at being a parent and suddenly feel satisfied and joyful. It is a constantly reopening adventure.
    —Anonymous Mother. From the Boston Women’s Health Book Collection. Quoted in The Joys of Having a Child, by Bill and Gloria Adler (1993)

    Tried by a New England eye, or the more practical wisdom of modern times, they are the oracles of a race already in its dotage; but held up to the sky, which is the only impartial and incorruptible ordeal, they are of a piece with its depth and serenity, and I am assured that they will have a place and significance as long as there is a sky to test them by.
    Henry David Thoreau (1817–1862)