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.
See more at Wikipedia.org...