Die Ada Conformity Assessment Test Suite (ACATS) ist eine Sammlung von Testprogrammen, die sicherstellen sollen, dass eine Kombination von Ada-Compiler, Host- und Target-Prozessor den Sprachstandard spezifikationskonform unterstützt. Eine im Folgenden Ada-Prozessor genannte Kombination, die den Test besteht, wird als validiert bezeichnet.
In den Vorbemerkungen des ACATS steht:
Frei übersetzt bedeutet das so viel wie: „Der Hersteller erklärt, dass der Ada-Prozessor 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:
Der zweite Absatz sagt so viel aus wie: „Die Überprüfung soll sicherstellen, dass Ada-Prozessoren möglichst die Spezifikation der Sprache erfüllen. 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 Ada-Prozessor möglicherweise an anderer Stelle von der Spezifikation abweicht.“
Siehe auch Bearbeiten
Weblinks Bearbeiten
Einzelnachweise Bearbeiten
- ISO/IEC 18009: Information technology – Programming languages – Ada: Conformity assessment of a language processor (ACATS)