Ada Conformity Assessment Test Suite


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 [http://www.adaic.com/compilers/procs/3.0/ACAP30.html 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 and for example part of the sources to the GNU Compiler Collection, which also contains an Ada compiler.

References

* "ISO/IEC 18009: Information technology — Programming languages — Ada: Conformity assessment of a language processor (ACATS)"

See also

* Ada programming language
* Conformity assessment
* Standards

External links

* http://www.ada-auth.org/acats.html


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Ada Conformity Assessment Test Suite — Die Ada Conformity Assessment Test Suite (ACATS) ist eine Sammlung von Testprogrammen, die sicherstellen sollen, dass ein Ada Compiler den Sprachstandard auch Spezifikationskonform unterstützt. Ein Compiler, der den Test besteht, wird als… …   Deutsch Wikipedia

  • Ada 95 — Ada ist eine strukturierte Programmiersprache mit statischer Typenbindung. Sie wurde von Jean Ichbiah von der Firma Honeywell Bull in den 1970er Jahren entworfen. Ada ist von seiner Struktur ähnlich zur Programmiersprache Pascal und ist genauso… …   Deutsch Wikipedia

  • Ada (Programmiersprache) — Ada Paradigmen: imperativ, strukturiert, objektorientiert Erscheinungsjahr: 1983 Entwickler: Jean Ichbiah Typisierung: sta …   Deutsch Wikipedia

  • Ada95 — Ada ist eine strukturierte Programmiersprache mit statischer Typenbindung. Sie wurde von Jean Ichbiah von der Firma Honeywell Bull in den 1970er Jahren entworfen. Ada ist von seiner Struktur ähnlich zur Programmiersprache Pascal und ist genauso… …   Deutsch Wikipedia

  • ACATS — Die Ada Conformity Assessment Test Suite (ACATS) ist eine Sammlung von Testprogrammen, die sicherstellen sollen, dass ein Ada Compiler den Sprachstandard auch Spezifikationskonform unterstützt. Ein Compiler, der den Test besteht, wird als… …   Deutsch Wikipedia

  • Programming language specification — A programming language specification is an artifact that defines a programming language so that users and implementors can agree on what programs in that language mean.A programming language specification can take several forms, including the… …   Wikipedia

  • ACATS — Automated Customer Account Transfer Service (Business » Accounting) *** Ada Conformity Assessment Test Suite (Computing » Software) ** Automated Customer Account Transfer System (Business » Accounting) ** Airborne Chromatograph For Atmospheric… …   Abbreviations dictionary

  • literature — /lit euhr euh cheuhr, choor , li treuh /, n. 1. writings in which expression and form, in connection with ideas of permanent and universal interest, are characteristic or essential features, as poetry, novels, history, biography, and essays. 2.… …   Universalium


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.