Ada Conformity Assessment Test Suite - Ada Conformity Assessment Test Suite

Ada oceny zgodności testowy Suite ( ACATS ) to zestaw testów wykorzystywane do Ada badania zgodności procesora.

We wstępie do sprawozdania z badań obejmuje następujące elementy:

Oceny zgodności nie gwarantuje, że procesor nie ma niezgodności z normą Ada innych niż te, jeśli w ogóle, udokumentowaną w niniejszym raporcie. Kompilator sprzedawca stwierdza, że badany procesor zawiera nie celowe odchylenia od standardu Ada; kopię tej deklaracji zgodności jest prezentowany bezpośrednio po certyfikacie.

Drugi akapit tle obecnych procedur ACAA mówi:

Ważne jest, aby zwrócić uwagę na zakres i intencji oceny zgodności. Celem oceny zgodności jest zapewnienie, że procesory Ada osiągnąć wysoki stopień zgodności z normą Ada (Ada95 jak poprawione przez [TC1)]. Cechy takie jak wydajność i przydatności do konkretnego zastosowania nie są określone przez normę, a więc są poza zakresem Ada oceny zgodności. Ponadto ACATS to zestaw programów testowych przeznaczonych do sprawdzenia szeroko do prawidłowej realizacji; nie jest możliwe, aby w sposób wyczerpujący testowania zgodności. Zatem, zgodność jest sprawdzana tylko w zakresie tych badań; procesory, które są uznane za zgodne mogą nie być zgodne ze standardem w sposób charakterystyczny dla siebie, w szczególnych okolicznościach.

ACATS składa się z 1821 testów z 255,838 linii kodu zajmujące 30 MB pamięci. Zestaw testów jest publicznie dostępny, na przykład jako część dystrybucji źródłowego GNU Compiler Collection , który zawiera również kompilatora Ada gnat .

Zobacz też

Referencje

Linki zewnętrzne