Набор тестов для оценки соответствия Ada - Ada Conformity Assessment Test Suite

Набор тестов для оценки соответствия Ada ( ACATS ) - это набор тестов, используемый для тестирования соответствия процессоров Ada .

Предисловие к отчету об испытаниях включает следующее:

Оценка соответствия не гарантирует, что процессор не имеет несоответствий стандарту Ada, кроме тех, если таковые имеются, задокументированных в этом отчете. Производитель компилятора заявляет, что тестируемый процессор не содержит преднамеренных отклонений от стандарта Ada; копия настоящей Декларации соответствия предоставляется сразу после сертификата.

Во втором абзаце предыстории действующих процедур ACAA говорится:

Важно отметить объем и цель оценки соответствия. Цель оценки соответствия - убедиться, что процессоры Ada достигают высокой степени соответствия стандарту Ada (Ada95, исправленный [TC1]). Такие характеристики, как производительность и пригодность для конкретного приложения, не указаны в стандарте и, следовательно, выходят за рамки оценки соответствия Ada. Более того, ACATS - это набор тестовых программ, предназначенных для широкой проверки правильности реализации; невозможно провести исчерпывающую проверку на соответствие. Таким образом, соответствие проверяется только в рамках этих испытаний; переработчики, сертифицированные как соответствующие, могут не соответствовать стандарту способами, характерными для каждого, при определенных обстоятельствах.

ACATS состоит из 1821 теста с 255 838 строками кода, занимающими 30 МБ памяти. Набор тестов общедоступен, например, как часть исходного дистрибутива GNU Compiler Collection , который также содержит компилятор Ada GNAT .

Смотрите также

Ссылки

внешние ссылки