ADA Semantic Interface Specification

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. The Ada Semantic Interface Specification (ASIS) is a layered, open architecture providing vendor-independent access to the Ada Library Environment. It allows for the static analysis of Ada programs and libraries. The Ada Conformity Assessment Test Suite (ACATS) is the test suite used for Ada processor conformity testing.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 ACATS consists of 1821 tests with 255,838 lines of code occupying 30 MB of storage. The test suite is publicly available and for example part of the sources to the GNU Compiler Collection, which also contains an Ada compiler.