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 validiert bezeichnet.

Im den Vorbemerkungen des ACATS steht:

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.

Frei übersetzt bedeutet das so viel wie: „Der Hersteller erklärt, dass das Programm nicht mutwillig vom Standard abweicht, es können jedoch im Einzelfall Abweichungen auftreten.“

Der zweite Absatz geht näher auf die Wirkungsabsicht der Überprüfung ein:

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.

Der zweite Absatz sagt so viel aus wie: „Der Sinn der Überprüfung ist, das Programm soweit wie möglich auf die Spezifikationen abzustimmen. Die Überprüfung, ob sich das Programm für einen bestimmten Zweck einsetzen lässt, ist nicht Aufgabe dieser Werkzeuge. Auch kann eine Überprüfung niemals vollständig sein, so dass auch ein validierter Compiler möglicherweise an anderer Stelle von der Spezifikation abweicht.“

Die Übersetzungen, die auf dieser Seite angeboten werden, dienen nur dem besseren Verständnis der Texte. Normativ ist allein der englische Originaltext unter der angegebenen Quelle.

Siehe auch

Weblinks

Einzelnachweise

  • ISO/IEC 18009: Information technology – Programming languages – Ada: Conformity assessment of a language processor (ACATS)

Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • 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

  • ACATS — Advisory Commitee on Advanced Television Systems …   Acronyms

  • ACATS — Advisory Commitee on Advanced Television Systems …   Acronyms von A bis Z

  • Automated Customer Account Transfer Service - ACATS — A system that facilitates the transfer of securities from one trading account to another at a different brokerage firm or bank. The National Securities Clearing Corporation (NSCC) developed the ACATS system, replacing the previous manual asset… …   Investment dictionary

  • 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… …   Wikipedia

  • 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 (programming language) — For other uses of Ada or ADA, see Ada (disambiguation). Ada Paradigm(s) Multi paradigm Appeared in 1980 Designed by MIL STD 1815/Ada 83: Jean Ichbiah Ada 95: Tucker Taft Ada 2005: Tucker Taft Stable release …   Wikipedia

  • GNAT — Infobox Software name = GNAT caption = Ada source within GPS developer = AdaCore and the GNU Project latest release version = GNAT Pro 6.1.1 (2008 02 15) [http://www.adacore.com/2008/02/15/gnat pro 611/] GNAT GPL 2008 (2008 06 11) GNAT GAP 2008… …   Wikipedia

  • Grand Alliance (HDTV) — The Grand Alliance (GA) was a consortium created in 1993 at the behest of the Federal Communications Commission (FCC) to develop the American HDTV specification, with the aim of pooling the best work from different companies. It consisted of AT T …   Wikipedia

  • AdaMagic — [http://www.adaic.org/compilers/comp tool.html] is a retargetable Ada 95 compiler technology available from SofCheck. AdaMagic includes an ACATS [http://www.adaic.org/compilers/testing.html] conformant Ada 95 front end that can generate various… …   Wikipedia

Share the article and excerpts

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