ГОСТ Р ИСО/МЭК 24709-1— 2009
7Общие свойства языка утверждений
7.1 Общие положения
7.1.1 В разделах 7—10 установлены требования к языку, целью которого является выражение утвер
ждений. используемых при проведении испытаний на соответствие BioAPI. Язык утверждений является
неотъемлемой частью метода испытаний на соответствие BioAPI.
7.1.2 Вдругих частях комплекса стандартов ИСО/МЭК 24709 приведены наборы утверждений, напи
санные на языке утверждений. Реализации методов испытания на соответствие BioAPI (комплекты тестов
на соответствие биометрическому программному интерфейсу), которые претендуют на соответствиетребо
ваниям комплекса стандартов ИСО/МЭК 24709 должны использовать (или обеспечивать возможность вы
полнения) только утверждения, представленные в комплексе стандартов ИСО/МЭК 24709.
7.1.3 Сказанное выше не препятствует использованию конкретными реализациями методов испыта
ний на соответствие других наборов утверждений (которые могут быть образованы из утверждений, опре
деленных в других частях комплекса стандартов ИСО/МЭК24709. или нет), гарантирующих соответствие
данной части комплекса стандартов ИСО/МЭК 24709. Однако такие реализации не могут претендовать
на соответствие другим частям комплекса стандартов ИСО/МЭК 24709.
7.1.4 Синтаксис языка утверждений основан на языке W3C XML 1.0. Далее в настоящем разделе
термины «элемент» и «атрибут» используются в значении «XML элемент» и «XML атрибут» соответственно.
7.1.5 Утверждения представлены в виде элементов <assertion> (см. 8.2). Каждое утверждение имеет
ряд свойств, представленных в виде атрибутов и дочерних элементов элемента «assertion». Среди свойств
утверждения выделяют имя (атрибут пате), модель испытаний на соответствие (атрибут model) и ссылку
на исходный процесс (дочерний элемент «invoke»).
Пример
«assertion name="CreateTemplate1" model="BSPTesting*’>
«description»
Test the BioSPI_CreateTemplate function of a BSP.
The UUID and version of the BSP must be provided as input to the test.
Тестирование функции BioSPI_CreateTemplate ПБУ УУИД и версия ПБУ должны быть представлены в
виде входных параметров теста:
«/description»
«input name="_uuid"/»
«input name="_version7>
«invoke activity=’’CreateTemplate" package="7346D660-1583-13DO-A3A5-OOCOFFD756E3"»
«input name=”BSPUuid” var=“_uuid7>
«input name=”BSPVersion" var="_version7»
«input name="devicelDOrNull" value="07>
«input name="inserttimeouttime" value=”150007>
«input name="sourcepresenttimeouttime" value="100007»
«input name="capturetimeouttime" value="200007>
«/invoke»
«bind activity=”EventHandler" function="BioAPI_EventHandler7>
«/assertion»
7.1.6 Утверждения группируют в пакеты. Каждый пакет, представленный в виде элемента «package»,
являющегося корневым элементом документа XML, имеет имя (атрибут name) и другие свойства для иден
тификации. Пакет содержит ноль или более утверждений (элементы «assertion»), за которыми следует
ноль или более процессов (элементы «process»). Допустимы пустые пакеты, а также пакеты, которые со
держаттолько утверждения или только процессы, или и утверждения, и процессы (при этом все утвержде
ния находятся перед первым процессом в пакете). Ни элемент «assertion», ни элемент «process» не могут
быть корневыми элементами документа XML.
Пример
<?xml version=’1.0’ encoding=”utf-8"?»
«package name="73668660-1583-1AD0-A3A5-O9C0FF4756E3”»
«author»
ISO/IEC SC37
«/author»
12