Ada Conformity Assessment Test Suite - Ada Conformity Assessment Test Suite

Die Ada Conformity Assessment Test Suite ( ACATS ) ist die Testsuite, die für die Konformitätsprüfung von Ada- Prozessoren verwendet wird.

Das Vorwort zum Testbericht enthält Folgendes:

Die Konformitätsbewertung stellt nicht sicher, dass ein Verarbeiter keine anderen als die in diesem Bericht dokumentierten Abweichungen vom Ada-Standard aufweist. Der Compiler- Anbieter erklärt, dass der getestete Prozessor keine absichtliche Abweichung vom Ada-Standard enthält. Eine Kopie dieser Konformitätserklärung wird unmittelbar nach dem Zertifikat vorgelegt.

Der zweite Absatz des Hintergrunds der aktuellen ACAA-Verfahren lautet:

Es ist wichtig, den Umfang und die Absicht der Konformitätsbewertung zu beachten. Mit der Konformitätsbewertung soll sichergestellt werden, dass Ada-Prozessoren einen hohen Grad an Konformität mit dem Ada-Standard erreichen (Ada95, korrigiert durch [TC1]). Merkmale wie Leistung und Eignung für eine bestimmte Anwendung sind in der Norm nicht festgelegt und liegen daher außerhalb des Bereichs der Ada-Konformitätsbewertung. Darüber hinaus besteht das ACATS aus einer Reihe von Testprogrammen, mit denen die korrekte Implementierung umfassend überprüft werden soll. Es ist nicht möglich, die Konformität ausführlich zu prüfen. Daher wird die Konformität nur im Umfang dieser Tests überprüft; Prozessoren, die als konform zertifiziert sind, entsprechen unter bestimmten Umständen möglicherweise nicht den Standards in einer für sie spezifischen Weise.

Das ACATS besteht aus 1821 Tests mit 255.838 Codezeilen, die 30 MB Speicherplatz belegen. Die Testsuite ist öffentlich verfügbar, beispielsweise als Teil der Quelldistribution der GNU Compiler Collection , die auch den Ada-Compiler GNAT enthält .

Siehe auch

Verweise

Externe Links