Ada Conformity Assessment Test Suite
The Ada Conformity Assessment Test Suite ( ACATS ) is a collection of test programs to ensure that a combination of Ada - compiler , host and target processor the language standard specifications with support. A combination referred to below as the Ada processor that passes the test is referred to as validated .
In the preliminary remarks of the ACATS :
- 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.
Loosely translated this means something like: "The manufacturer declares that the Ada processor does not deliberately deviate from the standard, but deviations can occur in individual cases."
The second paragraph goes into more detail on the intended effect of the review:
- 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 [TC1]). Characteristics such as performance and suitability for a particular application are not specified by the standard, and thus are outside the scope of 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 second paragraph says something like: “The check is to ensure that Ada processors meet the specification of the language as much as possible. Checking whether the program can be used for a specific purpose is not the task of these tools. A check can never be complete, so that a validated Ada processor may deviate from the specification elsewhere. "
See also
Web links
Individual evidence
- ISO / IEC 18009: Information technology - Programming languages - Ada: Conformity assessment of a language processor (ACATS)