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

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

ACVC был

Набор тестов Ada Compiler Validation Capability, обычно называемый тестами ACVC, ^{[ 1 ]} был оригинальным набором тестов, разработанным для языка Ada. Система ACVC была организована под эгидой Объединенного программного офиса Ada. ^{[ 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 в 1998 году. ^{[ 2 ]} Однако поставщики компиляторов Ada по-прежнему хотели иметь механизм проверки, поэтому вместо него была разработана новая система проверки — Ada Conformity Assessment Test Suite. ^{[ 2 ]}

АКАТС был

В предисловии к протоколу испытаний содержится следующая информация:

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

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

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

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

См. также

Ссылки

^ Перейти обратно: ^а ^б ^с ^д Мандл, Роберт (октябрь 1985 г.). «Ортогональные латинские квадраты: применение планирования эксперимента для тестирования компилятора» . Коммуникации АКМ . 28 (10): 1054–1058. дои : 10.1145/4372.4375 .
^ Перейти обратно: ^а ^б ^с ^д ^и ^ж Брашир, Фил (март 1999 г.). «Проверка Ada: = Оценка соответствия Ada» . Письма Ады . XIX (1): 48–51. дои : 10.1145/311457.311470 .
^ «Возможность проверки компилятора Ada (ACVC) версии 1.11 (выпуск для полевых испытаний)» . Центр оборонной технической информации. 1 июня 1989 года.
^ Перейти обратно: ^а ^б Тонндорф, Майкл (1999). «Оценка соответствия Ada: модель для других языков программирования?». Материалы ежегодной международной конференции ACM SIGAda по Аде 1999 г. (SIGAda '99) . Ассоциация вычислительной техники. стр. 89–99. дои : 10.1145/319294.319310 .

ISO/IEC 18009:1999 Информационные технологии. Языки программирования. Ada. Оценка соответствия языкового процессора (ACATS).

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

Официальный сайт

[cacm-1985-1] Перейти обратно: ^а ^б ^с ^д Мандл, Роберт (октябрь 1985 г.). «Ортогональные латинские квадраты: применение планирования эксперимента для тестирования компилятора» . Коммуникации АКМ . 28 (10): 1054–1058. дои : 10.1145/4372.4375 .

[adalett-1999-2] Перейти обратно: ^а ^б ^с ^д ^и ^ж Брашир, Фил (март 1999 г.). «Проверка Ada: = Оценка соответствия Ada» . Письма Ады . XIX (1): 48–51. дои : 10.1145/311457.311470 .

[3] «Возможность проверки компилятора Ada (ACVC) версии 1.11 (выпуск для полевых испытаний)» . Центр оборонной технической информации. 1 июня 1989 года.

[sigada-1999-4] Перейти обратно: ^а ^б Тонндорф, Майкл (1999). «Оценка соответствия Ada: модель для других языков программирования?». Материалы ежегодной международной конференции ACM SIGAda по Аде 1999 г. (SIGAda '99) . Ассоциация вычислительной техники. стр. 89–99. дои : 10.1145/319294.319310 .

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]