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 [TC1]). 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. See also Ada (programming language) Conformity assessment Technical standard References ISO/IEC 18009:1999 Information technology — Programming languages — Ada: Conformity assessment of a language processor (ACATS) External links Ada (programming language) Programming language standards