Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

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

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

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

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

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

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

См. Также [ править ]

Ссылки [ править ]

Внешние ссылки [ править ]