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