Набор тестов для оценки соответствия 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 .
Смотрите также
Ссылки
внешние ссылки
Эта статья о компьютерном программировании - незавершенная . Вы можете помочь Википедии, расширив ее . |
Эта статья о стандартах или измерениях - незавершенная . Вы можете помочь Википедии, расширив ее . |