stringtranslate.com

Набор тестов для оценки соответствия Ada

Ada Conformity Assessment Test Suite ( ACATS ) — это тестовый набор, используемый для тестирования соответствия процессора Ada . Предыдущий тестовый набор был известен как Ada Compiler Validation Capability ( ACVC ).

Эпоха ACVC

Пример сертификата проверки Ada, выданного поставщику после прохождения тестов ACVC, 1986 г.

Тестовый набор Ada Compiler Validation Capability, обычно называемый тестами ACVC, [1] был оригинальным тестовым набором, разработанным для языка Ada. Система ACVC была организована под эгидой Ada Joint Program Office. [2]

Тесты были разработаны американской компанией SofTech , начиная примерно с 1980 года. [1] Тестовые наборы были смоделированы на основе системы VAX/VMS , [3] которая была доминирующей хост-платформой для таких оборонных приложений в то время. Некоторые из тестов были составлены с использованием ортогональных латинских квадратов в качестве подхода к получению наиболее эффективного покрытия языковых комбинаций признаков без использования их исчерпывающего перечисления. [1]

Отдельные тестовые файлы были основаны на разделе справочного руководства Ada, на который они ссылались, например, C45210A.ADA. [1] В комплект входили как положительные, так и отрицательные тесты. [4] Была создана организация для рассмотрения запросов поставщиков относительно того, является ли определенный аспект одного или нескольких тестов точным отражением стандарта языка. [2]

В 1985 году были выданы первые сертификаты проверки Ada. [2] На пике использования языка, который пришелся на 1985–1993 годы, в мире существовало пять центров проверки Ada, которые могли обрабатывать заявки поставщиков ACVC: Центр контроля языка на авиабазе Райт-Паттерсон (США), Национальное бюро стандартов (США, вскоре переименованное в Национальный институт стандартов), Национальный вычислительный центр (Великобритания), AFNOR (Франция) и IABG (Германия). [2] Однако, как только использование Ada в оборонных или аналогичных целях начало сокращаться, количество контрактов на проверку также сократилось, и некоторые из этих центров прекратили работу или передали свои полномочия. [4]

Возможность проверки компилятора Ada прекратилась с закрытием Ada Joint Program Office в 1998 году. [2] Однако поставщики компиляторов Ada по-прежнему хотели иметь механизм проверки, поэтому для его замены была разработана новая система проверки — Ada Conformity Assessment Test Suite. [2]

Эра ACATS

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

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

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

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

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

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

Обзорный документ для окончательного выпуска оригинальных тестов ACVC, 1989 г.

Ссылки

  1. ^ abcd Мандл, Роберт (октябрь 1985 г.). «Ортогональные латинские квадраты: применение экспериментального проектирования к тестированию компиляторов». Сообщения ACM . 28 (10): 1054–1058. doi : 10.1145/4372.4375 .
  2. ^ abcdef Brashear, Phil (март 1999). "Ada Validation := Ada conformity assessment". Ada Letters . XIX (1): 48–51. doi : 10.1145/311457.311470 .
  3. ^ "Ada Compiler Validation Capability (ACVC) Version 1.11 (Field-Test Release)". Defense Technical Information Center. 1 июня 1989 г.
  4. ^ ab Tonndorf, Michael (1999). «Оценки соответствия Ada: модель для других языков программирования?». Труды ежегодной международной конференции ACM SIGAda 1999 года по языку Ada (SIGAda '99) . Association for Computing Machinery. стр. 89–99. doi :10.1145/319294.319310.

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