ГОСТ Р ИСО/МЭК 24709-2-2011 Информационные технологии. Биометрия. Испытания на соответствие биометрическому программному интерфейсу (БиоАПИ). Часть 2. Тестовые утверждения для поставщиков биометрических услуг

ФЕДЕРАЛЬНОЕ АГЕНТСТВО

ПО ТЕХНИЧЕСКОМУ РЕГУЛИРОВАНИЮ И МЕТРОЛОГИИ

НАЦИОНАЛЬНЫЙ СТАНДАРТ РОССИЙСКОЙ ФЕДЕРАЦИИ

ГОСТ РИСО/МЭК 24709-2-2011

Информационные технологии БИОМЕТРИЯ

Испытания па соответствие биометрическому программному интерфейсу (БиоАПИ) Часть 2 Тестовые утверждения для поставщиков биометрических услуг

ISO/IEC 24709-2:2007

Information technology - Conformance testing for the biometric application programming interface (BioAPI) -Part 2:Test assertions for biometric service providers

(IDT)

Издание официальное

Москва

Стандэртинформ S—l 2014

Предисловие

Цели и принципы стандартизации в Российской Федерации установлены Федеральным законом от 27 декабря 2002 г. № 184-ФЗ «О техническом регулировании», а правила применения национальных стандартов Российской Федерации - ГОСТ Р 1.0 2004 «Стандартиза

ция в Российской Федерации. Основные положения».

Сведении о стандарте

• 1 ПОДГОТОВЛЕН Научно-исследовательским н испытательным центром биометрической техники Московского государственного технического университета имени Н.Э. Баумана (НИИЦ БТ МГТУ нм. Н.Э. Баумана) на основе собственного аутентичного перевода на русский язык стандарта, указанного в пункте 4, при консультативной поддержке Ассоциации автоматической идентификации «ЮНИСКАН/ГС1 РУС»

• 2 ВНЕСЕН Техническим комитетом по стандартизации ТК 355 «Технологии автоматической идентификации и сбора данных и биометрия»

• 3 УТВЕРЖДЕН И ВВЕДЕН В ДЕЙСТВИЕ Приказом Федерального агентства по техническому регулированию и метрологии от 21.09.201! г №324-ст

• 4 Настоящий стандарт идентичен международному стандарту ИСО/МЭК 24709-2:2007 «Информационные технологии. Испытания на соответствие биометрическому программному интерфейсу (БиоАПИ). Часть 2. Тестовые утверждения для поставщиков биометрических услуг» (ISO/IEC 24709-2:2007 Information technology - Conformance testing for the biometric application programming interface (BioAPI). Part 2: Test assertions for biometric service providers»).

Наименование настоящего стандарта изменено относительно наименования указанного международного стандарта для приведения в соответствие с ГОСТ Р 1.5- 2004 (подраздел 3.5).

При применении настоящего стандарта рекомендуется использовать вместо ссылочных международных стандартов соответствующие им национальные стандарты, сведения о которых приведены в дополнительном приложении ДА

• 5 ВВЕДЕН ВПЕРВЫЕ

• 6 Следует обратить внимание на то, что некоторые элементы настоящего стандарта могут быть объектами получения патентных прав. ИСО и МЭК не несут ответственность за установление подлинности каких-либо или всех подобных пате»ггных прав

Информация об изменениях к настоящему стандарту публикуется в ежегодно издаваемом информационном указателе «Национальные стандарты», а текст изменений и поправок — в ежемесячно издаваемых информационных указателях «Национальные стандарты». В случае пересмотра (замены) или отмены настоящего стандарта соответствующее уведомление будет опубликовано в ежемесячно издаваемом информационном указателе «Национальные стандарты». Соответствующая информация, уведомление и тексты размещаются также в информационной системе общего пользования — на официальном сайте Федерального агентства по техническому регулированию и метрологии

© Стандартинформ, 2012

Настоящий стандарт не может быть полностью или частично воспроизведен, тиражирован и распространен в качестве официального издания без разрешения Федерального агентства по техническому регулированию и метрологии

Содержанке

• 1 Область применения..................................................................................................

• 2 Соответствие...............................................................................................................

• 3 Нормативные ссылки.................................................................................................

• 4 Термины и определения............................................................................................

• 5 Обозначения и сокращения.......................................................................................

• 6 Общие положения......................................................................................................

• 7 ИспытаниеПБУ на соответствиеБиоАПИ...............................................................

  • 7.1 Основные положения........................................................................................

  • 7.2 Испытание ПБУ подкласса ПБУ верификации..............................................

  • 7.3 Испытание ПБУ подкласса ПБУ идентификации..........................................

  • 7.4 Испытание ПБУ подкласса ПБУ получения данных.....................................

  • 7.5 Испытание ПБУ подкласса механизм верификации......................................

  • 7.6 Испытание ПБУ подкласса механизм идентификации..................................

• 8 Тестовые утверждения..............................................................................................

  • 8.1 Основные положения........................................................................................

  • 8.2 Общие процессы................................................................................................

  • 8.3 Утверждение la BioSPl_BSPLoad_InvalidUUlD............................................

  • 8.4 Утверждение lb BioSPI_BSPLoad_ValidParain..............................................

  • 8.5 Утверждение 2а BioSPI_BSPUnload_ValidParam...........................................

  • 8.6 Утверждение 2b BioSPI_BSPUnload_InvalidUUlD.........................................

  • 8.7 Утверждение 2с BioSPI_BSPUnIoad_UnmatchedLoad...................................

  • 8.8 Утверждение 2d BioSPI_BSPUnload_Confirm................................................

  • 8.9 Утверждение За BioSPI_BSPAttach_ValidParam............................................

  • 8.10 Утверждение 3b BioSPI_BSPAttach_InvalidUUID........................................

  • 8.11 Утверждение Зс BioSPI_BSPAttach_lnvalidVersion.....................................

  • 8.12 Утверждение 3d BioSPI_BSPAttach_InvalidBSPHandle...............................

  • 8.13 Утверждение 4а BioSPI_BSPDetach_ValidParani.........................................

  • 8.14 Утверждение 4b BioSPI_BSPDetach_InvlidBSPHandle................................

  • 8.15 Утверждение 4с BioSPI_BSPDetach_Confirm...............................................

  • 8.16 Утверждение 5а BioSPI_FreeBIRHandle_ValidParam...................................

  • 8.17 Утверждение 5b BioSPI_FreeBIRHandle_InvalidBSPHandle.......................

  • 8.18 Утверждение 5с BioSPI_FreeBIRHandle_InvalidBIRHandle........................

  • 8.19 Утверждение 6а BioSPI_GetBIRFromHandle_ValidParam...........................

  • 8.20 Утверждение 6b BioSPI_GetBIRFromHandle_InvalidBSPHandle................

  • 8.21 Утверждение 6с BioSPI_GetBIRFromHandle_InvalidBIRHandle.................

  • 8.22 Утверждение 7а BioSPI_GetHeaderFromHandle_ValidParam......................

  • 8.23 Утверждение 7b BioSPI_GetHeaderFromHandle_InvalidBSPHandle...........

  • 8.24 Утверждение 7с BioSPI_GetHeaderFromHandle_InvalidBIRHandle............

  • 8.25 Утверждение 7d BioSPI_GetHeaderFromHandle_BIRHandleNotFreed........

  • 8.26 Утверждение 8а BioSPI_EnableEvents_ValidParam......................................

  • 8.27 Утверждение 8b BioSPI_EnableEvents_InvalidBSPHandle...........................

  • 8.28 Утверждение 9а BioSPI_Capture_AuditData..................................................

  • 8.29 Утверждение 9b BioSPI_Capture_ReturnQuality...........................................

  • 8.30 Утверждение 9с BioSPI_Capture_IntermediateProcessedBIR.......................

  • 8.31 Утверждение 9d BioSPI_Capture_Inva)idBSPHandle....................................

  • 8.32 Утверждение 10а BioSPI_CreateTemplate_PayloadSupported......................

  • 8.33 Утверждение 10b BioSPI_CreateTemplate_BIRHeaderQuality.....................

  • 8.34 Утверждение Юс BioSPl_CreateTeniplate_OutputBIRDataType..................

  • 8.35 Утверждение 10d BioSPI_CreateTemplate_OutputBIRPurpose....................

  • 8.36 Утверждение 1 Ое BioSPI_CreateTemplate_lnputBIRDataType....................

  • 8.37 Утверждение 1 Of BioSPl_CreateTemplate_Inconsistent_Purpose..................

  • 8.38 Утверждение 1 la BioSPl_Process_ValidParam..............................................

  • 8.39 Утверждение 1 lb BioSPI_Process_BIRHeaderQuality..................................

  • 8.40 Утверждение 11c BioSPI_Process_OutputBIRPurpose..................................

  • 8.41 Утверждение 1 Id BioSPI_Process_BuildsProcessedBlR...............................

  • 8.42 Утверждение 1 le BioSPl_Process_inputBIRDataType..................................

  • 8.43 Утверждение 12a BioSPI_VerifyMatch_ValidParam.....................................

  • 8.44 Утверждение 12b BioSPI_VerifyMatch_Payload...........................................

  • 8.45 Утверждение 12c BioSPl_VerifyMatch_Inconsistent_Purpose......................

  • 8.46 Утверждение 13а BioSPI_Enroll_ValidParam................................................

  • 8.47 Утверждение 13b BioSPI_Enroll_Payload......................................................

  • 8.48 Утверждение 13с BioSPI_Enroll_AuditData..................................................

  • 8.49 Утверждение 13d BioSPI_Enroll_BIRHeaderQuality.....................................

  • 8.50 Утверждение 14а BioSPl_Verify_ValidParam...............................................

  • 8.51 Утверждение 14b BioSPI_Verify_Payload......................................................

  • 8.52 Утверждение 14с BioSPI_Verify_AuditData..................................................

  • 8.53 Утверждение 15а BioSPI_DbOpen_ValidParam............................................

  • 8.54 Утверждение 15b BioSPl_DbOpen_InvalidBSPHandle.................................

  • 8.55 Утверждение 16а BioSPl_DbClose_ValidParam............................................

  • 8.56 Утверждение 16b BioSPI_DbClose_InvalidBSPHandle.................................

  • 8.57 Утверждение 17а BioSPI_DbCreate_DbProtected..........................................

  • 8.58 Утверждение 17b BioSPI_DbCreate_ValidParam..........................................

  • 8.59 Утверждение 17с BioSPI_DbCreate_InvalidBSPHandle................................

  • 8.60 Утверждение 18а BioSPI_DbDelete_lnvalidBSPHandle................................

  • 8.61 Утверждение 18b BioSPI_DbDelete_OpenDbProtected.................................

  • 8.62 Утверждение 18с BioSPI_DbDelete_ValidParani...........................................

  • 8.63 Утверждение 19а BioSPI_DbSetMarker_ValidParam....................................

  • 8.64 Утверждение 19b BioSPI_DbSetMarker_InvalidBSPHandle.........................

  • 8.65 Утверждение 19с BioSPl_DbSetMarker_RecordNotFound...........................

  • 8.66 Утверждение 20а BioSPl_DbFreeMarker_ValidParam..................................

  • 8.67 Утверждение 20b BioSPI_DbFreeMarker_lnvalidBSPHandle.......................

  • 8.68 Утверждение 20с BioSPl_DbFreeMarker_InvalidMarker..............................

  • 8.69 Утверждение 21а BioSPl_DbStoreBlR_ValidParam......................................

  • 8.70 Утверждение 21 b BioSPI_DbStoreBIR_InvalidBSPHandle...........................

  • 8.71 Утверждение 22а BioSPI_DbGetBIR_ValidParani.........................................

  • 8.72 Утверждение 22b BioSPl_DbGetBlR_InvalidBSPHandle.............................

  • 8.73 Утверждение 22с BioSPI_DbGetBlR_RecordNotFound................................

  • 8.74 Утверждение 23а BioSPI_DbGetNextBIR_ValidParam.................................

  • 8.75 Утверждение 23b BioSPI_DbGetNextBIR_InvalidBSPHandle......................

  • 8.76 Утверждение 24а BioSPl_DbDeleteBlR_ValidParam....................................

  • 8.77 Утверждение 24b BioSPI_DbDeleteBIR_lnvalidBSPHandle.........................

Приложение ДА (справочное) Сведения о соответствии ссылочных международных стандартов ссылочным национальным стандартам Российской Федерации .........................................................................................................................

Введение

Настоящий стандарт устанавливает несколько тестовых утверждений, написанных на языке утверждений, определенном в ИСО/МЭК 24709-1:2007 «Информационные технологии. Испытания на соответствие биометрическому программному интерфейсу (БиоАПИ). Часть I: Методы и процедуры». Данные утверждения позволяют пользователю настоящего стандарта (например, испытательной лаборатории) проводить испытания любого поставщика биометрических услуг (ПБУ) на соответствие ИСО/МЭК 19784-1 «Информационные технологии. Биометрический программный интерфейс. Часть I. Спецификация биометрического программного интерфейса» (спецификации БиоАПИ 2.0).

Структура тестовых утверждений, приведенных в настоящем стандарте, соответствует указанной в приложении А ИСО/МЭК 19784-1, в котором определены параметры соответствия БиоАПИ для различных типов реализаций (ПБУ, инфраструктуры и приложения) и для ПБУ, принадлежащих отдельным подклассам соответствия.

Настоящий стандарт устанавливает тестовые утверждения, предназначенные для проверки на соответствие ПБУ всех подклассов соответствия. В дальнейшем тестовые утверждения могут быть сгруппированы в соответствии с подклассами (если ПБУ принадлежит к одному или нескольким подклассам) и конкретной функциональностью.

Каждое тестовое утверждение использует одну или более (как можно более простую) функцию испытуемой реализации. Тестовые утверждения помещают в пакеты (в пакете должно быть одно или более утверждений) в соответствии с требованиями языка тестовых утверждений.

НАЦИОНАЛЬНЫЙ СТАНДАРТ РОССИЙСКОЙ ФЕДЕРАЦИИ Информационные технологии

БИОМЕТРИЯ Испытания на соответствие биометрическому программному интерфейсу (Био/\ПИ) Часть 2 Тестовые утверждения для поставщиков биометрических услуг

Information technology. Biometrics.

Conformance testingfor the biometric application programming interface.

Part 2.

Test assertions for biometric service providers

Дата введения - 01-07 -2013

1 Область применения

Настоящий стандарт устанавливает ряд тестовых утверждений, написанных на языке, определенном в ИСО/МЭК 24709-1. Настоящий стандарт устанавливает по пять подмножеств тестовых утверждений для каждого из пяти подклассов соответствия ПБУ, соответствующих приведенным в ИСО/МЭК 19784-1. Кроме того, в настоящем стандарте приведены дополнительные тестовые утверждения, которые должны быть выполнены в зависимости от наличия дополнительных функций, определенных в спецификации БиоАПИ 2.0, поддержку которых должна обеспечить испытуемая реализация.

Перечень утверждений проверки, установленный в настоящем стандарте, не является исчерпывающим (см. также ИСО/МЭК 24709-1, раздел 6). Реализации ПБУ, подвергаемые испытанию с использованием метода, определенного в ИСО/МЭК 24709-1, и на соответствие тестовым утверждениям, установленным в настоящем стандарте, соответствуют только тем требованиям ИСО/МЭК 19784-1, для которых в настоящем стандарте приведены тестовые утверждения.

2 Соответствие

Реализации (наборы тестов при испытании на соответствие БиоАПИ), соответствующие требованиям настоящего стандарта, должны обеспечивать воз-

Иэдание официальное

ГОСТ Р ИСО/МЭК 24709-2-2011 можность обработки всех тестовых утверждений, указанных в разделе 8, с использованием методики, приведенной в ИСО/МЭК 24709-1, а также правил и условий, установленных в разделах 6 и 7 настоящего стандарта.

3 Нормативные ссылки

В настоящем стандарте использованы нормативные ссылки на следующие международные стандарты. В случае ссылок на документы, у которых указана дата утверждения, необходимо использовать только указанную редакцию. В случае, когда дата утверждения не указана, следует использовать последнюю редакцию ссылочных стандартов, включая любые поправки и изменения к ним:

ИСО/МЭК 19784-1:2006, Информационные технологии - Биометрический программный интерфейс - Часть I: Спецификация биометрического программного интерфейса

ИСО/МЭК 24709-1:2007, Информационные технологии - Испытания на соответствие биометрическому программному интерфейсу (БиоАПИ) -Часть 1: Методы и процедуры

4 Термины и определения

В настоящем стандарте использованы термины и определения, установленные в ИСО/МЭК 24709-1.

5 Обозначения и сокращения

В настоящем стандарте использованы обозначения и сокращения, установленные в ИСО/МЭК 24709-1.

6 Общие положения

• 6.1 Тестовые утверждения, указанные в разделе 7 и определенные в разделе 8, основаны на методике испытания на соответствие, установленной в ИСО/МЭК 24709-1, и могут применяться только в соответствии с данной методикой.

• 6.2 В разделе 6 ИСО/МЭК 24709-1 приведены три модели испытаний на соответствие:

а) модель испытания на соответствие приложения БиоАПИ;

б) модель испытания на соответствие инфраструктуры БиоАПИ;

в) модель испытания на соответствие ПБУ БиоАПИ.

• 6.3 Каждую модель используют для испытания одного из трех стандартных компонентов БиоАПИ (см. ИСО/МЭК 24709-1, раздел 6). В разделе 8 настоящего стандарта приведены тестовые утверждения, применяемые в модели испытания на соответствие ПБУ БиоАПИ. Настоящий стандарт не распространяется на модели испытания на соответствие для приложения БиоАПИ и инфраструктуры БиоАПИ, а также соответствующие тестовые утверждения.

7 ИспытаниеПБУ на соответствие БиоАПИ

• 7.1 Основные положения

  • 7.1.1 Для проведения испытания ПБУ на соответствие БиоАПИ изготовитель ПБУ должен предоставить подтверждение соответствия биометрическому программному интерфейсу (ПСБПИ), указанное в подразделе 6.1 ИСО/МЭК 24709-1 и содержащее информацию, приведенную в таблице I.

Таблица I- Подтверждение соответствия биометрическому программному интерфейсу

Окончание таблицы 1

• 7.1.2 В таблице 2 приведен перечень тестовых утверждений, которые должны быть подтверждены для определения того, противоречит ли испытуемая реализация ПБУ БиоАПИ требованиям, указанным в ИСО/МЭК 19784-1. приложение А, раздел А.4.

Примечание - Успешная обработка всех применимых тестовых утверждений является свидетельством соответствия испытуемой реализации требованиям ИСО/МЭК 19784-1. однако не устанавливает соответствия, поскольку тестовые утверждения не являются исчерпывающим испытанием па соответствие (см. ИСО/МЭК 24709-1, раздел 6).

• 7.1.3 Данные утверждения используют модель испытания на соответствие ПБУ БиоАПИ (см. ИСО/МЭК 24709-1, раздел 6) и определены в разделе 8 настоящего стандарта.

• 7.1.4 В подразделах 7.2 - 7.6 приведены особые условия для каждого подкласса соответствия и установлен набор тестовых утверждений, которые должны быть подтверждены при проведении испытания на соответствие ПБУ определенного подкласса.

Таблица 2 - Тестовые утверждения для ПБУ БиоАПИ

• 7.2 Испытание ПБУ подкласса ПБУ верификации

7.2.1 В настоящем подразделе приведены тестовые утверждения, которые следует использовать для испытания ПБУ верификации на соответствие требованиям ИСО/МЭК 19784-1, приложение А, Раздел А.4

ГОСТ Р ИСО/МЭК 24709-2—2011

• 7.2.2 Все ПБУ верификации должны быть подвергнуты испытанию путем выполнения всех тестовых утверждений, приведенных в таблице 3, в указанном порядке.

Таблица 3 - Тестовые утверждения для испытания ПБУ верификации

• 7.2.3 Если испытуемая реализация поддерживает функцию BioSP!_ Capture, то данная реализация должна быть подвергнута испытанию путем выполнения всех тестовых утверждений, приведенных в таблице 4, в указанном порядке.

Таблица 4 - Тестовые утверждения для испытания ПБУ верификации,

поддерживающего функцию BioSP!-Capture

ГОСТ Р ИСО/МЭК 24709-2—2011

• 7.2.4 Если испытуемая реализация поддерживает функцию BioSPl_ CreaieTemplaie, то данная реализация должна быть подвергнута испытанию путем выполнения всех тестовых утверждений, приведенных в таблице 5, в указанном порядке.

Таблица 5 - Тестовые утверждения для испытания ПБУ верификации, поддерживающего функцию BioSPI_CrealeTemplale

• 7.2.5 Если испытуемая реализация поддерживает функцию BioSPI_Process, то данная реализация должна быть подвергнута испытанию путем выполнения всех тестовых утверждений, приведенных в таблице 6, в указанном порядке.

Таблица 6 - Тестовые утверждения для испытания ПБУ верификации, поддерживающего функцию BioSP!-Process

• 7.2.6 Если испытуемая реализация поддерживает функцию BioSPI_Verify Match, то данная реализация должна быть подвергнута испытанию путем выполнения всех тестовых утверждений, приведенных в таблице 7, в указанном порядке.

Таблица 7 - Тестовые утверждения для испытания ПБУ верификации, поддерживающего функцию BioSPl_VerifyMatch

• 7.2.7 Если испытуемая реализация поддерживает базу данных контролируемой ПБУ (см. ИСО/МЭК 19784-1. раздел А.4), то данная реализация должна быть подвергнута испытанию путем выполнения всех тестовых утверждений, приведенных в таблице 8, в указанном порядке.

Таблица 8 - Тестовые утверждения для испытания ПБУ верификации, поддерживающего функцию контроля базы данных

Окончание таблицы 8

7.3 Испытание ПБУ полкласса ПБУ идентификации

• 7.3.1 В настоящем подразделе приведены тестовые утверждения, которые следует использовать для испытания ПБУ идентификации на соответствие требованиям ИСО/МЭК 19784-1, приложение А, раздел А.4

• 7.3.2 Все ПБУ идентификации должны быть подвергнуты испытаниям путем выполнения всех тестовых утверждений, приведенных в таблице 9, в указанном порядке.

ГОСТ Р ИСО/МЭК 24709-2-2011

Таблица 9 - Тестовые утверждения для испытания ПБУ идентифкации

Окончание таблицы 9

7.33 Если реализация поддерживает функцию BioSPI_Capture, то данная реализация должна быть подвергнута испытанию путем выполнения всех тестовых утверждений, приведенных в таблице 10, в указанном порядке.

Таблица 10 -Утверждения для испытания ПБУ идентификации, поддерживающего функцию BioSPl_Capture

73А Если реализация поддерживает функцию BioSP/_CreateTemplaie, то данная реализация должна быть подвергнута испытанию путем выполнения всех тестовых утверждений, приведенных в таблице 11, в указанном порядке.

ГОСТ Р ИСО/МЭК 24709-2-2011

Таблица И - Утверждения для испытания ПБУ идентификации,

поддерживающего функцию BioSP! _CreateTemplaie

7.3.5 Если реализация поддерживает функцию BioSPi_Process_y то данная реализация должна быть подвергнута испытанию путем выполнения всех тестовых утверждений, приведенных в таблице 12, в указанном порядке.

Таблица 12 - Утверждения для испытания ПБУ идентификации, поддерживающего функцию BioSP!_Process

73.6 Если реализация поддерживает функцию Bi<)SP!_VeriJyMutch, то данная реализация должна быть подвергнута испытанию путем выполнения всех тестовых утверждений, приведенных в таблице 13, в указанном порядке.

Таблица 13 - Утверждения для испытания П БУ идентификации, поддерживающего функцию BioSP!_VerijyMatch

13.7 Если реализация поддерживает базу данных контролируемой ПБУ (см. 19784-1, приложение А, пункт А.4.6.1.2), то данная реализация должна быть подвергнута испытанию путем выполнения всех тестовых утверждений, приведенных в таблице 14, в указанном порядке.

Таблица 14 -Утверждения для испытания ПБУ идентифкации, поддерживающей функции работы с базой данных

• 7.4 Испытание ПБУ подкласса ПБУ получения данных

• 7.4.1 В настоящем подразделе приведены тестовые утверждения, которые следует использовать для испытания ПБУ получения данных на соответствие требованиям ИСО/МЭК 19784-1, приложение А, раздел А.4.

• 7.4.2 Все ПБУ данного подкласса должны быть подвергнуты испытанию путем выполнения всех тестовых утверждений, приведенных в таблице 15, в указанном порядке.

Таблица 15 - Утверждения для испытания ПБУ получения данных

Продолжение таблицы 15

7.4.3 Если реализация поддерживает функцию BioSP!_CreateTemplate, то

данная реализация должна быть подвергнута испытанию путем выполнения всех тестовых утверждений, приведенных в таблице 16, в указанном порядке.

Таблица 16 - Утверждения для испытания ПБУ получения данных, поддерживающего функцию BioSPl_CreaieTemplale

• 7.4.4 Если реализация поддерживает функцию BioSPI_Process, то данная реализация должна быть подвергнута испытанию путем выполнения всех тестовых утверждений, приведенных в таблице 17, в указанном порядке.

Таблица 17 - Утверждения для испытания ПБУ получения данных,

поддерживающего функцию BioSPl_Process

Окончание таблицы 17

• 7.4.5 Если реализация поддерживает функцию BioSPI_VerifyMalch, то данная реализация должна быть подвергнута испытанию путем выполнения всех тестовых утверждений, приведенных в таблице 18, в указанном порядке.

Таблица 18 - Утверждения для испытания ПБУ получения данных,

поддерживающего функцию BioSP!_VerifyMatch

• 7.4.6 Если реализация поддерживает функцию BioSPl_Enroll, то данная реализация должна быть подвергнута испытанию путем выполнения всех тестовых утверждений, приведенных в таблице 19, в указанном порядке.

Таблица 19 - Утверждения для испытания ПБУ получения данных,

поддерживающего функцию BioSPI_Enroll

• 7.4.7 Если реализация поддерживает функцию BioSPl_Verify, то данная реализация должна быть подвергнута испытанию путем выполнения всех тестовых утверждений, приведенных в таблице 20, в указанном порядке.

Таблица 20- Утверждения для испытания ПБУ получения данных,

поддерживающего функцию BioSPl_Verijy

• 7.4.8 Если реализация поддерживает базу данных контролируемой ПБУ

(см. 19784-1, приложение А, пункт А.4.6.1.2), то данная реализация должна быть подвергнута испытанию путем выполнения всех тестовых утверждений, приведенных в таблице 21, в указанном порядке.

Таблица 21- Утверждения для ПБУ получения данных, поддерживающего функции работы с базой данных

Окончание таблицы 21

• 7.5 Испытание ПБУ подкласса механизм верификации

• 7.5.1 В настоящем подразделе приведены тестовые утверждения, которые следует использовать для испытания ПБУ подкласса механизм верификации на соответствие требованиям ИСО/МЭК 19784-1, приложение А, раздел А.4.

• 7.5.2 Все ПБУ данного подкласса должны быть подвергнуты испытанию путем выполнения всех тестовых утверждений, приведенных в таблице 22, в указанном порядке.

ГОСТ Р ИСО/МЭК 24709-2-2011

Таблица 22- Утверждения для испытания П БУ подкласса механизм верификации

Окончание таблицы 22

• 7.5.3 Если реализация поддерживает функцию BioSPI_Capiure, то данная реализация должна быть подвергнута испытанию путем выполнения всех тестовых утверждений, приведенных в таблице 23, в указанном порядке.

ГОСТ Р ИСО/МЭК 24709-2-2011

Таблица 23- Утверждения для испытания П БУ подкласса механизм

верификации, поддерживающего функцию BioSPljCapture

• 7.5.4 Если реализация поддерживает функцию BioSPI_EnroU, то данная реализация должна быть подвергнута испытанию путем выполнения всех тестовых утверждений, приведенных в таблице 24, в указанном порядке.

Таблица 24- Утверждения для испытания ПБУ подкласса механизм

верификации, поддерживающего функцию BioSPI.Enroll

• 7.5.5 Если реализация поддерживает функцию BioSPI-Verify, то данная реализация должна быть подвергнута испытанию путем выполнения всех тестовых утверждений, приведенных в таблице 25, в указанном порядке.

Таблица 25- Утверждения для испытания П БУ подкласса механизм верификации, поддерживающего функцию BioSPI_Verify

• 7.5.6 Если реализация поддерживает базу данных контролируемой ПБУ (см. 19784-1, приложение А, пункт А.4.6.1.2), то данная реализация должна быть подвергнута испытанию путем выполнения всех тестовых утверждений, приведенных в таблице 26, в указанном порядке.

Таблица 26- Утверждения для испытания ПБУ подкласса механизм верификации, поддерживающего функции работы с базой данных

• 7.6 Испытание ПБУ подкласса механизм идентификации

• 7.6.1 В настоящем подразделе приведены тестовые утверждения, которые следует использовать для испытания ПБУ подкласса механизм идентификации на соответствие требованиям ИСО/МЭК 19784-1, приложение А, раздел А.4.

• 7.6.2 Все ПБУ данного подкласса должны быть подвергнуты испытанию путем выполнения всех тестовых утверждений, приведенных в таблице 27, в указанном порядке.

Таблица 27- Утверждения для испытания П БУ подкласса механизм

идентификации

1.63 Если реализация поддерживает функцию BioSPI_Capture, то данная реализация должна быть подвергнута испытанию путем выполнения всех тестовых утверждений, приведенных в таблице 28, в указанном порядке.

Таблица 28- Утверждения для испытания П БУ подкласса механизм

идентификации, поддерживающего функцию BioSPl_Capture

7.6.4 Если реализация поддерживает функцию BioSPI_EnroU, то данная реализация должна быть подвергнута испытанию путем выполнения всех тестовых утверждений, приведенныхв таблице 29, в указанном порядке.

Таблица 29- Утверждения для ПБУ подкласса механизм идентификации,

поддерживающего функцию BioSP/_Enroll

7.6.S Если реализация поддерживает функцию BioSPl_Verify\ то данная реализация должна быть подвергнута испытанию путем выполнения всех тестовых утверждений, приведенных в таблице 30, в указанном порядке.

ГОСТ Р ИСО/МЭК 24709-2-2011

Таблица 30- Утверждения для испытания П БУ подкласса механизм

идентификации, поддерживающего функцию BioSPl_Verify

• 7.6.6 Если реализация поддерживает базу данных контролируемой ПБУ (см. 19784-1, приложение А, пункт А.4.6.1.2), то данная реализация должна быть подвергнута испытанию путем выполнения всех тестовых утверждений, приведенных в таблице 31, в указанном порядке.

Таблица 31 - Утверждения для испытания ПБУ подкласса механизм

идентификации, поддерживающего функции работы с базой данных

Окончание таблицы 31

8 Тестовые утверждения

• 8.1 Основные положения

  • 8.1.1 В настоящем разделе приведены все тестовые утверждения, связанные с ПБУ, а также тестовые утверждения для ПБУ всех подклассов соответствия.

  • 8.1.2 В 8.2 установлены требования к пакету, содержащему процессы, общие для всех тестовых утверждений.

• 8.2 Общие процессы

В настоящем подразделе установлен пакет, включающий в себя процессы, на которые ссылаются многие тестовые утверждения.

<package name="02c59458-0c46-1085-95d7-0002a5d5fd2e">

<author>

ISO/IEC JTC1 SC37

</author>

<description>

Данный пакет содержит несколько основных процессов, вызываемых процессами, входящими в другие пакеты.

</description>

<activity name="LoadAndAttach">

<input name="bspUuid"/>

<input name="bspVersion"/>

<input nama="unitIDOrNull"/>

<input naxne="bspHandle"/>

<input name="eventtimeouttime’’/>

<•— Инициализация глобальной переменной "_unitIDOrNull" для обеспечения доступа к ней из процесса "EventHandler". —> <set name="_unitIDOrNull" var="unitIDOrNull"/>

<!-- Инициализация глобальной переменной "__insert" значением "false". Процесс "EventHandler" присваивает данной переменной значение "true" после получения уведомления о событии BioAPI_NOTIFY_INSERT и значение "false" после получения уведомления о событии BioAPI_NOTIFY_REMOVE.-->

<set narae=" insert" value="false"/>

Инициализация глобальной переменной "__sourcePresent" значением "false". Процесс "EventHandler" присваивает данной переменной значение "true" после получения уведомления о событии BioAPI_NOTIFY_SOURCE_PRESENT и значение "false" после получения уведомления о событии BioAPI_NOTIFY_SOURCE_REMOVED. —>

<set name="_sourcePresent" value="false"/>

<set name»"eventtimeoutflag" value»"false"/>

<!— Вызов функции BioSPI_BSPLoad. -->

<invoke function="BioSPI_BSPLoad">

<input name="BSPUuid” var="bspUuid"/>

<input name="BioAPINotifyCallback" value»"*"/>

Cinput name="BFPEnumerationHandler” value»"*"/>

<input name="MemoryFreeHandler" value»"*" />

<return setvar="return"/>

</invoke>

Выдача заключения о соответствии. Если условие, описанное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS". --> <assert_condition response_if_false="undecided"

break_if_false="true">

<description>

Функция BioSPI_BSPLoad возвращает значение BioAPIjOK. </description>

<equal_to varl="return" var2="__BioAPI_OK"/>

</assert_condition>

<’— Уведомление о событии должно быть получено в BioAPI_NOTIFY_INSERT в пределах указанной максимальной продолжительности. —>

<wait_until timeout_var="eventtimeouttime" setvar="eventtimeoutflag" var="_in8ert"/> <’— Выдача заключения о соответствии.

ГОСТ Р ИСО/МЭК 24709-2-2011

Если условие, описанное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS". —>

<assert_condition response_if_false='' undecided" break_if_false="true">

<description>

Уведомление о событии BioAPI_NOTIFY_INSERT получено в пределах указанной максимальной продолжительности.

</description>

<not var=^,’eventtimeoutflag^,’/>

</assert_condition>

<•— Вызов функции BioSPI_BSPAttach. —>

<invoke functions"BioSPI_BSPAttach">

<input narae='’BSPUuid" var='’bspUuid"/>

<input name='’Version" var='^,bepVereion^,'/>

<input narae=''Unit_l_Uni tCategory" var="__unitCategory"/>

<input name="Unit_l_UnitID” var="_unitID"/>

<input name="NumUnits" value»”1” />

<input name='’BSPHandle" var="b8pHandle"/> <return setvar='’return"/>

</invoke>

<•— Выдача заключения о соответствии. Если условие, описанное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS". —> <assert_condition response_if_false="undecided"

break_if_false="true”>

<description>

Функция BioSPI_BSPAttach возвращает значение BioAPIJOK. </description>

<equal_to varl«”return” var2="__BioAPI_OK"/>

</assert condition>

c/activity> <’— Данный процесс выполняется при входящем вызове функции BioSPI_ModuleEventHandler тестируемым компонентом ПБУ. В данном процессе значения глобальным переменным '’_unitID", "^insert", ”_sourcePresent” и "_eventtype" присваиваются в зависимости от значений входных параметров. —>

Cactivity name»"EventHandler" atomic»"true">

cinput name="BSPUuid"/>

Cinput name="UnitID"/>

Cinput name="UnitSchema_BspUuid" /> cinput name="UnitSchema_UnitManagerUuid" /> cinput name»"UnitSchema_UnitId" /> Cinput name="UnitSchema_UnitCategory" /> cinput name="UnitSchema_UnitProperties'¹ /> Cinput name»"UnitSchema_VendorInformation" /> cinput name="UnitSchema_EventNotifуInsert" /> cinput name="UnitSchema_EventNotifуRemove" /> cinput name»"UnitSchema_EventNotifyFault" /> cinput name="UnitSchema_EventNotifySourcePresent" /> cinput name=*'UnitSchema_EventNotifySourceRemoved'¹ /> Cinput name="UnitSchema_UnitPropertyID" /> cinput name»"UnitSchema_UnitProperty" /> cinput name»"UnitSchema_HardwareVersion" /> cinput name»"UnitSchema_FirmwareVersion" /> cinput name="UnitSchema_SoftwareVersion*¹ /> cinput name»"UnitSchema_HardwareSerialNumber" /> cinput name»"UnitSchema_AuthenticatedHardware" /> cinput name="UnitSchema_MaxBspDbSize" /> cinput name="UnitSchema_MaxIdentifу" /> cinput name="EventType" /> coutput name="return"/> c!— Присвоение начального значения переменной "_unitID" выполняется если:

- оно не было присвоено;

• - получено уведомление о событии BioAPI_NOTIFY_INSERT или BioAPI_NOTIFY_SOURCE_PRESENT;

• - событие связано с ожидаемым модулем в соответствии со значением параметра "unitIDOrNULL" вызова процесса "LoadAndAttach" -->

<set name="_unitID" var="UnitID’’>

<only_if>

<not>

caxisting var="_unitID"/>

</not>

<or>

<equal_to varl^'EventType"

var2="__BioAPI_NOTIFY_INSERT"/>

<equal_to varl=’'Ev6ntTyp6"

var2="__BioAPI_NOTIFY_SOURCE_PRESENT"/>

</or>

<or>

<equal_to varl="_unitIDOrNull" value2="0"/> <equal_to varl="_unitIDOrNull" var2=’^,UnitID^,,/> </or>

</only_if>

</set>

<•— Установка категории модуля. —>

<set name="_unitCategory" var="UnitSchema_UnitCategory"> <only_if>

<not>

<existing var=’^,_unitCategory"/>

</not>

<equal_to varl=”EventType"

var2="__BioAPI_NOTIFY_INSERT"/>

<or>

<equal_to varl="_unitIDOrNull" value2=’^,0"/> <equal_to varl="_unitIDOrNull" var2="UnitID"/> </or>

</only_if>

</set>

«invoke activity="EventHandlerSetGlobalData''>

<only_if>

«existing var="_unitID”/>

</only_if>

«input name®"UnitID" var="UnitID"/>

«input name® "EventType” var® •’EventType” /> </invoke>

«set name="return" var="__BioAPI_OK"/>

</activity>

«activity name="EventHandlerSetGlobalData" atomic®"true"> «input name="UnitID"/>

«input name=''EventTypa"/>

<’— Присвоить глобальной переменной "_insert" начальное значение "true" если:

• - поступило уведомление о событии BioAPI_NOTIFY_INSERT;

• - событие связано с ожидаемым модулем, определенным параметром "unitIDOrNULL" или вызовом процесса "LoadAndAttach". -->

«set name="_insert" value®"true">

<only_if>

<equal_to varl="EventType" var2="__BioAPI_NOTIFY_INSERT"/>

<equal_to varl="_unitID" var2="UnitID"/> </only_if>

</set>

<’— Присвоить глобальной переменной "_insert" начальное значение "false", если:

• - поступило уведомление о событии BioAPI NOTIFY REMOVE;

• - событие связано с ожидаемым модулем, определенным параметром "unitIDOrNULL" или вызовом процесса "LoadAndAttach". -->

<set name="_insert" value»"false">

<only_if>

<equal_to varl="EventType"

var2="__BioAPI_NOTIFY_REMOVE"/>

<equal_to varl»"_unitID" var2="UnitID"/> </only_if>

</set>

<’— Присвоить глобальной переменной "_sourcePresent" начальное значение "true", если:

• - поступило уведомление о событии BioAPI_NOTIFY_SOURCE_PRESENT;

• - событие связано с ожидаемым модулем, определенным параметром "unitIDOrNULL" или вызовом процесса "LoadAndAttach".—>

<set name="_sourcePresent" value»"true">

<only_if>

<equal_to varl="EventType"

var2="__BioAPI_NOTIFY_SOURCE_PRESENT"/>

<equal_to varl="_unitID” var2="UnitID”/> </only_if>

</set>

<’— Присвоить глобальной переменной "_sourcePresent" начальное значение "false", если:

• - поступило уведомление о событии BioAPI_NOTIFY_SOURCE_REMOVED;

• - событие связано с ожидаемым модулем, определенным параметром "unitIDOrNULL" или вызовом процесса "LoadAndAttach". —>

<set name="_sourcePresent" value»"false">

<only_if>

<equal_to varl="EventType"

var2="__BioAPI_NOTIFY_SOURCE_REMOVED"/>

<equal_to varl="_unitID” var2="UnitID”/> </only_if>

</set>

<’— Присвоение начального значения глобальной переменной "_eventtype". —>

<set name="_eventtype" var="EventType">

<only_if>

<equal_to varl="_unitID” var2="UnitID"/> </only_if>

</set>

</activity>

<’— Данный процесс вызывает функции BioSPI_BSPDetach и BioSPI_BSPUnload. —>

«activity name=’’DetachAndUnload" >

«input name="bspUuid"/>

«input naae="BSPHandIe"/>

<’— Вызов функции BioSPI_BSPDetach. —>

«invoke function="BioSPI_BSPDetach" >

«input narae="BSPHandle" var="BSPHandle"/> «return setvar="return^,7>

</invoke>

<’— Выдача заключения о соответствии. Если условие, описанное далее в элементе «descriptions ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS" . —> <assert_condition response_if_falsa="undecided"

br eak_i f_f al se= ” true ’* > <description>

Функция BioSPI_BSPDetach возвращает значение BioAPIjOK.

</dascription>

<equal_to varl="return" var2="__BioAPI_0K'7>

</assert_>_condition>

<•— Вызов функции BioSPI_BSPUnload. —>

«invoke function="BioSPI_BSPUnload” >

«input naraa="BSPUuid" var="bspUuid" />

«return setvar=^,’return^,7>

</invoke>

<’— Выдача заключения о соответствии. Если условие, определенное далее в элементе «descriptions ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS".—>

<assert_condition responsa_if_false="undecidedⁿ

break_if_falsa="true”>

<description>

Функция BioSPI_BSPUnload возвращает значение BioAPI_OK. </description>

<equal_to varl="return" var2="__BioAPI_OK'7>

</assert_condition>

</activity>

«activity name="chack_capturadBIR_datatypa">

«input name="BSPHandle" />

«input name="BIRHandleⁿ />

<’— Вызов функции BioSPI_GetHeaderFromHandle для полученной ЭБИ. —>

«invoke function="BioSPI_GatHaaderFromHandle">

«input name="BSPHandle" var="BSPHandle"/> «input name="Handle" var="BIRHandle"/> «output name="ProcessedLevel" setvar="processedLevel’7>

<return setvar="return"/>

</invoke>

<•— Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS".—>

<assert_condition response_if_false="undecided"

break_if_false="true">

<description>

Функция BioSPI_GetHeaderFromHandle возвращает значение BioAPI_OK.

</description>

<equal_to varl=^,’return" var2="__BioAPI_OK"/>

</assert_condition>

<’— Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS".—>

<assert_condition response_if_false="undecided"

break_if_false="true”>

<description>

Степень обработки полученной ЭБИ не соответствует степени "PROCESSED".

</description>

<not_equal_to varl="processedLevel" var2=”__BioAPI_BIR_DATA_TYPE_PROCESSED" />

</assert_condition>

</activity>

<activity name="process_bir"> <input name="BSPHandle" />

<input name="CapturadBIR_BIRHandle" />

<!— Вызов функции BioSPI_Process. —>

Cinvoke function="BioSPI_Process">

<input name="BSPHandle" var="BSPHandle"/>

<input narae="CapturedBIR_Form" var="__BioAPI_BIR_HANDLE_INPUT" />

<input name="CapturedBIR_BIRHandle" var="CapturedBIR_BIRHandle"/>

<output name="ProcessedBIR" set-var="_procesaedbir_handle"/>

<return 3etvar="return"/>

</invoke>

<’— Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS".—>

<assert_condition response_if_false="undecided"

br eak_i f_f alse= ’* true ’* >

<description>

Функция BioSPI_Process возвращает значение BioAPI_OK. </description>

<equal_to varl=^,,return" var2="__BioAPI_OK"/>

</assert_condition>

</activity>

«activity name=’'payloadSupport_checkPayload" >

«input name="inputPayload"/>

«input name="outputPayload"/>

«input name="result"/>

<input name="payloadPolicy"/>

<input name="fmrAchieved"/>

<invoke activity»"resultFalse_checkPayload"

break_on_break="true”>

<only_if>

<same_as varl=’^,result" value2="false"/> </only_if>

<input name=^,’outputPayload" var="outputPayload" /> </invoke>

Cinvoke activity»"resultTrue_checkPayload"

br eak_on_br eak» " true ’* >

<only_if>

<same_as varl»"rasult" value2="true" /> </only_if>

<input name="inputPayload’' var="inputPayload" /> <input name»'*outputPayload" var=’’outputPayload" /> <input name»"payloadPolicy" var="payloadPolicy" /> <input name="fmrAchieved" var=”fmrAchieved"/>

</invoke>

</activity>

«activity name="payloadNotSupport_checkPayload" >

«input nane»"outputPayload"/>

<•— Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "FAIL" и выполнение процесса прерывается, в противном случав выдается заключение о соответствии "PASS".—>

<assert_condition break_if_false="true">

<description>

Данные не были возвращены.

</description>

<sarae_as varl="outputPayload" value2='”'/>

«/assert condition>

</activity>

«activity name="resultFalse_checkPayload" >

«input name="outputPayload"/>

<•— Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "FAIL" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS".—>

<assert_condition break_if_false=”true”>

<description>

ПБУ поддерживает выдачу данных, при этом результат является ложным, и данные не были возвращены.

</description>

<sarae_as varl="outputPayload" value2=''"/>

</assert_condition>

</activity>

«activity name="resultTrue_checkPayload">

«input narae="inputPayload"/>

«input name="outputPayload"/>

«input name="payloadPolicy"/>

«input name="fmrAchieved"/>

<’— Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS".—>

<assert_condition response_if_false="undecided" break_if_false="true">

<description>

Возвращаемые данные совпадает с представленными или отсутствуют, поскольку вероятность ошибки ложного совпадения слишком велика.

</description>

<ог>

<and>

<less_than varl="fmrAchieved" var2="payloadPolicy"/>

<same_as varl="outputPayload" var2="inputPayload"/>

</and>

<and>

<greater_than_or_equal_to varl="fmrAchieved" var2="payloadPolicy"/>

<same_as vat1="outputPayload” value2=""/> </and>

</or>

</assert_condition>

</activity>

<’— Данный процесс обеспечивает проверку значения возвращенной после адаптации ЗБИ и используется в случае, если ПБУ поддерживает адаптацию шаблона. —> <activityname="check_adaptation_supported'’>

<input name=''adaptedbir_handle" />

<assert_condition response_if_false="undecided" break_if_false="true" >

<description>

Дескриптор адаптированной ЗБИ имеет действительное значение.

</description> <not_equal_to varl="adaptedbir_handle" value2=’'-l" />

</assert condition>

<assert_condition break_if_false="true">

<description>

Дескриптор адаптированной ЗБИ имеет неотрицательное значение.

</description>

<greater_than_or_equal_to var1="adaptedbir_handle"

value2=”0’7>

</assert_condition>

</activity>

<!— Данный процесс обеспечивает проверку значения возвращенной после адаптации ЗБИ и используется в случае,если ПБУ не поддерживает адаптацию шаблона. —> <activityname="check_adaptation_not_supported'’>

«input name="adaptedbir_handle"/>

<assert_condition break_if_false="true">

<description>

Адаптация не поддерживается ПБУ и ПБУ возвращает значение BioAPI_UNSUPPORTED_BIR_HANDLE ("-2").

</description>

<equal_to varl="adaptedbir_handle" value2=^,'-2" /> </assert_condition>

</activity>

<!— Данный процесс обеспечивает проверку возвращаемого значения качества, если возвращение обработанного значения качества поддерживается ПБУ. —>

«activity name="check__>quality_supported’’ >

«input name="quality"/>

<’— Выдача заключения о соответствии. Если условие, определенное далее в элементе «descriptions ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS".—>

<assert_condition response_if_false="undecided"

break_if_f alse="true">

<description>

Значение качества является допустимым.

</description>

<not_equal_to varl="quality" value2="-1" /> </assert_condition>

<•— Выдача заключения о соответствии. Если условие, определенное далее в элементе «descriptions ложное, выдается заключение о соответствии "FAIL" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS".-->

<assert_condition break_if_false=”true”>

<description>

Качество поддерживается ПБУ и имеет значение

в пределах от 0 до 100.

</description> <greater_than_or_equal_to varl="quality" value2="0"/> <less_than_or_equal_to varl=’’quality" value2="100"/> </assart_condition>

</activity>

<!— Данный процесс обеспечивает проверку возвращаемого значения качества, если возвращение обработанного значения качества не поддерживается ПБУ.—>

«activity name="check__>quality_not_supported" >

«input name="quality"/>

<assert_condition break_if_falsa="true”>

<description>

Возвращение значения качества не поддерживается ПБУ, и возвращаемым значением является "-2".

</description>

<equal_to varl="quality" value2="-2"/> </assert_>_condition>

</activity>

<!— Данный процесс обеспечивает создание базы данных. —> Cactivity name="PrapareDBTesting" >

cinput name="bspHandle" />

Cinput name="dbUuid"/>

cinput name="nosourcepresentsupported" />

cinput names"sourcepresenttimeouttime"/> coutput name="biruuid"/>

cinvoke function="BioSPI_DbDelete" >

Cinput name="BSPHandle" var="bspHandle" />

<input name="DbUuid" var="dbUuid" /> <return setvar="return"/>

</invoke>

cinvoke function="BioSPI_DbCraate">

Cinput name="BSPHandle" var="bspHandle"/>

<input name="DbUuid" var="dbUuid"/>

Cinput name="NumberOfRecords" values"l’’/> cinput name="ReadAccessRequest" values"true"/> Cinput name="WriteAccessRequest" values"true"/> coutput name="DbHandle" setvar="dbHandle"/> creturn setvar="return"/>

</invoke>

<’— Выдача заключения о соответствии. Если условие, определенное далее в элементе cdescription>, ложное, выдается заключение о соответствии "UNDECIDED", в противном случае выдается заключение о соответствии "PASS". —> cassert condition response if falses"undecided"

break_if_false="true”>

<description>

Функция BioSPI_DbCreate возвращает значение BioAPI_OK. </description>

<equal_to varl=”return” var2=”__BioAPI_OK"/>

</assert_condition>

<set name="eventtimeoutflag" value="false"/>

<•— Если испытуемый ПБУ поддерживает уведомление о событии BioAPI_NOTIFY_SOURCE_PRESENT, следует ждать получения уведомления в пределах указанной максимальной продолжительности. —>

<wait_until timeout_var="sourcepresenttimeouttime" setvar="eventtimeoutflag">

<or varl="nosourcepresentsupported" var2="_sourcePresent" /> </wait_until>

<’— Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS".—>

<assert_condition response_if_false="undecided"

break_if_false="true”>

<description>

Или испытуемый ПБУ не поддерживает уведомление о событии BioAPI_NOTIFY_SOURCE_PRESENT, или уведомление о событии получено в пределах указанной максимальной продолжительности.

</description>

<not var="eventtimeoutflag"/>

</assert_condition>

<’— ПБУ готов к получению данных. Вызвать функцию BioSPI_Enroll для регистрации. —>

Cinvoke function="BioSPI Enroll">

<input narae="BSPHandle" var="bspHandle"/>

<input name="Purpose"

var="__BioAPI_PURPOSE_ENROLL_FOR_VERIFICATION_ONLY”/>

<input name=’’Tiraeout" value="15000"/>

<output name="NewTeraplate" setvar="newteraplate_handle"/> <return setvar="return^,'/>

</invoke>

<!— Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS". —>

<assert_condition response__if_false="undecided"

break_if_false="true”>

<description>

Функция BioSPI_Enroll возвращает значение BioAPI_OK. </description>

<equal__to varl»"return" var2=”__BioAPI_OK"/>

</assert_condition>

<•— Вызвать функцию BioSPI_DbStoreBIR для сохранения зарегистрированной ЗБИ в базе данных. —>

Cinvoke £unction="BioSPI_DbStoreBIR">

<input narae="BSPHandle" var="bspHandle"/>

<input name="BIRToStore_Form"

var="__BioAPI_BIR_HANDLE_INPUT"/>

<input naraa="BIRToStore_BIRHandle" var="newteraplate_handle"/>

<input name="DbHandle" var="dbHandle"/>

<input name="no_BirUuid" value="false"/>

<output name="BirUuid" setvar="biruuid"/>

<return setvar="return’'/>

</invoke>

<’— Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "FAIL", в противном случае выдается заключение о соответствии "PASS".—>

<assart_condition response_if_false="undecided" br eak_if_f alse="true”>

<description> Функция BioSPI_DbStoreBIR возвращает значение BioAPI_OK и выходное значение УУИД не равно NULL.

</description>

<equal_to varl=’’return" var2="__BioAPI_OK'7>

<not_same_as varl="biruuid" value2«”**/> </assert_condition>

<•— Вызов функции BioSPI_DbClose с достоверными значениями входных параметров.

<invoke function="BioSPI_DbClose">

<input name="BSPHandle" var="bspHandle"/>

<input name="DbHandle" var="dbHandle"/> <return setvar=’’return^,7>

</invoke>

<’— Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED", в противном случае выдается заключение о соответствии "PASS". —> <assart_condition response_if_false="undecided" break_if_false="true">

<description>

Функция BioSPI_DbClose возвращает значение BioAPI_OK. </description>

<equal_to varl="return" var2="__BioAPI_OK"/>

</assert_condition>

</activity>

<!— Данный процесс обеспечивает удаление базы данных. —> «activity name="CleanUpDBTesting” >

«input name="BSPHandle" />

«input name="dbUuid"/>

<’— Вызов функции BioSPI_DbDelate с допустимыми значениями входных параметров. —>

«invoke function="BioSPI_DbDelete">

<input name='*BSPHandle’' var=’'_bsphandle’'/>

<input name=^,’DbUuid" var="dbUuid"/>

«return setvar="return"/>

</invoke>

<!— Выдача заключения о соответствии. Бели условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED",в противном случае выдается заключение о соответствии "PASS".—>

<assert_conditionresponse_if_false="undecided">

<description>

Функция BioSPI_DbDelete возвращает значение BioAPI_OK. </description>

<equal_to varl="return" var2="__BioAPI_OK"/>

</assert_condition>

</activity>

</package>

8.3 Утверждение la BioSPI_BSPLoad_InvalidUUID

Описание: Проверку данного утверждения проводят с целью определения возвращения значения BioAPIERR_H_FRAMEWORK_INVALID_UUID при вызове функции BioSPl_BSPLoad с недостоверным значением входного параметра УУИД.

Выдержки

Подпункт 93.1.1

BioAPl_RETURN BioAPI BiaSPl_BSPLoad(consiBiaAPi_UU10 *BSPUuid_t

BioSPI-EveniHandler BioA PINofifyCallback,

BioSPI_BFP_ENUMERA T1ON-HANDLER BFPEnumerationHandler, BioSPI_MEMORY_FREE_HANDLER MemoryFreeHandler).

Данная функция завершает процесс инициализации между БиоАПИ и ПБУ. Возвращаемое значение

Значение BioAPI_RETURN указывает на успешное выполнение функции или определяет тип ошибки. Значение BioAPI_OK соответствует успешному выполнению. Остальные значения определяют тип ошибки.

Значение BSPUuid определяет вызванный модуль.

Подпункт 11.2.3

Ошибки: BioAPIERR_INVALID_UUID.

Ссылки: 9.3.1.1 и 11.2.3.

Порядок действий:

• 1) Вызвать функцию BioSPl_BSPLoad с недостоверным значением входного параметра УУИД.

• 2) Проверить возвращаемое значение. Если это значение BioAPlERR_INVALID_UUlD, выдать заключение о соответствии "PASS", в противном случае выдать заключение о соответствии "FAIL".

Если какие-либо промежуточные операции прошли неуспешно, выдать заключение о соответствии "UNDECIDED".

Ожидаемые результаты: Вызов функции BioSP!_BSPLoad возвращает значение BioAPIERR_INVALID_UUID.

Пакет языка утверждения

<package name="020a90c8-0cl9-1085-ab54-0002a5d5fd2e^,’>

<author>

ISO/IEC JTC SC37

</author>

<description>

Данный пакет содержит утверждение "BioSPI_BSPLoad_InvalidUUID" (см. далее элемент утверждения <description>).

</description>

<assertion name="BioSPI_BSPLoad_InvalidUUID" model=^,'BSPTesting’^l> <description>

Проверку данного утверждения проводят с целью определения возвращения значения BioAPIERR_H_ FRAMEWORK_INVALID_UUID при вызове функции BioSPI_BSPLoad с недостоверным значением входного параметра УУИД.

Следующий текст соответствует приведенному в 9.3.1.1 и 11.2.3 спецификации БиоАПИ 2.0

BioAPI_RETURN BioAPI BioSPI_BSPLoad(const BioAPI_UUID *BSPUuid,

BioSPI_EventHandlar BioAPINotifyCallback, BioSPI_BFP_ENUMERATION_HANDLER BFPEnumerationHandler, BioSPI_MEMORY_FREE_HANDLER MemoryFreeHandler).

Данная функция завершает процесс инициализации между БиоАПИ и модулем биометрической услуги.

Возвращаемое значение

Значение BioAPI_RETURN указывает на успешное выполнение функции или определяет тип ошибки.

Значение BioAPI_OK соответствует успешному выполнению функции. Остальные значения определяют тип ошибки.

Подпункт 9.3.1.1:

BSPUuid определяет вызванный модуль.

Пункт 11.2.3:

Ошибки: BioA₽IERR_INVALID_UUID.

Порядок действий при испытании на соответствие:

• 1) Вызвать функцию BioSPI_BSPLoad

с недостоверный значением входного параметра УУИД.

• 2) Проверить возвращаемое значение. Если это значение BioAPIERR_INVALID_UUID, то выдать заключение о соответствии "PASS", в противном случае выдать заключение о соответствии "FAIL".

Если какие-либо промежуточные операции прошли неуспешно, выдать заключение о соответствии "UNDECIDED".

</description>

<!-- Вызов основного процесса данного утверждения со значениями входных параметров, определенными значениями параметров утверждения. —>

<invoke activity="BioSPI_BSPLoad">

<input name="bspUuid" value="00000000-0000-0000-0000-000000000000"/> </invoke>

</assertion>

<activity name=^,'BioSPI_>_BSPLoad">

<input narae=''bspUuid"/>

<!-- Вызов функции BioSPI_BSPLoad. —>

<invoke function="BioSPI_BSPLoad">

<input name="BSPUuid” var=”bspUuid”/>

<input nam6="BioAPINotifyCallback” value=’’*’'/> <input name=”BFPEnumerationHandler" value="*"/> <input name=’'MemoryFreeHandler’’ value="*" /> Creturn setvar=”return”/>

</invoke>

<!— Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "FAIL", в противном случае выдается заключение о соответствии "PASS".—> <assert_condition>

<description>

Функция BioSPI_BSPLoad возвращает значение BioAPIERR_INVALID_UUID.

</description>

<equal_to varl=”return”

var2=”__BioAPIERR_BSP_INVALID_UUID'7>

</assert_condition>

</activity>

</package>

8.4 Утверждение lb BioSPI_BSPLoad_ValidParam

Описание: Проверку данного утверждения проводят с целью определения возвращения значения BioAPl_OK при вызове функции BioSP!_BSPLoad с достоверными значениями входных параметров.

Выдержки

Подпункт 9.3.1.1

BioAPI_RETURN BioAPI BioSPI_BSPLoad (const BioAPl_UU!D *BSPUuid, BioSPI-EvettfHandler BioAPINotifyCallback,

BioSPi_BFP_ENUMERA TION-HANDLER BFPEnumerationHandler. BioSPl_MEMORY_FREE_HANDLER MemoryFreeHandier).

Данная функция завершает процесс инициализации между БиоАПИ и ПБУ. Возвращаемое значение

Значение BioAPI_RETURN указывает на успешное выполнение функции или определяет тип ошибки. Значение BioAPI_OK соответствует успешному выполнению. Остальные значения определяют тип ошибки.

Значение BSPUuid определяет вызванный ПБУ.

Значение BioAPINotifyCallback определяет обратный вызов, используемый для оповещения инфраструктуры БиоАПИ о событиях с типом BioAPI_EVENT в любой текущей присоединенной сессии. ПБУ должен сохранить эту информацию для использования в дальнейшем.

Значение BFPEnumerationHandler представляет собой адрес обратного вызова обработчика перечислений ПБФ, представленного инфраструктурой ПБУ. ПБУ может использовать обратный вызов для получения информации о ПБФ, имеющихся в инфраструктуре.

Значение MemoryFreeHandler представляет собой адрес обратного вызова обработчика освобождения памяти, представленного инфраструктурой ПБУ. ПБУ должен сохранить эту информацию для использования в дальнейшем. ПБУ должен использовать обратный вызов для освобождения блока памяти, который был выделен инфраструктурой во время предыдущего обратного вызова обработчика перечислений ПБФ.

Раздел А.4

Данная функция должна поддерживаться всеми типами ПБУ.

Ссылки: 9.3.1.1 и А.4.

Порядок действий:

• 1) Вызвать функцию BioSP!_BSPLoad с достоверными значениями входных параметров.

• 2) Проверить возвращаемое значение. Если это значение BioAPI_OK, выдать заключение о соответствии "PASS", в противном случае выдать заключение о соответствии ’'FAIL".

Если какие-либо промежуточные операции прошли неуспешно, выдать заключение о соответствии "UNDECIDED".

Ожидаемые результаты: Вызов функции BioSPl_BSPLoad возвращает значение BioAPI_OK.

Пакет языка утверждения

<package name="01f6c6f0-0cl9-1085-97fe-0002a5d5fd2e">

<author>

ISO/IEC JTC1 SC37

</author>

<description>

Данный пакет содержит утверждение "BioSPI_BSPLoad_ValidParam" (си. далее элемент утверждения <description>).

</description>

<assertion name=''BioSPI_BSPLoad_ValidParam" model="BSPTesting">

<description>

Проверку данного утверждения проводят с целью определения возвращения значения функции BioAPI_OK при вызове функции BioSPI_BSPLoad с достоверными значениями входных параметров.

Далее приведены выдержки из 9.3.1.1 и А.4 спецификации БиоАПИ 2.0

BioAPI_RETURN BioAPI BioSPI_BSPLoad(const BioAPI__UUID *BSPUuid,

BioSPI_EventHandler BioAPINotifyCallback, BioSPI_BFP_ENUMERATION_HANDLER BFPEnumerationHandler, BioSPI_MEMORY_FREE_HANDLER MemoryFreeHandler).

Данная функция завершает процесс инициализации между БиоАПИ и модулем биометрической услуги.

Возвращаемое значение

Значение BioAPI_Return указывает на успешное выполнение функции или определяет тип ошибки. Значение BioAPI_OK соответствует успешному выполнению. Остальные значения определяют тип ошибки.

Подпункт 9.3.1.1:

Данная функция завершает процесс инициализации между БиоАПИ и ПБУ.

Значение BSPUuid определяет вызванный ПБУ.

Значение BioAPINotifyCallback определяет обратный вызов, используемый для оповещения инфраструктуры БиоАПИ о событиях с типом BioAPI_EVENT в любой текущей присоединенной сессии. ПБУ должен сохранить эту информацию для использования в дальнейшем. Значение BFPEnumerationHandler представляет собой адрес обратного вызова обработчика перечислений ПБФ, представленного инфраструктурой ПБУ. ПБУ может использовать обратный вызов для получения информации о ПБФ, имеющихся в инфраструктуре.

Значение MemoryFreeHandler представляет собой адрес обратного вызова обработчика освобождения памяти, представленного инфраструктурой ПБУ. ПБУ должен сохранить эту информацию для использования в дальнейшем. ПБУ должен использовать обратный вызов для освобождения блока памяти, который был выделен инфраструктурой во время предыдущего обратного вызова обработчика перечислений ПБФ.

Раздел А.4:

Данная функция должна поддерживаться всеми типами ПБУ.

Порядок действий при испытании на соответствие:

• 1) Вызвать функцию BioSPI_BSPLoad с достоверными значениями входных параметров.

• 2) Проверить возвращаемое значение. Если это значение BioAPI_OK, выдать заключение о соответствии "PASS", в противном случае выдать заключение о соответствии "FAIL".

Если какие-либо промежуточные операции прошли неуспешно, то выдать заключение о соответствии "UNDECIDED".

C/description>

<!-- УУИД испытуемого ПБУ. -->

<input name=’'_BspUuid’'/>

<!— Указывает, будет ли предоставлен адрес обратного вызова инфраструктуры для уведомления о события ПБУ; значение означает предоставление адреса, значение " " - отсутствие. —> <input narae="_BioAPINotifyCallback" />

<!— Адрес обработчика перечислений ПБФ. —>

<input name="_BFPEnunierationHandler" />

<!-- Адрес обработчика освобождения памяти. -->

<input narae="_MeraoryFreeHandler" />

<•— Вызов основного процесса данного утверждения со значениями входных параметров, определенными значениями параметров утверждения. --> cinvoke activity="BioSPI_BspLoad">

Cinput name="BspUuid” var=”_BspUuid”/>

Cinput name="BioAPINotifyCallback" var="_BioAPINotifyCallback" />

Cinput name=’^,BFPEnumerationHandler” var="_BFPEnumerationHandler" />

Cinput name=’'MemoryFreeHandler’’ var=’^,__MemoryFreeHandler" />

c/invoke>

c/assertion>

Cactivity name="BioSPI_BspLoad">

Cinput name="BspUuid”/>

«input narae="BioAPIdNotifyCallback"/>

«input name="BFPEnumerationHandler" /> «input narae="MeraoryFreeHandler’' />

<!-- Вызов функции BioSPI_BspLoad. —>

«invoke function="BioSPI_BSPLoad">

«input name="BSPUuid” var="BspUuid”/>

«input name="BioAPINotifyCallback” var="BioAPIdNotifyCallback"/>

«input name="BFPEnumerationHandler" var="BFPEnumerationHandler"/>

<input name="MamoryFreaHandler" var="MemoryFreeHandler" />

«return setvar="return'7>

</invoke>

<!-- Выдача заключения о соответствии. Если условие, ределенное далее в элементе <description>, ложное, выдать заключение о соответствии "FAIL", в противном случае выдать заключение о соответствии "PASS".—> <assert__condition>

<description>

Функция BioSPI_BSPLoad возвращает значение BioAPI_OK.

</description>

<equal_to varl='^,raturn’’ var2="__BioAPIj0K’7>

</assert_condition>

<!-- Вызов функции BioSPI_BSPUnload. -->

•«invoke function®"BioSPI_BSPUnload">

«input name=’’BSPUuid” var="BspUuid”/>

«return setvar="return'7>

</invoke> <!-- Выдача заключения о соответствии. Если условие ределенное далее в элементе «description», ложное, выдается заключение о соответствии "UNDECIDED",

в противном случае выдается заключение о соответствии "PASS".-->

<assert_condition response_if_false="undecided”> <description>

Функция BioSPI_BSPUnload возвращает значение BioAPI_OK.

</description>

<equal_to varl="return" var2=”__BioAFI_0K’7>

</assert_condition>

</activity>

</package>

8.5 Утверждение 2a BioSPI_BSPUnload_ValidParam

Описание: Проверку данного утверждения проводят с целью определения возвращения значения BioAPI_OK при вызове функции BioSPl_BSPUnload с достоверными значениями входных параметров.

Выдержки

Подпункт 9.3.1.2

BioAPI_RETURN BioAPI BioSPl_BSPUnload

(const BioAPl_UUID *BSPUuid).

Данная функция деактивирует события и аннулирует регистрацию функции БиоАПИ уведомления о событиях. Модуль биометрической услуги может производить операции очистки, отменяющие инициализацию, выполненную функцией BioSPl_BSPLoad.

Возвращаемое значение

Значение BioAPI_RETURN указывает на успешное выполнение функции или определяет тип ошибки. Значение BioAPI.OK соответствует успешному выполнению. Остальные значения определяют тип ошибки.

Раздел А.4

Данная функция должна поддерживаться всеми типами ПБУ.

Ссылки: 9.3.1.2 и А.4.

Порядок действий:

• 1) Вызвать функцию BioSP!_BSPLoad с достоверными значениями входных параметров. Предполагается, что вызов будет успешным.

• 2) Вызвать функцию BioSPl_BSPUnload с достоверными значениями входных параметров.

• 3) Проверить возвращаемое значение. Предполагается возвращение значения BioAPI_OK.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии ’'UNDECIDED”.

Ожидаемые результаты: Вызов функции BioSPl_BSPUnload возвращает значение BioAPI_OK.

Пакет языка утверждения

«package name="01661010-0c22-1085-8688-0002a5d5fd2a'’>

<author>

ISO/IEC JTC1 SC37

</author>

<description>

Данный пакет содержит утверждение "BioSPI_BSPUnload_ValidParam" (см. далее элемент <description> утверждения).

</description>

«assertion name="BioSPI_BSPUnload_ValidParam" modal="BSPTesting''>

<description>

Проверку данного утверждения проводят с цель» определения возвращения значения BioAPI_OK при вызове функции BioSPI_BSPUnload с достоверными значениями входных параметров.

Следующий текст соответствует приведенным в 9.3.1.2 и А.4 спецификации БиоАПИ 2.0.

BioAPI_RETURN BioAPI BioSPI_BSPUnload

(const BioAPI_UUID *BSPUuid).

Данная функция деактивирует события и аннулирует регистрацию функции БиоАПИ уведомления о событиях.

Модуль биометрической услуги выполняет операции очистки, отменяющие инициализацию, выполненную функцией BioSPI_BSPLoad.

Возвращаемое значение

Значение BioAPI_RETURN указывает на успешное выполнение функции или определяет тип ошибки. Значение BioAPI_OK соответствует успешному выполнению. Остальные значения определяют тип ошибки.

Подпункт 9.3.1.2 :

Данная функция деактивирует события и аннулирует регистрацию функции БиоАПИ уведомления о событиях. Раздел А.4:

Данная функция должна поддерживаться всеми типами ПБУ.

Порядок действий при испытании на соответствие:

• 1) Вызвать функцию BioSPI_BSPLoad с достоверными значениями входных параметров. Предполагается, что вызов будет успешным.

• 2) Вызвать функцию BioSPI_BSPUnload с достоверными значениями входных параметров.

• 3) Проверить возвращаемое значение. Предполагается возвращение значения BioAPI_OK.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии "UNDECIDED".

</description>

<•— УУИД испытуемого ПБУ. —>

<input name="_bspUuid"/>

<!-- Вызов основного процесса данного утверждения со значениями входных параметров, определенными значениями параметров утверждения. --> cinvoke activity="BioSPI_BSPUnload">

Cinput name="bspUuid" var="_bspUuid"/>

</invoke>

</assertion>

<activity name="BioSPI_BSPUnload">

<input name="bspUuid"/>

<!--Вызов функции BioSPI_BSPLoad. -->

<invoke function»"BioSPI_BSPLoad">

<input name="BSPUuid” vara"bspUuid"/>

<input name="BioAPINotifyCallback" value=’^,*’’/>

<input name=’'BFPEnumerationHandler” value»"*"/>

<input name="MemoryFreeHandler” value»"*" />

<return setvara”return’’/>

</invoke>

Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS". --> <assert_condition rasponse_if_false="undecided" break_if_false="true">

<description>

Функция BioSPI_BSPLoad возвращает значение BioAPI_OK.

</description>

<equal to varl="return" var2=” BioAPI 0K”/>

</assert_condition>

<•-- Вызов функции BioSPI_BSPUnload. --> <invoke function®"BioSPI_BSPUnload”> <input name=”BSPUuid” var®"bspUuid"/> Creturn setvar=’^,return^,’/>

</invoke>

<!-- Выдача заключения о соответствии. Если условие, определенное далее в элементе <descciption>, ложное, выдается заключение о соответствии "FAIL", в противном случае выдается заключение о соответствии "PASS". —> <assert_condition>

<description>

Функция BioSPI_BSPUnload возвращает значение BioAPI_OK.

</dascription>

<equal_to varla’’return" var2=”__BioAPI_OK"/>

</assert_condition>

</activity>

</package>

8.6 Утверждение 2b BioSPI_BSPUnload_InvalidUUID

Описание: Проверку данного утверждения проводят с целью определения возвращения значения BioAPIERR_lNVALID_UUlD при вызове функции BioSPI_BSPUnload с недостоверным значением входного параметра УУИД.

Выдержки

Подпункт 9.3.1.2

BioAPI_RETURN BioAPI BioSPl_BSPUnIoad

(const BioAPl_UUlD *BSPUuid).

Данная функция деактивирует события и аннулирует регистрацию функции БиоАПИ уведомления о событиях. Модуль биометрической услуги может

производить операции очистки, отменяющие инициализацию, выполненную функцией BioSPI_BSPLoad.

Возвращаемое значение

Значение BioAPI_RETURN указывает на успешное выполнение функции или определяет тип ошибки. Значение BioAPl_OK соответствует успешному выполнению. Остальные значения определяют тип ошибки.

Параметры: BSPUuid (входной параметр) - УУИД вызванного ПБУ.

Подпункт П.2.3

Ошибки: BioAPIERR_INVALID_UUID.

Ссылки: 9.3.1.2 и 11.2.3.

Порядок действий:

• 1) Вызвать функцию BioSPl_BSPLoad с достоверными значениями входных параметров. Предполагается, что вызов будет успешным.

• 2) Вызвать функцию BioSPl_BSPUnload с недостоверным значением входного параметра УУИД.

• 3) Проверить возвращаемое значение. Если это значение отличается от значения BioAPIERR_lNVALID_UUID, то выдается заключение о соответствии "FAIL".

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии "UNDECIDED".

Ожидаемые результаты: Вызов функции BioSPl_BSPUnload возвращает значение BioAPIERR_INVALID_UUID.

Пакет языка утверждения

<package name=’’01c2e5b0-0c3b-1085-b31d-0002a5d5fd2e">

<author>

ISO/IEC JTC1 SC37

</author>

<description>

Данный пакет содержит утверждение "BioSPI_BSPUnload_InvalidUUID" (см. далее элемент <descciption> утверждения).

</description>

<assertion name=’'BioSPI_BSPUnload_InvalidUUID"

mode1="BSPTes ting">

<description>

Проверку данного утверждения проводят с целью определения возвращения значения BioAPIERR_INVALID_UUID при вызове функции BioSPI_BSPUnload с недостоверным входным параметром УУИД.

Следующий текст соответствует приведенному в 9.3.1.2 и 11.2.3 спецификации БиоАПИ 2.0.

BioAPI_RETURN BioAPI BioSPI_BSPUnload (const BioAPI_UUID *BSPUuid).

Данная функция деактивирует события и аннулирует регистрацию функции БиоАПИ уведомления о событиях. Модуль биометрической услуги может выполнять операции очистки, отменяющие инициализацию, выполненную функцией BioSPI_BSPLoad.

Возвращаемое значение

Значение BioAPI_RETURN указывает на успешное выполнение функции или определяет тип ошибки.

Значение BioAPI_OK соответствует успешному выполнению. Остальные значения определяют тип ошибки.

Подпункт 9.3.1.2:

Параметры: ПБУ Uuid (входной параметр) - УУИД вызванного ПБУ.

Пункт 11.2.3:

Ошибки: BioAPIERR INVALID UUID.

Порядок действий при испытании на соответствие:

• 1) Вызвать функцию BioSPI_BSPLoad с достоверными значениями входных параметров. Предполагается, что вызов будет успешным.

• 2) Вызвать функцию BioSPI_BSPUnload с недостоверным УУИД.

• 3) Проверить возвращаемое значение. Если это значение отличается от значения BioAPIERR_INVALID_UUID, выдается заключение о соответствии "FAIL".

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии "UNDECIDED".

C/description>

<•-- УУИД испытуемого ПБУ. —>

<input narae="_bspUuid"/>

<!-- Вызов основного процесса данного утверждения со значениями входных параметров, определенными значениями параметров утверждения. —> Cinvoke activity=^,'BioSPI_BSPUnload">

Cinput name=”bspUuid” var=”_bspUuid”/> </invoke>

</assertion>

cactivity name=’'BioSPI_BSPUnload">

<input narae='’bspUuid’’/>

<!-- Вызвать функцию BioSPI_BSPLoad. —>

<invoke function="BioSPI_BSPLoad">

Cinput name="BS₽Uuid” var=’’bspUuid”/>

Cinput name=’’BioAPINotifyCallback’* value=’’*’’/> Cinput name=”BFPEnumerationHandler’* value=”*’’/> cinput name="MemoryFreeHandler” value®’’*’’ /> Creturn setvar=’’return”/>

</invoke>

<•-- Выдача заключения о соответствии. Если условие, определенное далее в элементе <dascciption>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS".--> <assert_condition response_if_false="undecided" break_if_false="true">

<description>

Функция BioSPI_BSPLoad возвращает значение BioAPI_OK.

</description>

<equal_to varl="return" var2="__BioAPI_OK’’/>

</assert_condition>

<!-- Вызов функции BioSPI_BSPUnload. -->

<invoke function®"BioSPI_BSPUnload">

Cinput name="BSPUuid” value="00000000-0000-0000-0000-000000000000"/>

<raturn setvar=”return’7>

</invoke>

<!— Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "FAIL", в противном случае выдается заключение о соответствии "PASS". —> <assert_condition>

<description>

Функция BioSPI_BSPUnload возвращает значение BioAPIERR_INVALID_UUID.

</description>

<equal_to varl=”return’’

var2=”__BioAPIERR_BSP_INVALID_UUID^,,/>

</aasert condition>

Вызов функции BioSPI_BSPUnload для выгрузки BSP.--> <invoke function®"BioSPI_BSPUnload">

<input name=’’BSPUuid” var="bspUuid”/>

<return setvar="return"/>

</invoke>

Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "FAIL", в противном случае выдается заключение о соответствии "PASS".--> <assert_condition>

<description>

Функция BioSPI_BSPUnload возвращает значение BioAPI_OK.

</description>

<equal_to varl=’'return'’

var2="__BioAPI_OK” />

</assert_condition>

</activity>

</package>

8.7 Утверждение 2c BioSPl_BSPUnload_UnmatchedLoad

Описание: Проверку данного утверждения проводят с целью определения возвращения значения BioAPIERR_BSP_NOT_LOADED при вызове функции BioSPI_BSPUnIoad без соответствующего вызова функции BioSP!_BSPLoad.

Выдержки

Подпункт 9.3.1.2

BioAPI_RETURN BioAPI BioSPI_BSPUnIoad

(const BioAPIJUUID *BSPUuid).

Данная функция деактивирует события и аннулирует регистрацию функции БиоАПИ уведомления о событиях. Модуль биометрической услуги может выполнять операции по очистке, отменяющие инициализацию, выполненную функцией BioSPl_BSPLoad.

Подпункт 8.1.6.1

Данную функцию следует вызывать для представленного УУИД ПБУ только в том случае, если существует по крайней мере один вызов функции BioAP!_BSPLoad для УУИД ПБУ, для которого не был произведен соответствующий вызов функции BioAPI_BSPUnload.

Ссылки: 9.3.1.2 и 8.1.6.1.

Порядок действий:

• 1) Вызвать функцию BioSP!_BSPLoad с достоверными значениями входных параметров.

• 2) Вызвать функцию BioSPl_BSPUnload с достоверными значениями входных параметров.

• 3) Повторно вызвать функцию BioSPl_BSPUnload с достоверными значениями входных параметров.

• 4) Проверить возвращаемое значение. Если этим значением является BioAPlERR_BSP_NOT_LOADED, то испытание прошло успешно, в противном случае испытание прошло неуспешно.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии ’‘UNDECIDED’'.

Ожидаемые результаты: Повторный вызов функции BioSPl_BSPUnload возвращает значение BioAPIERR_BSP_NOT_LOADED.

Пакет языка утверждения

«package name=”02f6c618-0c23-1085-ba89-0002a5d5fd2e">

<author>

ISO/IEC JTC1 SC37

</author>

<description>

Данный пакет содержит утверждение "BioSPI_BSPUnload_UnraatchedLoad" (см. далее описание элемента <description> утверждения).

</description>

<assertion name=''BioSPI_BSPUnload_UnmatchedLoad"

mode1="BSPTes ting">

<description>

Проверку данного утверждения проводят с целью определения возвращения значения BioAPIERR_BSP_ NOT__LOADED при вызове функции BioSPI_BSPUnload без соответствующего вызова функции BioSPI_BSPLoad. Следующий текст соответствует приведенному в 9.3.1.2 и 8.1.6.1 спецификации БиоАПИ 2.0.

BioAPI_RETURN BioAPI BioSPI_BSPUnload

(const BioAPI_UUID *BSPUuid).

Данная функция деактивирует события и аннулирует регистрацию функции БиоАПИ уведомления о событиях. Модуль биометрической услуги выполняет операции очистки, отменяющие инициализацию, выполненную функцией BioSPI BSPLoad.

Подпункт 8.1.б.1

Данная функция должна вызываться для представленного УУИД ПБУ только в том случае, если существует по крайней мере один вызов функции BioAPI_BSPLoad для этого УУИД ПБУ, для которого не был произведен соответствующий вызов функции BioAPI BSPUnload.

Порядок действий при испытании на соответствие:

• 1) Вызвать функцию BioSPI_BSPLoad с достоверными значениями входных параметров.

• 2) Вызвать функцию BioSPI_BSPUnload с достоверными значениями входных параметров.

• 3) Повторно вызвать функцию BioSPI_BSPUnload

с достоверными значениями входных параметров.

• 4) Проверить возвращаемое значение. Если этим значением является BioAPIERR_BSP_NOT_LOADED, то испытание прошло успешно, в противном случае испытание прошло неуспешно.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии "UNDECIDED".

</description>

<!— УУИД испытуемого ПБУ. -->

<input name="_bspUuid”/>

<!— Вызов основного процесса данного утверждения со значениями входных параметров, определенными значениями параметров утверждения. -->

<invoke activity="BioSPI_BSPUnload_Unraatch">

<input name="bspUuid” var="_bspUuid”/> </invoke>

</assertion>

<activity name="BioSPI_BSPUnload_Unmatch">

<input narae="bspUuid"/>

<?— Вызов функции BioSPI_BSPLoad. -->

<invoke function="BioSPI_BSPLoad”>

<input name="BSPUuid” var="bspUuid"/>

<input name=”BioAPINotifyCallback" value=”*’’/> Cinput naiue="BFPEnumerationHandler” value="*"/> <input name="MemoryFreeHandler” value="*" /> Creturn setvar=”return’’/>

</invoke>

<!— Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное,

выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS".-->

<assert_condition response_if_false="undecided” break_if_f alse=" true •• >

<description>

Функция BioSPI_BSPLoad возвращает значение BioAPI_OK.

</description>

<equal_to varl=’'return” var2="__BioAPI_OK”/>

</assert_condition>

Вызов Функции BioSPI_BSPUnload. -->

<invoke function="BioSPI_BSPUnload">

<input name=’’BSPUuid” var=’'bspUuid”/>

<return setvar="return"/>

</invoke>

Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS". —> <assert_condition response_if_false="undecided" break_if_false="true">

<description>

Функция BioSPI_BSPUnload возвращает значение BioAPI_OK.

</description>

<equal_to varl="return” var2="__BioAPI_OK"/>

</as«ert_condition>

<!-- Повторный вызов функции BioSPI_BSPUnload. --> <invoke function="BioSPI_BSPUnload”>

<input name="BSPUuid" var=’'b3pUuid"/>

Creturn setvar=”return"/>

</invoke>

<!-- Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "FAIL", в противном случае выдается заключение о соответствии "PASS". --> <as sert_condition>

<dascription>

Функция BioSPI_BSPUnload возвращает значение BioAPIERR_BSP_NOT_LOADED.

</description>

<equal_to varl="return”

var2="__BioAPIERR_BSP_BSP_NOT_LOADED"/>

</assert_condition>

</activity>

</package>

8.8 Утверждение 2d BioSPI_BSPUnload_Confirm

Описание: Проверку данного утверждения проводят с целью определения факта выгрузки ПБУ при вызове функции BioSPl_BSPUnload.

Выдержки

Подпункт 9.3.1.2

BioAPi_RETURN BioAPI BioSPI_BSPUnIoad

(const Bi()API_UUlD *BSPUuid).

Данная функция деактивирует события и аннулирует регистрацию функции БиоАПИ уведомления о событиях. Модуль биометрической услуги выполняет операции очистки, отменяющие инициализацию, выполненную функцией BioSPI-BSPLoad.

Возвращаемое значение

Значение BioAPI_RETURN указывает на успешное выполнение функции или определяет тип ошибки. Значение BioAPI.OK соответствует успешному выполнению. Остальные значения определяют тип ошибки.

Ссылки: 9.3.1.2.

Порядок действий:

• 1) Вызвать функцию BioSPi_BSPLoad с достоверными значениями входных параметров. Предполагается, что вызов будет успешным.

• 2) Вызвать функцию BioSPl_BSPUnload с достоверными значениями входных параметров.

• 3) Вызвать функцию BioSPl_BSPAttach с достоверными значениями входных параметров. Предполагается возврат значения BioAPIERR_BSP_NOT_LOADED.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии "UNDECIDED".

Ожидаемые результаты: Вызов функции BioSPlJBSPAttach возвращает значение BioAPIERR_BSP_NOT_LOADED.

Пакет языка утверждения

«package name=”03daf040-0c3b-1085-a9fd-0002a5d5fd2e">

<author>

ISO/IEC JTC1 SC37

</author>

<description>

Данный пакет содержит утверждение ’’BioSPI_BSPUnload_Confirm" (см. далее элемент <description> утверждения).

</description>

«assertion name="BioSPI_BSPUnload_Confirm" modal="BSPTesting"> <description>

Проверку данного утверждения проводят с целью определения факта выгрузки ПБУ при вызове функции BioSPI_BSPUnload.

Следующий текст соответствует приведенному в 9.3.1.2 спецификации БиоАПИ 2.0

BioAPI_RETURN BioAPI BioSPI_BSPUnload (constBioAPI UUID *BSPUuid).

Данная функция деактивирует события и аннулирует регистрацию функции БиоАПИ уведомления о событиях. Модуль биометрической услуги может производить операции очистки, отменяющие инициализацию, выполненную функцией BioSPI_BSPLoad.

Возвращаемое значение

Значение BioAPI_RETURN указывает на успешное выполнение функции или определяет тип ошибки.

Значение BioAPI_OK соответствует успешному выполнению. Остальные значения определяют тип ошибки.

Порядок действий при испытании на соответствие:

• 1) Вызвать функцию BioSPI_BSPLoad с достоверными значениями входных параметров. Предполагается, что вызов будет успешным.

• 2) Вызвать функцию BioSPI_BSPUnload с достоверными значениями входных параметров.

• 3) Вызвать функцию BioSPI_BSPAttach с достоверными значениями входных параметров. Предполагается возврат значения BioAPIERR_BSP_NOT_LOADED.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии "UNDECIDED".

</description>

<!-- УУИД испытуемого ПБУ. -->

<input name=”_>_bspUuid^,,/>

<!— Вызов основного процесса данного утверждения со значениями входных параметров, определенными значениями параметров утверждения. -->

<invok® activity=”BioSPI__BSPUnload">

Cinput name="bspUuid” var="_bspUuid"/> c/invoke>

</assertion>

cactivity name="BioSPI_BSPUnload">

<input name="bspUuid"/>

<’— Вызов функции BioSPI_BSPLoad. —> cinvoke function="BioSPI_BSPLoad">

Cinput name=”BSPUuid” var=’’bspUuid"/>

Cinput name="BioAPINotifyCallback" value»"*"/> Cinput name="BFPEnumerationHandler" value="*"/> cinput name=’'MemoryFreeHandler” value»"*" /> Creturn setvar="return"/>

c/invoke>

<!-- Выдача заключения о соответствии. Если условие, определенное далее в элементе cdescription>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS".—> cassert_condition response_if_false="undecided” break_if_false="true">

Cdescription>

Функция BioSPI_BSPLoad возвращает значение BioAPI_OK.

</description>

Cequal_to varl="return" var2="__BioAPI_OK"/>

</assert_condition>

<!-- Вызвать функцию BioSPI_BSPUnload.--> cinvoke function="BioSPI_BSPUnload">

Cinput name="BSPUuid" var="bspUuid"/> creturn setvar="return"/>

</invoke>

Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS". —> <assert_condition response_if_false="undecided" break_if_false="true">

<description>

Функция BioSPI_BSPUnload возвращает значение BioAPI_OK.

</description>

<equal_to varl="return" var2="__BioAPI_OK"/>

</assert_condition>

<•-- Вызов функции BioSPI_BSPAttach для проверки выгрузки ПБУ. -->

<invoke function="BioSPI_BSPAttach">

<input name="BSPUuid" var="bspUuid'7>

Cinput name=”Version" value=”32’7>

Cinput name=’'NumUnits" value="0" />

<input name="BSPHandle” value=’’l”/>

Creturn setvar=”return’’/>

</invoke>

Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "FAIL", в противном случае выдается заключение о соответствии "PASS". --> <assert_condition>

Cdescription>

Функция BioSPI_BSPAttach возвращает значение BioAPIERR_BSP_NOT_LOADED.

</description>

<equal_to varl=’'return”

var2="__BioAPIERR_BSP_BSPJ40T_L0ADED’7>

</assert_condition>

</activity>

</package>

8.9 Утверждение За BioSPI_BSPAttach_ValidParam

Описание: Проверку данного утверждения проводят с целью определения возвращения значения BioAPI_OK при вызове функции BioSPl_BSPAttaeh с достоверными значениями входных параметров.

Выдержки

Подпункт 9.3.1.3

BioAPI_RETURN BioAPI BioSPI_BSPAnach

(const BioAPl_UUID *BSPUuid,

BioAPl_VERSiON Version,

const BioAPl_UNIT_LlST_ELEMENT *UnitList,

uinl32_t NumUnits, BioAPI_HANDLE BSPHandie).

Данная функция вызывается инфраструктурой при каждом вызове функции BioAPI_BSPAttach. Вызов функции BioAPl_BSPAttach определяет ПБУ с помощью идентификатора BSPUuid.

ПБУ должен выполнить необходимую инициализацию для вызова нового ПБУ.

Раздел А.4

Данная функция должна поддерживаться всеми типами ПБУ.

Ссылки: 9.3.1.3 и А.4.

Порядок действий:

• 1) Загрузить испытуемый ПБУ.

• 2) Присоединить испытуемый ПБУ.

• 3) Проверить возвращаемое значение вызова функции.

• 4) Отсоединить и выгрузить ПБУ.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии ’’“UNDECIDED".

Ожидаемые результаты: Вызов функции BioSPI_BSPAttQch возвращает значение BioAPI.OK.

Пакет языка утверждения

<package name=’’00ae6488-0c3d-1085-9912-0002a5d5fd2e">

<author>

ISO/IEC JTC1 SC37

</author>

<description>

Данный пакет содержит утверждение "BioSPI_BSPAttach_ValidParam" (см. далее элемент <description> утверждения).

</description>

<assertion name=’'BioSPI_BSPAttach_ValidParaxn" model="BSPTesting">

<description>

Проверка данного утверждения проводится с целью определения возвращения значения BioAPI_OK при вызове функции BioSPI_BSPAttach с достоверными значениями входных параметров.

Следующий текст соответствует приведенному в 9.3.1.3 и А.4 спецификации БиоАПИ 2.0.

BioAPI_RETURN BioAPI BioSPI_BSPAttach (const BioAPI_UUID *BSPUuid, BioAPI_VERSION Version, const BioAPI_UNIT_LIST_ELEMENT *UnitList, uint32_t NumUnits, BioAPI HANDLE BSPHandle).

Данная функция вызывается инфраструктурой при каждом вызове функции BioAPI_BSPAttach. Вызов функции BioAPI_BSPAttach определяет ПБУ с помощью идентификатора BSPUuid.

ПБУ должен выполнить необходимую инициализацию для вызова нового ПБУ.

Раздел А.4:

Данная функция должна поддерживаться всеми типами

ПБУ.

Порядок действий при испытании на соответствие:

• 1) Загрузить испытуемый ПБУ.

• 2) Присоединить испытуемый ПБУ.

• 3) Проверить возвращаемое значение вызова функции.

• 4) Отсоединить и выгрузить ПБУ.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии "UNDECIDED".

</description>

<!— УУИД испытуемого ПБУ. —>

<input narae=”_bspUuid"/>

<!— Номер версии испытуемого ПБУ. -->

<input name=’'_bspVersion"/>

<!-- Время ожидания для события BioAPI_NOTIFY_INSERT. —> <input name="_inserttinieout"/>

<!— Дескриптор модуля присоединного ПБУ. —>

<input name="_bsphandle^,'/>

<!— Вид модуля БиоАПИ. —>

Вызов основного процесса данного утверждения со значениями входных параметров, определенными значениями параметров утверждения. -->

<invoke activity="LoadAndAttach" >

<input name=’'bspUuid” var=”_bspUuid”/>

<input name=’’bspVersion" var=”_bspVersion"/> <input name="unitIDOrNull" value="0’7> Cinput name="bspHandle" var="_bsphandle"/> Cinput name="eventtimeouttime" var=”_inserttimeout’7>

</invoke>

<•— Процесс связан с функцией интерфейса обратного вызова инфраструктуры, предоставленной испытуемым компонентом ПБУ. При каждом входящем вызове функции связанный с ней процесс будет вызываться автоматически. —> <bindactivity="EventHandler"

package="02c59458-0c46-1085-95d7-0002a5d5fd2e" function="BioSPI_EventHandler”/>

</assertion>

Cactivity name="LoadAndAttach">

cinput name="bspUuid"/>

cinput naine="bspVersion’7>

Cinput name="unitIDOrNull^,7>

cinput name=''bspHandle"/>

cinput name="eventtimeouttime"/>

<’— Инициализация глобальной переменной "_unitIDOrNull" с целью сделать ее доступной для события "EventHandler". —> cset name="_unitlDOrNull" var="unitIDOrNull"/>

<!-- Инициализация глобальной переменной "_insert" значением "false". Событие "EventHandler" присваивает данной переменной значение "true", если получено уведомление о событии BioAPI_NOTIFY_INSERT, и значение "false", если получено уведомление о событии BioAPI_NOTIFY_REMOVE. --> <set narae="_insert" value="false"/>

<set name="eventtimeoutflag" value="false"/>

<•— Вызов функции BioSPI_BSPLoad. —> cinvoke function="BioSPI_BSPLoad">

<input name=’’BSPUuid" var=’’bspUuid"/>

Cinput name="BioAPINotifyCallback" value="*"/> Cinput name="BFPEnumerationHandler" value="*"/> <input name=’'MemoryFreeHandler” value=”*" /> Creturn setvar="return’’/>

</invoke>

<!-- Выдача заключения о соответствии. Если условие, определенное далее в элементе cdescription>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS". --> cassert_condition response_if_false=”undecided” break_if_false="true">

Cdescription>

Функция BioSPI_BSPLoad возвращает значение BioAPI_OK.

c/description>

Cequal_to varl="return" var2="__BioAPI_OK"/>

</assert_condi tion>

<!— Уведомление о событии BioAPI_NOTIFY_INSERT должно быть получено в течение указанной максимальной продолжительности. —>

<wait_untiltiraeout_var="eventtimeouttirae" setvar»"eventtimeoutflag" var="_insert"/>

Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED", и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS". —> <assert_condition response_if_false="undecided" break_if_false="true">

<description>

Уведомление о событии BioAPI_NOTIFY_INSERT получено в течение указанной максимальной продолжительности.

</description>

<not var="eventtimeoutflag"/> </assert_condition>

<!-- Вызов функции BioSPI_BSPAttach. --> cinvoke function="BioSPI_BSPAttach">

<input name="BSPUuid" var=’'bspUuid'*/>

Cinput name=”Version" var=”bspVersion’’/>

Cinput name="Unit_l_UnitCategory" var="_unitCategory" />

Cinput name="Unit_l_UnitID" var="_unitID"/>

<input name="NumUnits" value»"!" />

Cinput name="BSPHandle” var="bspHandle"/>

Creturn setvar=’^,return^,’/>

</invoke>

<!-- Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "FAIL" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS". --> «asaert-Condition break_if_false="true">

Cdescription>

Функция BioSPI_BSPAttach возвращает значение

BioAPIjDK.

</description>

<equal_to varl=’'return’’ var2="__BioAPI_OK"/>

</assert_condition>

<•— Вызов функции BioSPI_BSPDetach и BioSPI_BSPUnload. —>

<invoke activity="DetachAndUnload" package="02c59458-0c46-1085-95d7-0002a5d5fd2e"> <input name=’’bspUuid” var=’’bspUuid”/> <input name="BSPHandle" var=’'bspHandle"/>

</invoke>

</activity>

</package>

8.10 Утверждение 3b BioSPl_BSPAttachJnvalidUUID

Описание: Проверку данного утверждения проводят с целью определения возвращения значения BioAPIERR_lNVALID_UUID при вызове функции BioSPI_BSPAttach с недостоверным значением входного параметра УУИД.

Выдержки

Подпункт 9.3.1.3

BioAPf_RETURN BioAPI BioSPl_BSPAttach

(const BioAPl_UUlD *BSPUuid,

BioAPl_VERSlON Version,

const BioAPI_VNIT_LIST_ELEM ENT *UnilList,

uinl32_t NumUnits,

BioAPIJiANDLE BSPHandle).

Данная функция вызывается инфраструктурой при каждом вызове функции BioAPl_BSPAttach. Вызов функции BioAPI_BSPAtlach определяет ПБУ с помощью идентификатора BSPUuid.

Параметры: BSPUuid (входной параметр) - BioAPI_UUID вызванного модуля ПБУ.

Подпункт П.2.3

Ошибки: BioAPIERR_INVALID_UUID

Ссылки: 9.3.1.3 и 11.2.3.

Порядок действий:

• 1) Загрузить испытуемый ПБУ.

• 2) Присоединить испытуемый ПБУ с предоставлением недостоверного УУИД.

• 3) Проверить возвращаемое значение вызова функции.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии "UNDECIDED".

Ожидаемые результаты: Вызов функции BioSPI_BSPAtiach возвращает значение BioAPIERR_INVALID_UUID.

Пакет языка утверждения

<package name=”049ccl70-0c5f-1085-981f-0002a5d5fd2e">

<author>

ISO/IEC JTC1 SC37

</author>

<description>

Данный пакет содержит утверждение "BioSPI_BSPAttach_InvalidUUID" (см. далее элемент <description> утверждения).

</description>

<assertion name=''BioSPI_BSPAttach_InvalidUUID" model="BSPTesting">

<description>

Проверку данного утверждения проводят с целью определения возвращения значения BioAPIERR_INVALID_UUID при вызове функции BioSPI_BSPAttach с недостоверным значением входного параметра УУИД.

Следующий текст соответствует приведенному в 9.3.1.3 и 11.2.3 спецификации БиоАПИ 2.0.

BioAPI_RETURN BioAPI BioSPI_BSPAttach (const BioAPI_UUID *BSPUuid, BioAPI_VERSION Version, const BioAPI_UNIT_LIST_ELEMENT *UnitList, uint32_t NumUnits, BioAPI_HANDLE BSPHandle).

Данная функция вызывается инфраструктурой при каждом вызове функции BioAPI_BSPAttach. Вызов функции BioAPI_BSPAttach определяет ПБУ с помощью идентификатора BSPUuid.

Подпункт 9.3.1.3:

Параметры: BSPUuid (входной параметр) -BioAPI_UUID вызванного модуля ПБУ.

Пункт 11.2.3:

Ошибки: BioAPIERR INVALID UUID

Порядок действий при испытании на соответствие:

• 1) Загрузить испытуемый ПБУ.

• 2) Присоединить испытуемый ПБУ

с предоставлением недостоверного УУИД.

• 3) Проверить возвращаемое значение вызова функции.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии "UNDECIDED".

</description>

<!— УУИД испытуемого ПБУ. —>

<input name=”_bspUuid”/>

<’— Номер версии испытуемого ПБУ. -->

<input name=’’_bspV6rsion'’/>

Время ожидания для события Timeout для

BioAPI_NOTIFY_INSERT. —>

<input name="_inserttimeout"/>

С!— Дескриптор модуля присоединенного ПБУ. —> Cinput name=”_bsphandle^l’/>

<’— Вызов основного процесса данного утверждения со значениями входных параметров, определенными значениями параметров утверждения. -->

Cinvoke activity=”LoadAndAttach" >

Cinput name="bspUuid" var="_bspUuid"/> cinput name="bspVersion" var="_bspV6rsion"/> Cinput name="unitIDOrNull" value="0"/> cinput name="bspHandle" var="_bsphandle"/> cinput name="eventtimeouttime" var="_inserttimeout"/>

c/invoke>

<!-- Процесс связан с функцией интерфейса обратного вызова инфраструктуры, предоставленной испытуемым компонентом ПБУ. При каждом входящем вызове функции связанный с ней процесс будет вызываться автоматически. -->

cbindactivity="EventHandler" package="02c59458-0c46-1085-95d7-0002a5d5fd2e" function="BioSPI_EventHandler"/>

c/assertion>

Cactivity name="LoadAndAttach">

Cinput name="bspUuid”/>

cinput name="bspVersion"/>

<input name="unitID0rNull’7>

Cinput name="bspHandle’7>

•«input name="eventtimeouttime"/>

<!-- Инициализировать глобальную переменную "_unitIDOrNull" с целью сделать ее доступной для события "EventHandler". —>

<set narae="_unitIDOrNull" var="unitIDOrNull"/>

<!-- Инициализировать глобальную переменную "_insert" с помощью значениея "false". Событие "EventHandler" присваивает данной переменной значение "true" после получения уведомления о событии BioAPI_NOTIFY_INSERT и значение "false" после получения уведомления о событии BioAPI_NOTIFY_REMOVE. —>

<8еt narae="_insert" value="false"/>

<set name=”eventtimeoutflag" value»"false"/>

<’— Вызов функции BioSPI_BSPLoad. —>

<invoke function="BioSPI_BSPLoad">

<input name="BS₽Uuid" var=’’bspUuid’7>

<input name="BioAPINotifyCallback" value»"*"/> <input name="BFPEnumerationHandler" value="*"/> <input name=’'MemoryFreeHandler" value»”*" /> <return setvar="return"/>

</invoke>

<!-- Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS". --> <assert_condition response_if_false="undecided" break_if_false="true">

<description>

Функция BioSPI_BSPLoad возвращает значение BioAPIjDK.

</description>

<equal_to varl="return" var2="__BioAPI_OK"/>

</assert_condition>

Уведомление о событии BioAPI_NOTIFY_INSERT не должно быть получено в течение указанной максимальной продолжительности.-->

<wait_until tiraeout_var="eventtiraeouttirae" setvar="eventtimeoutflag" var="_insert"/>

<!— Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS". --> <assert_condi tion response_if_false="undecided" break_if_false="true">

<description>

Уведомление о событии BioAPI_NOTIFY_INSERT получено в пределах указанной максимальной продолжительности.

</description>

<not var="eventtimeoutflag"/>

</assert_condition>

<•— Вызов функции BioSPI_BSPAttach с недостоверным УУИД. —> <invoke function="BioSPI_BSPAttach">

Cinput name="BSPUuid” value="00000000-0000-0000-0000-000000000000"/> <input name="Version" var=’'bspVersion"/>

<input name="Unit_l_UnitCategory" var="_unitCategory" /> cinput name="Unit_l_UnitID” var="_unitID”/>

cinput name="NumUnits” value®"!" />

Cinput name='*BSPHandle” var="bspHandle"/>

Creturn setvar="return"/>

</invoke>

<!— Выдача заключения о соответствии. Если условие, определенное далее в элементе cdescription>, ложное, выдается заключение о соответствии "FAIL", в противном случае выдается заключение о соответствии "PASS". --> < а з s е гt_condi tion>

Cdescription>

Функция BioSPI_BSPAttach возвращает значение BioAPIERR_INVALID_UUID.

c/description>

<equal_to varl="return"

var2="__BioAPIERR_BSP_INVALID_UUID"/>

</assert_condition>

<!-- Вызов функции BioSPI_BSPUnload. -->

<invoke function=’’BioSPI_BSPUnload" >

Cinput name=”BSPUuid” var=’'bspUuid” />

Creturn setvar=’^,return'7>

</invoke>

С’-- Выдача заключения о соответствии. Если условие, определенное далее в элементе cdescription>, ложное, выдается заключение о соответствии "UNDECIDED", в противном случае выдается заключение о соответствии "PASS". —>

<assert_cond.ition response_if_false="undecided" break_if_f alse=" true •• >

<description>

Функция BioSPI_BSPUnload возвращает значение BioAPI_OK.

</description>

<equal_to varl="return” var2="__BioAPI_OK’7>

C/assert condition>

</activity>

</package>

8.11 Утверждение Зе BioSPI_BSPAttach_InvalidVersion

Описание: Проверку данного утверждения проводят с целью определения возвращения значения BioAPlERR_INCOMPATIBLE_VERSION при вызове функции BioSPl_BSPAttach с несовместимым значением версии.

Выдержки

Подпункт 93.1.3

BioAPl_RETURN BioAPI BioSPl_BSPAttach

(const BioAPl_UUlD *BSPUuid,

BioAPl_VERSION Version,

const BioAPI_VNIT_LIST_ELEM ENT *UnitList,

uinl32_lNumUnits,

BioAPI_HANDLEBSPHandle).

ПБУ должен подтвердить соответствие номеру версии, определенному значением параметра Version. Если версии несовместимы, то выполнение функции завершится неудачно.

Параметры: Version (входной параметр) - основной и дополнительный номера версии спецификации БиоАПИ, который по требованию приложения должен поддерживаться ПБУ. ПБУ должен определить, совместим ли он с требуемой версией.

Подпункт 11.2.3

Ошибки: BioAPIERR_INCOMPATIBLE_VERSION

Ссылки: 9.3.1.3 и 11.2.3.

Порядок действий:

• 1) Загрузить испытуемый ПБУ.

• 2) Присоединить испытуемый ПБУ с недействительным номером версии.

• 3) Проверить возвращаемое значение вызова функции.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии ’’UNDECIDED”.

Ожидаемые результаты: Вызов функции BioSPI_BSPAttach возвращает значение BioAPIERR_INCOMPATIBLE_VERSION.

Пакет языка утверждения

<package name=’’0052acl0-0c60-1085-9883-0002a5d5fd2e^,’>

<author>

ISO/IEC JTC1 SC37

</author>

<description>

Данный пакет содержит утверждение "BioSPI_BSPAttach_InvalidVersion" (см. далее элемент <description> утверждения).

</description>

<assertion name=''BioSPI_BSPAttach_InvalidVersion" model="BSPTesting">

<description>

Проверку данного утверждения проводят с целью определения возвращения значения BioAPIERR_INCCMPATIBLE_ VERSION при вызове функции BioSPI_BSPAttach с несовместимым значением версии.

Следующий текст соттветствует приведенному в 9.3.1.3 и 11.2.3 спецификации БиоАПИ 2.0.

BioAPI_RETURN BioAPI BioSPI_BSPAttach (const BioAPI_UUID *BSPUuid, BioAPI_VERSION Version, const BioAPl_UNIT_LIST_ELEMENT *UnitList, uint32_tNumUnits, BioAPI_HANDLEBSPHandle).

ПБУ должен подтвердить соответствие номеру версии, определенному значением параметра Version. Если версии несовместимы, то выполнение функции завершится неуспешно.

Подпункт 9.3.1.3:

Параметры: Version (входной параметр) - основной и дополнительный номера версии спецификации БиоАПИ, который по требование приложения должен поддерживаться ПБУ. ПБУ должен определить, совместим ли он с требуемой версией.

Пункт 11.2.3

Ошибки: BioAPIERR INCOMPATIBLE VERSION

Порядок действий при испытании на соответствие:

• 1) Загрузить испытуемый ПБУ.

• 2) Присоединить испытуемый ПБУ с недействительным номером версии.

• 3) Проверить возвращаемое значение вызова функции.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии

"UNDECIDED".

</description>

УУИД испытуемого ПБУ. -->

<input name="_bspUuid"/>

<!-- Время ожидания для события BioAPI_NOTIFY_INSERT. -->

<input narae="__inserttiineout"/>

Дескриптор модуля присоединенного ПБУ. -->

<input name="_bsphandle"/>

<!-- Вызов основного процесса данного утверждения со значениями входных параметров/ определенными значениями параметров утверждения. -->

<invoke activity="LoadAndAttach" >

<input name="bspUuid" var="_bspUuid"/> <input name="unitIDOrNull" value="0”/> <input name=’'bspHandle" var="_bsphandle"/> <input name="evanttimeouttime" var=”_inserttimeout”/>

</invoke>

<!— Процесс связан с функцией интерфейса обратного вызова инфраструктуры, предоставленной испытуемым компонентом ПБУ. При каждом входящем вызове функции связанный с ней процесс будет вызываться автоматически. —> <bind activity="EventHandler”

package="02c59458-0c46-1085-95d7-0002a5d5fd2e" function»”BioSPI_EventHandler”/>

</assertion>

<activity name="LoadAndAttach">

<input name="bspUuid"/>

<input name="unitIDOrNull"/>

Cinput name="bspHandle"/>

<input narae="eventtiraeouttirae"/>

<•— Инициализация глобальной переменной ⁿ_unitIDOrNull" с целью сделать ее доступной для процесса "EventHandler". —> <set name="_unitIDOrNull" var="unitIDOrNull"/>

<!— Инициализация глобальной переменной "_insert" значением "false". Событие "EventHandler" присваивает данной переменной значение "true" после получения уведомления о событии BioAPI_NOTIFY_INSERT и значение "false" после получения уведомления о событии BioAPI_ NOTIFY—REMOVE. —>

<set name=" insert" value="false"/>

<set name="eventtimeoutflag" value="false"/>

<!-- Вызов функции BioSPI_BSPLoad. -->

<invoke function="BioSPI_BSPLoad">

<input name="BSPUuid" var="bspUuid”/>

<input name="BioAPINotifyCallback" value=”*"/> <input name="BFPEnumerationHandler” value="*"/> Cinput name="MemoryFreeHandler” value="*" /> <return setvar="return"/>

</invoke>

<!— Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS". --> <assert_condition response_if_false="undecided" break_if_false="true">

<description>

Функция BioSPI_BSPLoad возвращает значение BioAPI_OK.

</description>

<equal_to varl="return" var2="__BioAPI_OK"/>

</assert_condition>

<!— Уведомление о событии BioAPI_NOTIFY_INSERT должно быть получено в течение указанной максимальной продолжительности.-->

<wait_until timeout_var="eventtimeouttime" setvar="eventtimeoutflag" var="_insert"/>

<!-- Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED" и

выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS". --> <assert_condition response_if_false="undecided" break_if_false="true">

<description>

Уведомление о событии BioAPI_NOTIFY_INSERT получено в пределах указанной максимальной продолжительности.

</description>

<not var=”eventtimeoutflag”/>

</assert_condition>

Вызов функции BioSPI_BSPAttach с недействительным номером версии. —>

•«invoke function=^,'BioSPI_BSPAttach^,'>

<input name="BSPUuid” var=’’bspUuid’’/>

<input name=’^,Version" value="l’’/>

<input name="Unit_l_UnitCategory” var="_unitCategory" />

<input name="Unit_l_UnitID" var="_unitID"/>

<input name="NumUnits" value»”!” />

<input name="BSPHandle” var="bspHandle"/> Creturn setvar="return"/>

</invoke>

<!— Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "FAIL", в противном случае выдается заключение о соответствии "PASS". --> <as3ert_condition>

<description>

Функция BioSPI_BSPAttach возвращает значение BioAPIERR_INCOMPATIBLE_VERSION.

</description>

<equal_to varl="return"

var2="__BioAPIERR_BSP_INCOMPATIBLE_VERSION"/>

</assert_condition>

<•-- Вызов функции BioSPI_BSPUnload. -->

<invoke function="BioSPI_BSPUnload" >

<input name=”BSPUuid” var=’'bspUuid’' />

Creturn setvar=’^,return'7>

</invoke>

<!-- Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED", в противном случае выдается заключение о соответствии "PASS". —> <assert_condition response_if_false="undecided” break_if_f alse=" true •' >

<description>

Функция BioSPI_BSPUnload возвращает значение BioAPI_OK.

</description>

<equal_to varl="return" var2="__BioAPI_OK’7>

</assert_condition>

</activity>

</package>

8.12 Утверждение 3d BioSPl_BSPAttach_lnvalidBSPHandle

Описание: Проверку данного утверждения проводят с целью определения возвращения сообщения об ошибке при вызове функции SPl_BSPAttach с недействительным дескриптором ПБУ.

Выдержки

Подпункт 9.3.1.3

BioAPI_RETURN BioAPI BioSPl_BSPAttach

(const BioAPIJJUlD *BSPUuid,

BioAPi_VERSlON Version.

const BioAPl_UNlT_LIST_ELEMENT *UnilLisf_t

uini32_i NumUnits,

BioAPI_HANDLE BSPHandie).

Данная функция вызывается инфраструктурой при каждом вызове функции BioAPI_BSPAttach. Вызов функции BioAPl_BSPAttach определяет ПБУ с помощью идентификатора BSPUuid.

Параметр BSPHandie (входной параметр) - значение BioAPl_HANDLE, присвоенное инфраструктурой и связанное с сессией присоединения, создаваемой данной функцией.

Ссылки: 9.3.13.

Порядок действий:

• 1) Загрузить испытуемый ПБУ.

• 2) Присоединить испытуемый ПБУ с помощью недействительного дескриптора ПБУ.

• 3) Проверить возвращаемое значение вызова функции.

• 4) Выгрузить испытуемый ПБУ.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии "UNDECIDED”.

Ожидаемые результаты: Вызов функции BioSPi_BSPAtiach возвращает значение BioAPIERR_INVALID_BSP_HANDLE.

Пакет языка утверждения

<package name=’^,0382€830-0c57-1085-bfb0-0002a5d5fd2e^,’>

<author>

ISO/IEC JTC1 SC37

</author>

<description>

Данный пакет содержит утверждение "BioSPI_BSPAttach_InvalidModuleHandle" (см. далее элемент <description> утверждения).

</description>

<assertion name=''BioSPI_BSPAttach_InvalidBSPHandle" mode1="BSPTes ting">

<description>

Проверку данного утверждения проводят с целью определения возвращения сообщения об ошибке при вызове функции SPI_BSPAttach с недействительным дескриптором ПБУ.

Следующий текст соответствует приведенному в 9.3.1.3 спецификации БиоАПИ 2.0.

BioAPI_RETURN BioAPI BioSPI_BSPAttach

(const BioAPI_UUID *BSPUuid, BioAPI_VERSION Version, const BioAPI_UNIT_LIST_ELEMENT *UnitList, uint32_t NumUnits,

BioAPI_HANDLE BSPHandle).

Данная функция вызывается инфраструктурой при каждом вызове функции BioAPI_BSPAttach. Вызов функции BioAPI_BSPAttach определяет ПБУ с помощью идентификатора BSPUuid.

Подпункт 9.3.1.3.2:

Параметры: BSPHandle (входной параметр) - значение BioAPI_HANDLE, присвоенное инфраструктурой и связанное с сессией присоединения, создаваемой данной функцией.

Примечание - В настоящее время в описании функции BioAPI_BSPAttach содержится только указание на необходимость наличия специального значения, соответствующего недействительному значению дескриптора ПБУ (см. 8.1.7.2):

NewBSPHandle (выходной параметр) - новый дескриптор, который может использоваться для взаимодействия с запрашиваемым ПБУ. Если выполнение функции заканчивается ошибкой, будет установлено значение BioAPIERR FRAMEWORK INVALID BSP HANDLE.

Название BioAPIERR_FRAMEWORK_INVALID_BSP_HANDLE означает ошибку БиоАПИ и не может быть использовано в качестве дескриптора.

Кроме того, значение BioAPIERR_FRAMEWORK_INVALID_ BSP_HANDLE не определено.

Настоящее утверждение использует 0 в качестве недействительного дескриптора ПБУ.

Предполагается, что в поправках к настоящему стандарту данная проблема будет решена.

Порядок действий при испытании на соответствие:

• 1) Загрузить испытуемый ПБУ.

• 2) Присоединить испытуемый ПБУ с помощью недостоверного дескриптора ПБУ.

• 3) Проварить возвращаемое значение вызова функции.

• 4) Выгрузить испытуемый ПБУ.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии "UNDECIDED".

</description>

<!-- УУИД испытуемого ПБУ. —>

<input name="__bspUuid"/>

<!-- Номер версии испытуемого ПБУ. -->

<input nama="__bspVersion"/>

<!— Время ожидания для события BioAPI_NOTIFY_INSERT. —>

<input name="_inserttimeout"/>

<•-- Вызов основного процесса данного утверждения со значениями входных параметров, определенными значениями параметров утверждения. -->

<invoke activity=”LoadAndAttach" >

<input name="bspUuid” var="_bspUuid"/>

<input name="bspVersion" var="_bspVersion"/> <input name="unitIDOrNull” value="0"/>

<input name="eventtimeouttime" var="_inserttimeout”/>

</invoke>

<•— Процесс связан с функцией интерфейса обратного вызова инфраструктуры, предоставленной испытуемым компонентом ПБУ. При каждом входящем вызове функции связанный с ней процесс будет вызываться автоматически. -->

<bind activity="EventHandler" package="02c59458-0c46-1085-95d7-0002a5d5fd2e" function^"BioSPI_EventHandler”/>

</assertion>

<activity names"LoadAndAttach">

<input name="bspUuid"/>

<input name="bspVersion"/>

<input name="unitIDOrNull"/>

<input name='*eventtimeouttime’*/>

<’— Инициализация глобальной переменной "_unitIDOrNull" с целью сделать ее доступной для события "EventHandler". —> <set name="_unitIDOrNull" var="unitIDOrNull"/>

<!— Присвоение глобальной переменной "_insert" значения "false". Событие "EventHandler" присваивает данной

переменной значение "true", после получения уведомления о событии BioAPI_NOTIFY_INSERT и значение "false" после получения уведомления о событии BioAPI_NOTIFY_REMOVE. --> <set narae="_insert" value»"false"/>

<set narae="eventtiraeoutflag" value»"false"/>

<•— Вызов функции BioSPI_BSPLoad. —> cinvoke function="BioSPI_BSPLoad">

<input name=’’BSPUuid" var="bspUuid"/>

Cinput name="BioAPINotifyCallback" value»"*"/> Cinput name="BFPEnumerationHandler" value="*"/> <input name=’'MemoryFreeHandler” value»"*" /> Creturn setvar="return"/>

</invoke>

<!-- Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS". --> cassert_condition response_if_false="undecided” break_if_false="true">

Cdescription>

Функция BioSPI_BSPLoad возвращает значение BioAPI_OK.

c/description>

Cequal_to varl="return" var2="__BioAPI_OK"/>

</assert_condi tion>

<!— Уведомление о событии BioAPI_NOTIFY_INSERT должно быть получено в пределах указанной максимальной продолжительности. —>

<wait_until timeout_var="eventtimeouttime"

setvar»’^,eventtimeoutflag" var="_insert"/>

Выдача заключения о соответствии. Если условие, определенное далее в элементе cdescription>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS". —> <assert_condition response_if_false="undecided" break_if_false="true">

Cdescription>

Уведомление о событии BioAPI_NOTIFY_INSERT получено в течение указанной максимальной продолжительности.

C/description>

<not var="eventtimeoutflag"/> c/assert_condition>

<!-- Вызов функции BioSPI_BSPAttach с недействительным значением входного парметра "BSPHandle". -->

<invoke function="BioSPI_BSPAttach">

Cinput name="BSPUuid" var="bspUuid’7>

Cinput name=’'Version" var=’'bspVersion’7>

<input name="Unit_l_Unitcategory" var="__unitCategory" />

<input name="Unit_l_UnitID" var=”_unitID'7>

Cinput name=’^,NumUnits” value=”l" />

cinput name="BSPHandle" value="0’7>

Creturn S6tvar="raturn'7>

</invoke>

<!-- Выдача заключения о соответствии. Если условие, определенное далее в элементе cdescription>, ложное, выдается заключение о соответствии "UNDECIDED", в противном случае выдается заключение о соответствии "PASS". --> с a s 8 е г t_condi ti on>

Cdescription>

Функция BioSPI_BSPAttach возвращает значение BioAPIERR_INVALID_BSP_HANDLE.

</description>

<equal_to varl=’'return’’ var2="__BioAPIERR_BSP_INVALID_BSP_HANDLEⁿ/>

</assert_condition>

<’— Вызов функции BioSPI_BSPUnload. —>

<invoke function="BioSPI_BSPUnload" >

<input name=”BSPUuid” var=’’bspUuid” />

<return setvar=”return"/>

</invoke>

<•— Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED", в противном случае выдается заключение о соответствии "PASS". --> <assert_condi tion response_if_false="undecided" break_if_false="true">

<description>

Функция BioSPI_BSPUnload возвращает значение BioAPI_OK.

</description>

<equal_to varl="return" var2=”__BioAPI_OK’7>

</assert_condition>

</activity>

</package>

8.13 Утверждение 4a BioSPI_BSPDetach_ValidParam

Описание: Проверку данного утверждения проводят с целью определения возвращения значения BioAPI_OK при вызове функции BioSPlJBSPDetach с достоверным дескриптором модуля.

Выдержки

Подпункт 9.3.1.4

BioAPI_RETURN BioAPI BioSPl_BSPDetach

(BioAPi_HANDLE BSPHandle).

Данная функция вызывается БиоАПИ при каждом вызове функции BioAP!_BSPDetach, устанавливающей сессию присоединения, определенную значением параметра BSPHandle. ПБУ должен выполнить все операции по очистке памяти, связанные с указанным дескриптором присоединения.

Раздел А.4

Данная функция должна поддерживаться всеми типами ПБУ.

Ссылки: 9.3.1.4 и А.4.

Порядок действий:

• 1) Загрузить испытуемый ПБУ.

• 2) Присоединить испытуемый ПБУ.

• 3) Отсоединить испытуемый ПБУ с помощью дескриптора модуля.

• 4) Проверить возвращаемое значение.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии "UNDECIDED".

Ожидаемые результаты: Вызов функции BioSP!_BSPDetach возвращает значение BioAPI_OK.

Пакет языка утверждения

<package name="00e0d2b0-0c7a-1085-b8ac-0002a5d5fd2e'’>

<author>

ISO/IEC JTC1 SC37

</author>

<description>

Данный пакет содержит утверждение "BioSPI_BSPDetach_ValidParam" (см. далее элемент <description> утверждения).

</description>

<assertion name=''BioSPI_BSPDetach__ValidParam"

mode1="BSPTes ting">

<description>

Проверку данного утверждения провводят с целью определения возвращения значения BioAPI_OK при вызове функции BioSPI_BSPDetach с достоверным дескриптором модуля.

Следующий текст соответствует приведенному в 9.3.1.4 спецификации БиоАПИ 2.0.

BioAPI_RETURN BioAPI BioSPI_BSPDetach (BioAPI-HANDLEBSPHandle).

Данная функция вызывается БиоАПИ при каждом вызове функции BioAPI_BSPDetach, устанавливающей сессию присоединения, определенную значением параметра BSPHandle. ПБУ должен выполнить все операции по очистке памяти, связанные с указанным дескриптором присоединения.

Раздел А.4

Данная функция должна поддерживаться всеми типами

ПБУ.

Порядок действий при испытании на соответствие:

• 1) Загрузить испытуемый ПБУ.

• 2) Присоединить испытуемый ПБУ.

• 3) Отсоединить испытуемый ПБУ с помощью дескриптора модуля.

• 4) Проверить возвращаемое значение.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии "UNDECIDED".

</description>

<•— УУИД испытуемого ПБУ.—>

<input name="_bspUuid"/>

<!-- Время ожидания для события BioAPI_NOTIFY__INSERT. --> •«input narae="__inserttiraeout"/>

<•— Модуль дескриптора для ПБУ. —>

■«input name="_bsphandle^,7>

<!— Вызов основного процесса данного утверждения со значениями входных параметров, определенными значениями параметров утверждения. -->

«invoke activity="LoadAndAttachAndDetach" > «input name=’'bspUuid" var="_bspUuid"/> «input name="unitIDOrNull" value="0"/> «input name=''bspHandle" var="_bsphandle'7> «input name="eventtimeouttime” var="_inserttimeout'7>

</invoke>

<•— Процесс связан с функцией интерфейса обратного вызова инфраструктуры, предоставленной испытуемым компонентом ПБУ. При каждом входящем вызове функции связанный с ней процесс будет вызываться автоматически. -->

«bind activity="EventHandler" package="02c59458-0c46-1085-95d7-0002a5d5fd2e" function="BioSPI_EventHandler"/>

</assertion>

«activity name="LoadAndAttachAndDetach”>

«input name="bspUuid^<'/>

«input name="unitIDOrNull’7>

«input name=”bspHandle*'/>

«input name="®venttimeouttime'7>

<•— Вызов функций BioSPI_BSPLoad и BioSPI_BSPAttach, предоставленных испытуемым ПБУ. --> cinvoke activity=’'LoadAndAttach"

package="02c59458-0c46-1085-95d7-0002a5d5fd2e" braak_on_break="true">

<input name=’^,bspUuid” var=”bspUuid”/>

<input name=’'bspVersion" value='’32'’/>

Cinput name=’’unitIDOrNull’’ var="unitIDOrNull"/> Cinput name="bspHandle” var="b3pHandle"/>

Cinput name=”eventtimeouttime” var="aventtimeouttime”/>

</invoke>

<!— Вызов функции BioSPI_BSPDetach. --> <invoke function="BioSPI_BSPDetach’’>

Cinput name="BSPHandle" var="bspHandle"/>

Creturn setvar='’return"/>

</invoke>

<!-- Выдача заключения о соответствии. Если условие, определенное далее в элементе cdescription>, ложное, выдается заключение о соответствии "FAIL", в противном случае выдается заключение о соответствии "PASS". —> <assert_condition>

Cdescription>

Функция BioSPI_BSPDetach возвращает значение BioAPI_OK.

</description>

Cequal_to varl="return" var2=”__BioAPI_OK"/>

</assort_condi tion>

с!-- Вызов функции BioSPI_BSPUnload. -->

Cinvoke function="BioSPI_BSPUnload" >

cinput name="BSPUuid" var=’'b3pUuid"/>

creturn setvar=”return"/>

</invoke>

<•-- Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS". --> <assert_condition response_if_false="undecided" break_if_false="true">

<description>

Функция BioSPI_BSPUnload возвращает значение BioAPI_OK.

</description>

<equal_to varl="return" var2="__BioAPI_0K'7>

</assert_condition>

</activity>

</package>

8.14 Утверждение 4b BioSPI_BSPDetach_InvalidBSPHandle

Описание: Проверку данного утверждения проводят с целью определения возвращения сообщения об ошибке при вызове функции BioSPI'JBSPDetach с недостоверным дескриптором модуля.

Выдержки

Подпункт 9.3.1.4

BioAPI_RETURN BioAPI BioSPI_BSPDetach

(BioAPlJiANDLE BSPHandie).

Данная функция вызывается БиоАПИ при каждом вызове функции BioAPI_BSPDetach, устанавливающей сессию присоединения, определенную значением параметра BSPHandie.

BSPHandie (входной параметр) - дескриптор, относящийся к сессии присоединения, завершаемой данной функцией.

Подпункт 8.1.8.1

Данную функцию следует вызывать только после вызова функции BioAPI_BSPAnach не более одного раза для одного и того же дескриптора ПБУ, созданного путем вызова функции BioAP!_BSPAtlach.

Ссылки: 9.3.1.4 и 8.1.8.1.

Порядок действий:

• 1) Загрузить испытуемый ПБУ.

• 2) Присоединить испытуемый ПБУ.

• 3) Отсоединить испытуемый ПБУ с помощью недействительного дескриптора модуля.

• 4) Проверить возвращаемое значение вызова функции.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии ’’UNDECIDED’’.

Ожидаемые результаты: Вызов функции BioSPl_BSPDetach возвращает значение BioAPIERR_INVALID_BSP_HANDLE.

Пакет языка утверждения

<package name="0434c458-0c79-1085-9f2c-0002a5d5fd2e">

<author>

ISO/IEC JTC1 SC37

</author>

<description>

Данный пакет содержит утверждение "BioSPI_BSPDetach_ InvalidModuleHandle" (см. далее элемент <description> утверждения).

</description>

<assertion name=''BioSPI_BSPDetach_InvalidBSPHandle" model="BSPTesting">

<description>

Проверку данного утверждения проводят с целью определения возвращения сообщения об ошибке

при вызове функции BioSPI_BSPDetach с недостоверным дескриптором модуля.

Следующий текст соответствует приведенному в 9.3.1.4 и 8.1.8.1 спецификации БиоАПИ 2.0.

BioAPI_RETURN BioAPI BioSPI_BSPDetach (BioAPI_HANDLE BSPHandle).

Данная функция вызывается БиоАПИ при каждом вызове функции BioAPI_BSPDetach, устанавливающей сессию присоединения, определенную значением параметра BSPHandle.

Подпункт 8.1.8.1:

Данную функцию следует вызывать только после вызова функции BioAPI_BSPAttach не более одного раза для одного и того же дескриптора ПБУ, созданного с помощью вызова функции BioAPI BSPAttach.

Подпункт 9.3.1.4:

BSPHandle (входной параметр) - дескриптор, относящийся к сессии присоединения, завершаемой данной функцией.

Порядок действий при испытании на соответствие:

• 1) Загрузить испытуемый ПБУ.

• 2) Присоединить испытуемый ПБУ.

• 3) Отсоединить испытуемый ПБУ с помощью недостоверного дескриптора модуля.

• 4) Проверить возвращаемое значение вызова функции.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии "UNDECIDED".

</description>

<•-- УУИД испытуемого ПБУ. -->

<input name=’'_bspUuid’7>

<•-- Время ожидания для события BioAPI_NOTIFY_INSERT. --> <input name=’’_inserttimeout"/>

<!— Модуль дескриптора для присоединенного ПБУ. --> <input name=”_bsphandle’7>

<?-- Вызов основного процесса данного утверждения со значениями входных параметров, определенными значениями параметров утверждения. -->

<invoke activity="LoadAndAttachAndDetach" >

<input name="bspUuid” var="_bspUuid"/>

<input name="unitIDOrNull" value="0’7>

<input name="bsphandle” var="_bsphandle"/>

<input name="eventtimeouttime” var=’^,_inserttimeout’7>

</invoke>

<!— Процесс связан с функцией интерфейса обратного вызова инфраструктуры, предоставленной испытуемым компонентом ПБУ. При каждом входящем вызове функции связанный с ней процесс будет вызываться автоматически. —>

<bind activity=^,'EventHandler’’ package="02c59458-0c46-1085-95d7-0002a5d5fd2e" function®”BioS₽I_EventHandler”/>

</assertion>

<activity name="LoadAndAttachAndDetach">

<input name="bspUuid"/>

<input name="unitIDOrNull"/>

<input name=^,’bsphandle‘7>

<input narae=”eventtiraeouttime'7>

<!— Вызов функций BioSPI_BSPLoad и BioSPI_BSPAttach, предоставленных испытуемым ПБУ. --> cinvoke activity="LoadAndAttach"

package="02c59458-0c46-1085-95d7-0002a5d5fd2e" break_on_break="true">

<input name=’^,bspUuid” var=”bspUuid”/>

<input name=’'bspVersion’’ value=”32”/>

Cinput name="unitIDOrNull" var=^,,unitIDOrNull’’/>

Cinput name="bspHandle** var="bsphandle"/>

Cinput name=”eventtimeouttime” var="aventtimeouttime”/>

</invoke>

<!— Вызов функции BioSPI_BSPDetach с недействительным значением дескриптора модуля. -->

<invoke function»"BioSPI_BSPDetach">

Cinput name="BSPHandle" value="0"/>

Creturn setvar=’^,return"/>

</invoke>

<•— Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "FAIL", в противном случае выдается заключение о соответствии "PASS". —> <assert_condition>

Cdescription>

Функция BioSPI_BSPDetach возвращает значение BioAPIERR_INVALID_BSP_HANDLE.

C/description>

<equal_to varl="return"

var2="__BioAPIERR_BSP_INVALID_BSP_HANDLE"/>

</assert_condition>

<!— Вызов функций BioSPI BSPDetach и BioSPI BSPUnload. —>

<invoke activity="DetachAndUnload" package="02c59458-0c46-1085-95d7-0002a5d5fd2e"> <input name=’'bspUuid” var=’'bspUuid" />

<input name="BSPHandle" var="bsphandle” />

</invoke>

</activity>

</package>

8.15 Утверждение 4c BioSPI_BSPDetach_Confirm

Описание: Проверку данного утверждения проводят с целью определения завершения сессии присоединения при вызове функции BioSP!_BSPDetach.

Выдержки

Подпункт 9.3.1.4

BioAPl_RETURN BioAPI BioSPl_BSPDetach

(BioAPl_HANDLE BSPHondle).

Данная функция вызывается БиоАПИ при каждом вызове функции Bio-AP/_BSPDeiach, устанавливающей сессию присоединения, определенную значением параметра BSPHandle. ПБУ должен выполнить все операции по очистке памяти, связанные с указанным дескриптором присоединения.

Подпункт 8.1.8.4

Ошибки: BioAPIERR_INVALID_BSP_HANDLE

Ссылки: 9.3.1.4 и 8.1.8.4.

Порядок действий:

• 1) Загрузить испытуемый ПБУ

• 2) Присоединить испытуемый ПБУ

• 3) Отсоединить испытуемый ПБУ с помощью действительного дескриптора модуля.

• 4) Проверить возвращаемое значение вызова функции.

• 5) Вызвать функцию BioSPI_Enroll. Предполагается завершение функции с ошибкой BioAPIERR_INVALID_BSPJIANDLE.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии ’’UNDECIDED”.

Ожидаемые результаты: Вызов функции BioSPl_Enroil возвращает значение BioAPIERR_INVALID_BSP_HANDLE.

Пакет языка утверждения

<package name=’’002e7e58-0c78-1085-9eld-0002a5d5fd2e">

<author>

ISO/IEC JTC1 SC37

</author>

<description>

Данный пакет содержит утверждение "BioSPI_BSPDetach_ Confirm’' (см. далее элемент <description> утверждения). </description>

<assertion name=''BioSPI_BSPDetach_Confirm" model=''BSPTesting"> <description>

Проверку данного утверждения проводят с целью определения завершения сессии присоединения при вызове функции BioSPI_BSPDetach.

Следующий текст соответствует приведенному в 9.3.1.4 спецификации БиоАПИ 2.0.

BioAPI_RETURN BioAPI BioSPI_BSPDetach (BioAPI_HANDLE BSPHandle).

Данная функция вызывается БиоАПИ при каждом вызове функции BioAPI_BSPDetach, устанавливающей сессию присоединения, определенную значением параметра BSPHandle. ПБУ должен выполнить все операции очистки памяти, связанные с указанным дескриптором присоединения .

Подпункт 8.1.8.4

Ошибки: BioAPIERR INVALID BSP HANDLE.

Порядок действий при испытании на соответствие:

• 1) Загрузить испытуемый ПБУ.

• 2) Присоединить испытуемый ПБУ.

• 3) Отсоединить испытуемый ПБУ с помощью действительного дескриптора модуля.

• 4) Проверить возвращаемое значение вызова функции.

• 5) Вызвать функцию BioSPI_Enroll. Предполагается завершение функции с ошибкой BioAPIERR_INVALID_ BSP_HANDLE.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии "UNDECIDED".

</description>

<!— УУИД испытуемого ПБУ. -->

<input name="_bspUuid’’/>

<!-- Время ожидания для события BioAPI_NOTIFY_INSERT. —> <input narae="_inserttimeout"/>

<!— Дескриптор модуля для присоединенного ПБУ. --> <input name="_bsphandle"/>

<!-- Вызов основного процесса данного утверждения

со значениями входных параметров, определенными значениями параметров утверждения. —> <invoke асtivity="LoadAndAttachAndDetach" >

<input name=’^,bspUuid” var="_bspUuid"/>

<input name=’^,unitIDOrNull" value="0"/>

Cinput name="bspHandle" var=”_bsphandle"/>

Cinput name="eventtimeouttime" var="_inserttimaout"/>

</invoke>

<!-- Процесс связан с функцией интерфейса обратного вызова инфраструктуры, предоставленной испытуемым компонентом ПБУ. При каждом входящем вызове функции связанный с ней процесс будет вызываться автоматически. —> ebind activity='’EventHandler’'

package="02c59458-0c46-1085-95d7-0002a5d5fd2e" function="BioSPI_EventHandler”/>

</assertion>

Cactivity name=''LoadAndAttachAndDetach">

<input name=''bspUuid"/>

<input name="unitIDOrNull^,'/>

cinput name=''bspHandle"/>

cinput narae="eventtimeouttime"/>

<’— Вызов функций BioSPI_BSPLoad и BioSPI_BSPAttach, предоставленных испытуемым ПБУ. -->

cinvoke activity="LoadAndAttach" package="02c59458-0c46-1085-95d7-0002a5d5fd2e" break_on_break="true">

<input name="bspUuid” var="bspUuid”/>

<input name=’'bspVersion’’ value="32”/>

<input name="unitIDOrNull” var="unitIDOrNull”/> cinput name="bspHandle" var="bspHandle"/> Cinput name="eventtimeouttime" var="6venttimaouttime"/>

</invoke>

<!-- Вызов функции BioSPI_BSPDetach. -->

Cinvoke function="BioSPI_BSPDetach">

cinput name=”BSPHandle” var=’’bspHandle"/>

creturn setvar="return'7>

c/invoke>

<!-- Выдача заключения о соответствии. Если условие, определенное далее в элементе cdescription>, ложное, выдается заключение о соответствии "FAIL" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS". —>

<assert_condition break_if_false="true">

Cdescription>

Функция BioSPI_BSPDetach возвращает значение BioAPI_OK.

c/description>

Cequal_to varl=’*return" var2="__BioAPI_0K'7>

</assert_condition>

<!-- Вызов функции BioSPI__Enroll. Предполагается, что данная функция завершится с ошибкой, что подтверждает отсоединение ПБУ.-->

cinvoke function="BioSPI_Enroll">

cinput name="BSPHandle" var="bspHandle"/>

Cinput name="Purpose"

var="__BioAPI_PURP0SE_ENR0LL_F0R_VERIFICATI0N_0NLY’7>

Cinput name=”Subtype" value=”0’7>

cinput name=’^,Timeout’’ value=’*15000’7>

Coutput name="NewTemplate" set-var="newtemplate_handle’7> creturn setvar="return"/>

</invoke>

<!-- Выдача заключения о соответствии. Если условие, определенное далее в элементе Cdescription>, ложное, выдается заключение о соответствии "FAIL", в противном случае выдается заключение о соответствии "PASS". --> <assert_condition>

Cdescription>

Функция BioSPI_Enroll возвращает значение BioAPIERR_INVALID_BSP_HANDLE.

</description>

<equal_to varl=’'return’’ var2=”__BioAPIERR_BSP_INVALID_BSP_HANDLE'7>

</assert_condition>

<’— Вызов функции BioSPI_BSPUnload. —>

<invoke function="BioSPI_BSPUnload" >

<input name=”BSPUuid” var=’’bspUuid”/>

<return setvar=”return"/>

</invoke>

<•— Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED", в противном случае выдается заключение о соответствии "PASS". --> <assert_condi tion response_if_false="undecided"> <description>

Функция BioSPI_BSPUnload возвращает значение BioAPIjDK.

</description> <equal_to varl=^,,return" var2="__BioAPI_OK”/>

</assert_condition>

</activity>

</package>

8.16 Утверждение 5a BioSPI _FreeBlRHandle_ValidParam

Описание: Проверку данного утверждения проводят с целью определения освобождения дескриптора ЗБИ при вызове функции BioSPI_FreeBIRHandle с достоверным дескриптором ЗБИ.

Выдержки

Подпункт 9.3.2.1

BioAPI_RETURN BioAPI BioSPI_FreeBIRHandle

(BioAPI-HANDLE BSPHandle,

BioAPl_B!R_HANDLE Handle).

Пункт 8.2.1

Данная функция освобождает память и ресурсы, связанные с установленным дескриптором ЗБИ. Ссылка на данную ЗБИ с помощью данного дескриптора становится невозможной.

Раздел А.4

Данная функция должна поддерживаться всеми типами ПБУ.

Ссылки: 93.2.1, 8.2.1 и А.4.

Порядок действий:

• 1) Загрузить испытуемый ПБУ.

• 2) Присоединить испытуемый ПБУ.

• 3) Зарегистрировать ЗБИ для получения дескриптора ЗБИ.

• 4) Вызвать функцию BioSPl_FreeBlRHandle для освобождения дескриптора ЗБИ.

• 5) Вызвать функцию BioSP!_GeiBlRFromHandle, которая предположительно должна завершиться с ошибкой BioAPIERR_INVALID_BIR_HANDLE.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии ’’UNDECIDED”.

Ожидаемые результаты: Вызов функции BioSPI_FreeBlRHandle возвращает значение BioAPI.OK, а следующий вызов функции BioSPl_GetBIRFromHandle возвращает значение BioAPIERR_INVALID_BIR_HANDLE.

Пакет языка утверждения

«package name="0280a7d0-0c80-1085-a9a0-0002a5d5fd2e">

<author>

ISO/IEC JTC1 SC37

</author>

<description>

Данный пакет содержит утверждение "BioSPI_FreeBIRHandle_ ValidParam " (см. далее элемент <description> утверждения). </description>

<assertion name="BioSPI_FreeBIRHandle_ValidParamⁿ mode 1='' BS PTe s t ing " >

<description>

Проверку данного утверждения проводят с целью определения освобождения дескриптора ЭБИ при вызове функции BioSPI_FreeBIRHandle с достоверным дескриптором ЗБИ.

Следующий текст соответствует приведенному в А.4 и

9.3.2.1, 8.2.1 спецификации БиоАПИ 2.0.

BioAPI_RETURN BioAPI BioSPI_FreeBIRHandle (BioAPI_HANDLE BSPHandle, BioAPI_BIR_HANDLE Handle).

Примечание - Подробное определение функции BioAPI_FreeBIRHandle приведено в 8.2.1.

Пункт 8.2.1:

Данная функция освобождает память и ресурсы, связанные с установленным дескриптором ЗБИ. Ссылка на данную ЗБИ с помощью данного дескриптора становится невозможной.

Раздел А.4:

Данная функция должна поддерживаться всеми типами ПБУ.

Порядок действий при испытании на соответствие:

• 1) Загрузить испытуемый ПБУ.

• 2) Присоединить испытуемый ПБУ.

• 3) Зарегистрировать ЗБИ для получения дескриптора ЗБИ.

• 4) Вызвать функцию BioSPI_FreeBIRHandle для освобождения дескриптора ЗБИ.

• 5) Вызвать функцию BioSPI_GetBIRFromHandle, предположительно завершавшуюся с ошибкой Bio-APIERR_INVALID_BIR_HANDLE.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии "UNDECIDED".

</description>

<!— УУИД испытуемого ПБУ. -->

<input name=’'_bspUuid’'/>

<!— Время ожидания для события BioAPI_NOTIFY_INSERT. —> <input name=^,'_>_inserttijneout"/>

<!-- Указание на требование испытуемым ПБУ поддержки уведомления о событии BioAPI_NOTIFY_SOURCE_PRESENT. <input name=”_noSourcePresentSupported"/>

Время ожидания для события

BioAPI_NOTIFY_SOURCE_PRESENT. —>

<input name="_sourcepresenttimeout”/>

<!-- Время ожидания для BioSPI_Enroll. -->

<input name="_capturetiraeout"/>

<!— Вызов основного процесса данного утверждения со значениями входных параметров, определенными значениями параметров утверждения. -->

<invok® activity="BioSPI_FreeBIRHandle">

<input name="bspUuid” var=”_bspUuid”/>

Cinput name=”inserttimeouttime" var="_inserttimeout"/>

•«input name®"nosourcepresentsupported" var="_noSourcePresentSupported"/> Cinput name®"sourcepresenttimeouttime" var="_sourcepresenttimeout"/> cinput name="capturetimeouttime" var="_capturetimaout"/>

c/invoke>

<!— Процесс связан с функцией интерфейса обратного вызова инфраструктуры, предоставленной испытуемым компонентом ПБУ. При каждом входящем вызове функции связанный с ней процесс будет вызываться автоматически. —> cbind activity="EventHandler"

package®"02c59458-0c46-1085-95d7-0002a5d5fd2e" function®"BioSPI_EventHandler"/>

c/assertion>

Cactivity name®"BioSPI_FreeBIRHandle">

cinput name="bspUuid"/>

cinput name®"inserttimeouttime"/>

cinput name="nosourcepresentsupported"/> cinput name®"sourcepresenttimeouttime"/> cinput name="capturetimeouttime"/>

C!— Данное утверждение использует функцию BSPHandle со значением "1" для всех вызовов BioSPI, которые этого требуют. --> cset narae="_bsphandle" value®"1"/>

С!-- Вызов функций BioSPI_BSPLoad и BioSPI_BSPAttach, предоставленных испытуемым ПБУ. —>

Cinvoke activity="LoadAndAttach" package®"02c59458-0c46-1085-95d7-0002a5d5fd2e" break on breaks"true">

<input name="bspUuid” var="bspUuid"/>

<input name=’'bspVersion" value=”32”/>

<input nama="unitIDOrNull" value="0’’/>

<input name="bspHandle" var="_bsphandle”/>

Cinput name="eventtiraeouttime"

var="inserttimeouttime"/>

</invoke>

<set narae="eventtimeoutflag" value="false"/>

<•-- Если испытуемый ПБУ поддерживает уведомление о событии BioAPI—NOTIFY—SOURCE—PRESENT, следует ждать получения уведомления о событиив пределах указанной максимальной продолжительности. -->

<wait_until timeout—var="sourcepresenttimeouttime" setvar="eventtimeoutflag">

<or varl="nosourcepresentsupported”

var2="—sourcePresent"/>

</wait_until>

<•— Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS". —>

<assert_condition response—if_false=”undecided"

break—if_false="true">

<description>

Испытуемый ПБУ не поддерживает уведомление о событии BioAPI—NOTIFY—SOURCE—PRESENT или уведомление о событии получено в пределах указанной максимальной продолжительности.

</description>

<not var="eventtimeoutflag”/>

</assert condition>

ПБУ готов к регистрации ЭБИ. Вызвать функцию BioSPI_Enroll для регистрации ЭБИ. --> cinvoke function®''BioSPI_Enroll">

cinput name="BSPHandle" var="__bsphandle”/>

Cinput name®"Purpose" var="__BioAPI__PURPOSE_ENROLL_FOR_VERIFICATION

ONLY"/>

<input name="Subtype" value="0"/>

Cinput name®"Timeout" var="capturetimeouttime"/> Coutput name="NewTemplate" set-var="newtemplate_handle"/>

Creturn setvar=”return"/>

c/invoke>

<•-- Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS". --> <assert_condition response_if_false="undecided" break_if_false="true">

Cdescription>

Функция BioSPI_Enroll возвращает значение BioAPI_OK.

C/description>

<equal_to varl="return" var2®"__BioAPI_OK”/>

</assert_condition>

<!-- Вызов функции BioSPI_FreeBIRHandle с передачей дескриптора зарегистрированной ЭБИ. —> cinvoke function="BioSPI_FreeBIRHandle">

Cinput name="BSPHandle" var="_bsphandle'’/> cinput name®"Handle" var=" newtemplate_handle"/> Creturn setvar="return"/>

</invoke>

Выдача заключения о соответствии. Если условие, определенное далее в элементе cdescription>, ложное, выдается заключение о соответствии "FAIL" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS".

<assert_condition break_if_false="true"> Cdescription>

Функция BioSPI_FreeBIRHandle возвращает значение BioAPI_OK.

</description> Cequal_to varl=’^,return" var2="__BioAPI_OK"/>

</assert_condition>

<!— Вызов функции BioSPI_GetBIRFromHandle с передачей дескриптора зарегистрированной ЭБИ с целью проверки освобождения дескриптора.

cinvoke function="BioSPI_GetBIRFromHandle*’>

Cinput name="BSPHandle" var="_bsphandle'’/> cinput name="Handle" var="newtemplate_handle"/> Coutput name="HeaderVersion" setvar=”headerversion"/>

coutput name=*'ProcessedLevel" setvar=”processedlevel"/>

<output name=*’FormatOwner” setvar="formatowner"/> Coutput name=*'FormatType" setvar="formattype"/> coutput name=*'Quality" setvar=’^,quality"/> coutput name="Purpose** setvar=’'purpose*’/>

coutput name=*'Productowner" setvar="productowner" /> coutput name=*'ProductType" setvar=’'producttype" /> coutput name='*Creation_Year" setvar="craationyear" /> coutput name="Creation_Month*' setvar="creationmonth*' /> coutput name= *’Creation_Day" setvar=*^,creationday’* /> coutput nama=”Creation_Hour" setvar="creationhour" /> coutput name="Creation_Minute" setvar=*^,creationminute” />

coutput name="Creation_Second” setvar="creationsecond" />

Coutput name="Expiration_Y«ar’* setvar="expirationyaar" />

Coutput name="Expiration_Month" setvar="expirationmonth" />

Coutput name="Expiration_Day" setvar="expirationday" /> Coutput name="SBForinatOwner” setvar="sacurityformatowner" />

Coutput name="SBFormatType" setvar="securityformattype" />

<output name=’*Index” setvar=”index” />

Coutput name="BiometricData" setvar="bio<netircdata" /> coutput name=’’SecurityBlock" setvar=" securityblock’’/>

Creturn setvar="return"/>

c/invoke>

<!-- Выдача заключения о соответствии. Если условие, определенное далее в элементе Cdescription>, ложное, выдается заключение о соответствии "UNDECIDED", в противном случае выдается заключение о соответствии "PASS". --> Cassert_condi tion response_if_false="undecided">

Cdescription>

Функция BioSPI_GetHeaderFromHandle возвращает значение BioAPIERR_INVALID_BIR_HANDLE.

c/description>

Cequal_to varl=”raturn” var2=”__BioAPIERR_BSP_INVALID_BIR_HANDLE"/>

c/assert_condition>

<’— Вызов функций BioSPI_BSPDetach и BioSPI_BSPUnload. —> Cinvoke activity="DetachAndUnload"

package="02c59458-0c46-1085-95d7-0002a5d5fd2e"> cinput nama=’'bspUuid" var=’'bspUuid’7>

<input name="BSPHandle” var="_bsphandle"/> </invoke>

</activity>

</package>

8.17 Утверждение 5b BioSPI_FreeBIRHandle_InvalidBSPHandle

Описание: Проверку данного утверждения проводят с целью определения возвращения ошибки при вызове функции BioSPI_FreeBlRHandle с недействительным дескриптором ПБУ.

Выдержки

Подпункт 9.3.2.1

BioAPI_RETURH BioAPI BioSPl_FreeBlRHandle

(BioAPIJIANDLE BSPHandle,

BioAPI_BIR_HANDLE Handle).

Параметры: BSPHandle (входной параметр)-дескриптор присоединенного ПБУ. Пункт 8.2.1

Данная функция освобождает память и ресурсы, относящиеся к определенному дескриптору ЗБИ.

Ссылки: 93.2.1 и 8.2.1.

Порядок действий:

• 1) Загрузить испытуемый ПБУ.

• 2) Присоединить испытуемый ПБУ.

• 3) Зарегистрировать ЗБИ для получения дескриптора ЗБИ.

• 4) Вызвать функцию BioSPl_FreeBIRHandle с недостоверным дескриптором ПБУ.

• 5) Проверить возвращаемое значение.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии ’’UNDECIDED’’.

Ожидаемые результаты: Вызов функции BioSPl_FreeBlRHandle возвращает значение BioAPlERR JNVALID.BSPJIANDLE.

Пакет языка утверждения

<package name="047aed48-0c80-1085-898b-0002a5d5fd2e">

<author>

ISO/IEC JTC1 SC37

</author>

<description>

Данный пакет содержит утверждение "BioSPI_FreeBIRHandle_ InvalidBSPHandle" (см. далее элемент <description> утверждения).

</description>

<assertion name="BioSPI_FreeBIRHandle_InvalidBSPHandle’’ model="BSPTesting">

<description>

Проверку данного утверждения проводят с целью определения возвращения ошибки при вызове функции BioSPI_ FreeBIRHandle с недействительным дескриптором ПБУ. Следующий текст соответствует приведенному в 9.3.2.1 и 8.2.1 спецификации БиоАЛИ 2.0.

BioAPI_RETURN BioAPI BioSPI_FreeBIRHandle (BioAPI_HANDLE BSPHandle, BioAPI_BIR_HANDLE Handle).

Примечание - Подробное определение функции

BioAPI_FreeBIRHandle приведено в 8.2.1.

Пункт 8.2.1:

Данная функция освобождает память и ресурсы, относящиеся к определенному дескриптору ЭБИ.

Подпункт 9.3.2.1:

Параметры: BSPHandle (входной параметр) - дескриптор присоединенного ПБУ.

Порядок действий при испытании на соответствие:

• 1) Загрузить испытуемый ПБУ.

• 2) Присоединить испытуемый ПБУ.

• 3) Зарегистрировать ЗБИ для получения дескриптора ЗБИ.

• 4) Вызвать функцию BioSPI_FreeBIRHandle с недостоверным дескриптором ПБУ.

• 5) Проверить возвращаемый код.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии "UNDECIDED".

</description>

<•-- УУИД испытуемого ПБУ. —>

<input narae="_bspUuid"/>

<!-- Время ожидания для события BioAPI_NOTIFY_INSERT. --> <input name="_inserttimeout"/>

<•— Указание на поддержку испытуемым ПБУ уведомления о событии BioAPI_NOTIFY_SOURCE_PRESENT.-->

<input narae=’’_noSourcePresentSupported" />

<•— Время ожидания для события BioAPI_NOTIFY_SOURCE_

PRESENT. —>

<input narae="_sourcepresenttiraeout"/>

<!-- Время ожидания для функции BioSPI_Enroll. —>

<input name="_capturetiraeout"/>

<!— Вызов основного процесса данного утверждения со значениями входных параметров, определенными значениями параметров утверждения. -->

<invok® activity="BioSPI_FreeBIRHandle">

<input name="bspUuid” var=”_bspUuid”/>

Cinput name=”inserttimeouttime" var="_insarttimaout"/>

•«input name="nosourcepresentsupported" var="_noSourcePresentSupported" /> Cinput name="sourcepresenttimeouttime" var="_sourcepresenttimeout"/> cinput name="capturetimeouttime" var="_capturetimaout”/>

c/invoke>

<!*■- Процесс связан с функцией интерфейса обратного вызова инфраструктуры, предоставленной испытуемым компонентом ПБУ. При каждом входящем вызове функции связанный с ней процесс будет вызываться автоматически. --> cbind activity="EventHandler"

package="02c59458-0c46-1085-95d7~0002a5d5fd2e"

function=”BioSPI_EventHandler"/> c/assertion>

Cactivity name="BioSPI_FreeBIRHandle">

Cinput name="bspUuid"/>

cinput name="inserttimeouttime"/>

cinput name="nosourcepresentsupported" /> cinput name="sourcepresenttimeouttime"/> cinput name="capturetimeouttime"/>

С’-- Данное утверждение использует функцию BSPHandle со значением "1" для всех вызовов BioSPI, хоторые этого требуют. --> cset name="_bsphandle" value="1"/>

С!— Вызов функций BioSPI_BSPLoad и BioSPI_BSPAttach, предоставленных испытуемым ПБУ. -->

Cinvoke activity="LoadAndAttach"

package="02c59458-0c46-1085-95d7-0002a5d5fd2e" break_on_brеак=" true ” >

<input name="bspUuid" var="bspUuid"/>

<input nama="bspVersion" value="32"/>

<input name="unitIDOrNull" value="0"/>

Cinput name="bspHandle" var="_bsphandle"/>

Cinput name='^,eventtimeouttime”

var=" inser ttimeouttime’’/>

</invoke>

<8et name="eventtimeoutflag" value="false"/>

<•-- Если испытуемый ПБУ поддерживает уведомление о событии BioAPI_NOTIFY_SOURCE_PRESENT, следует ждать получения уведомления о событии в пределах указанной максимальной продолжительности. -->

<wait_until timeout_var=”sourcepresenttimeouttime" setvar="eventtimeoutflag">

<or varl="nosourcepresentsupported” var2="_sourcePresent" />

</wait_until>

<•— Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS". —>

<assert_condition response_if_false=”undecided" break_if_false=" true">

<description>

Испытуемый ПБУ не поддерживает уведомление о событии BioAPI_NOTIFY_SOURCE_PRESENT или уведомление о событии получено в пределах указанной максимальной продолжительности.

</description>

<not var="eventtimeoutflag”/>

</assert condition>

ПБУ готов к получению ЭБИ. Вызвать функцию BioSPI_Enroll для регистрации. --> Cinvoke function®''BioSPI_Enroll’’>

cinput name="BSPHandle" var="__bsphandle”/>

Cinput name®"Purpose"

var="__BioAPI_PURPOSE_ENROLL_FOR_VERIFICATION_ONLY"/>

•Cinput name="Subtype" value="0’7>

Cinput name="Timeout" var="capturetimeouttime’7> Coutput name="NewTemplate" set-var® ” new templa te_handle ” />

Creturn setvar=”return"/>

</invoke>

<!— Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS". -->

Cassert_condition response_if_false="undecided" break_if_false="true">

Cdescription>

Функция BioSPI_Enroll возвращает значение BioAPI_OK.

</description> Cequal_to varl="return" var2="__BioAPI_OK”/>

</assert_condition>

<!-- Вызов функции BioSPI_FreeBIRHandle с недействительным дескриптором модуля. —>

cinvoke function="BioSPI_FreeBIRHandle">

Cinput name="BSPHandle" value®"0"/>

cinput name="Handle" var="newtemplate_handle’7> creturn setvar="return'7>

</invoke>

Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "FAIL", в противном случае выдается заключение о соответствии "PASS". --> <as3ert_condition>

<description> Функция BioSPI_FreeBIRHandle возвращает значение BioAPIERR_INVALID_BSP_HANDLE.

</description>

<equal_to varl=”return" var2="__BioAPIERR_BSP_INVALID_BSP_HANDLEⁿ/>

</assert_condition>

<!— Вызов функции BioSPI_BSPDetach и BioSPI_BSPUnload. —> <invoke activi ty="DetachAndUnload"

package="02c59458-0c46-1085-95d7-0002a5d5fd2e"> <input name="bspUuid” var="bspUuid” />

<input name=”BSPHandle" var="_bsphandle” /> </invoke>

</activity>

</package>

8.18 Утверждение 5c BioSPI_FreeBlRHandle_InvalidBIRHandle

Описание: Проверку данного утверждения проводят с целью определения возвращения ошибки при вызове функции BioSPl_FreeBlRHandle с недействительным дескриптором ЗБИ.

Выдержки

Подпункт 9.3.2.1

BioAPI_RETURN BioAPI BioSPI_FreeBIRHandle

(BioAP!_HANDLE BSPHandle, BioAPI_BIR_HANDLE Handle).

Параметры: Дескриптор (входной параметр) - дескриптор ЗБИ, который должен быть освобожден.

Пункт 8.2.1

Данная функция освобождает память и ресурсы, относящиеся к определенному дескриптору ЗБИ.

Ошибки: BioAPIERR_INVALlD_BIR_HANDLE

Ссылки: 9.3.2.1 и 8.2.1.

Порядок действий:

• 1) Загрузить испытуемый ПБУ.

• 2) Присоединить испытуемый ПБУ.

• 3) Зарегистрировать ЗБИ для получения дескриптора ЗБИ.

• 4) Вызвать функцию BioSPl_FreeBlRHandle для освобождения недействительного дескриптора ЗБИ.

• 5) Проверить возвращаемый код.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии "UNDECIDED”.

Ожидаемые результаты: Вызов функции BioSPl_FreeBlRHandle возвращает значение BioAPIERR_INVALID_BIR_HANDLE.

Пакет языка утверждения

<package name=”018e6cl8-0c9c-1085-afdf-0002a5d5fd2e^,’>

<author>

ISO/IEC JTC1 SC37

</author>

<description>

Данный пакет содержит утверждение "BioSPI_FreeBIRHandle_InvalidBIRHandle" (см. далее элемент <description> утверждения).

</description>

<assertion name="BioSPI_FreeBIRHandle_InvalidBIRHandla’’ model="BSPTesting">

<description>

Проверку данного утверждения проводят с целью определения возвращения ошибки при вызове функции BioS₽I_FreeBIRHandle с недействительным дескриптором ЗБИ.

Следующий текст соответствует приведенному в 9.3.2.1 и 8.2.1 спецификации БиоАПИ 2.0.

BioA₽I__RETURN BioAPI BioSPI_FreeBIRHandle (BioAPI_HANDLE BSPHandle, BioAPI-BIRJiANDLE Handle).

Примечание - Подробное определение функции

BioAPI FreeBIRHandle приведено в 8.2.1.

Пункт 8.2.1:

Данная функция освобождает память и ресурсы, относящиеся к определенному дескриптору ЗБИ. Ошибки: BioAPIERR INVALID BIR HANDLE

Подпункт 9.3.2.1:

Параметры: Дескриптор (входной параметр) -дескриптор ЗБИ, который должен быть освобожден.

Порядок действий при испытании на соответствие:

• 1) Загрузить испытуемый ПБУ.

• 2) Присоединить испытуемый ПБУ.

• 3) Зарегистрировать ЗБИ для получения дескриптора ЗБИ.

• 4) Вызвать функцию BioSPI_FreeBIRHandle для освобождения недействительного дескриптора ЗБИ.

• 5) Проверить возвращаемый код.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии "UNDECIDED".

C/description>

<•-- УУИД испытуемого ПБУ. -->

<input name=’'_bspUuid"/>

<!-- Время ожидания для события BioAPI_NOTIFY_INSERT. —> <input narae="_inserttiraeout”/>

<!— Указание на поддержку испытуемым ПБУ уведомления о событии BioAPI_NOTIFY_SOURCE_PRESENT. —> cinput name="_noSourcePre8entSupported" />

<!-- Время ожидания для события BioAPI_NOTIFY_SOURCE_PRESENT. —> <input name="_sourcepresenttimeout"/>

<!-- Время ожидания для функции BioSPI_Enroll. --> <input narae="_capturetiraeout"/>

<•— Вызов основного процесса данного утверждения со значениями входных параметров, определенными значениями параметров утверждения. --> cinvoke activity="BioSPI_FreeBIRHandle">

Cinput name="bspUuid” var=”_bspUuid”/>

Cinput name="inserttimaouttime” var="_inserttimeout”/>

Cinput name="nosourcepresentsupportad'’ var="_noSourcePresentSupportad" /> cinput name="sourcepresenttimeouttime" var=”_sourcepresenttimeout”/> cinput name="capturetimaouttime” var="_capturetimeout”/>

</invoke>

<’— Процесс связан с функцией интерфейса обратного вызова инфраструктуры, предоставленной испытуемым компонентом

ПБУ. При каждом входящем вызове функции связанный с ней процесс будет вызываться автоматически.

cbind activity="EventHandler" package="02c59458-0c46-1085-95d7-0002a5d5fd2e" function»”BioSPI_EventHandler"/>

</assertion>

cactivity name="BioSPI_FreeBIRHandle">

Cinput name="bspUuid"/>

Cinput name=”inserttimeouttime"/>

Cinput name="nosourcepre8entsupported" /> cinput name»"sourcepresenttimeouttime"/> Cinput narae»"capturetimeouttime"/>

<!— Данное утверждение использует функцию BSPHandle со значением "1" для всех вызовов BioSPI, которые этого требуют. -->

<set name»"_bsphandle" value»"1"/>

<•— Вызов функций BioSPI_BSPLoad и BioSPI_BSPAttach, предоставленных испытуемым ПБУ. -->

<invoke activity="LoadAndAttach" package="02c59458-0c46-1085-95d7-0002a5d5fd2e" break_on_break="true">

<input name="bspUuid” var="bspUuid"/>

<input name="bspVersion" value=”32"/>

Cinput name="unitIDOrNull" value="0"/> cinput name="bspHandle" var="_bsphandle"/> Cinput name="eventtimeouttime" var»"inserttimeouttime"/>

</invoke>

cset name»"eventtimeoutflag" value»"false"/>

<!— Если испытуемый ПБУ поддерживает уведомление о событии BioAPI NOTIFY SOURCE PRESENT, следует ждать получения

уведомления в пределах указанной максимальной продолжительности.—>

cwait_until timeout-.var^’sourcepresenttiraeouttirae’' setvar="eventtimeoutflag">

Cor varl="nosourcepresentsupportad” var2="_sourcaPresant" />

c/wait_until>

<!— Выдача заключения о соответствии. Если условие, определенное далее в элементе cdescription>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS". -->

<assert_condition response_if_false="undecided" braak_if_false=ⁿtrue">

Cdescription>

Испытуемый ПБУ не поддерживает уведомление о событии BioAPI_NOTIFY_SOURCE_PRESENT или уведомление о событии получено в пределах указанной максимальной продолжительности.

C/description>

<not var="eventtimeoutflag’’/>

</assert_condition>

ПБУ готов к получению ЭБИ. Вызвать функцию BioSPI_ Enroll для регистрации. -->

Cinvoke function®"BioSPI_Enroll">

cinput name=’’BSPHandle” var="_bsphandle”/>

Cinput nama="Purpose"

var="__BioAPI_PURPOSE_ENROLL_FOR_VERIFICATION_ONLY" />

Cinput name=’’Subtypa” value="0”/>

Cinput name="Timeout" var="capturatimaouttime"/> coutput nama=’'NewTamplate" set-

var="newteinplate handle"/>

<return setvar="return’7>

</invoke>

<!-- Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS". -->

<assert_condition response_if_false="undecided” break_if_false="true”>

<description>

Функция BioSPI_Enroll возвращает значение BioAPI_OK.

</description>

<equal_to varl="return" var2="__BioAPI_OK’7>

</assert_condi tion>

<!-- Вызвать функцию BioSPI_FreeBIRHandle с недействительным дескриптором ЭБИ. —>

<invoke function®"BioSPI_FreeBIRHandle">

<input name=’’BSPHandle" var="_bsphandle"/>

<input name=”Handle” value=”-l"/>

Creturn setvar=”return”/>

</invoke>

<•— Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "FAIL", в противном случае выдается заключение о соответствии "PASS". --> <assert_condition>

<description>

Функция BioSPI_FreeBIRHandle возвращает значение BioAPIERR_INVALID_BIR_HANDLE.

</description>

<equal_to varl=’'return"

var2=”__BioAPIERR_BSP_INVALID_BIR_HANDLE"/>

</assert_condition>

<!— Вызов функций BioSPI_BSPDetach и BioSPI_BSPUnload. —> <invoke ас tivity="Da tachAndUnload"

package="02c59458-0c46-1085-95d7-0002a5d5fd2e"> <input name=’'bspUuid" var=’'bspUuid'’ /> <input name="BSPHandle" var="_bsphandle" /> </invoke>

</activity>

</packaga>

8.19 Утверждение 6a BioSPl_GetBlRFromHandle_ValidParam

Описание: Проверку данного утверждения проводят с целью определения возвращения значения BioAPI_OK при вызове функции BioSPlJGetBIRFromHandle с достоверными параметрами.

Выдержки

Подпункт 9.3.2.2

BioAPl_RETURH BioAPI BioSPI_GetBIRFromHandle

(BioAPi_HANDLE BSPHandle,

BioAPI_BlR_HANDLE Handle,

BioAPi_BlR *BIR).

Пункт 8.2.2

Данная функция возвращает ЗБИ, связанную с дескриптором ЗБИ, возвращенным ПБУ.

Возвращаемое значение: Значение BioAPl_RETURN указывает на успешное выполнение функции или определяет тип ошибки. Значение BioAPI_OK соответствует успешному выполнению. Остальные значения определяют тип ошибки.

Дескриптор ЗБИ освобождается ПБУ до возврата из функции.

Раздел А.4

Данная функция должна поддерживаться всеми типами ПБУ.

Ссылки: 9.3.2.2, 8.2.2 и А.4.

Порядок действий:

• 1) Загрузить испытуемый ПБУ.

• 2) Присоединить испытуемый ПБУ.

• 3) Зарегистрировать ЗБИ для получения дескриптора ЗБИ.

• 4) Вызвать функцию Bk>SPl_GetBlRFromHandle. Предполагается, что функция возвратит значение BioAPl_OK.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии "UNDECIDED".

Ожидаемые результаты: Вызов функции BioSPljGeiBIRFromHandle возвращает значение BioAPI_OK.

Пакет языка утверждения

«package name=”0460b658-0cb4-1085-a304-0002a5d5fd2eⁿ>

<author>

ISO/IEC JTC1 SC37

</author>

<description>

Данный пакет содержит утверждение "BioSPI_ GetBIRFromHan-dle_ValidParara" (см. далее элемент

<description> утверждения).

</description>

«assertion name="BioSPI_GetBIRFromHandle_ValidParam" model="BSPTesting''>

<description>

Проверку данного утверждения проводят с целью определения возвращения значения BioAPI_OK при вызове функции BioSPI_GetBIRFromHandle с достоверными параметрами.

Следующий текст соответствует приведенному в 9.3.2.2, 8.2.2 и А.4 спецификации БиоАПИ 2.0.

BioAPI_RETURN BioAPI BioSPI_GetBIRFromHandle (BioAPI_HANDLE BSPHandle, BioAPI_BIR_HANDLE Handle, BioAPI_BIR *BIR).

Примечание - Подробное определение функции BioAPI GetBIRFromHandle приведено в 8.2.2.

Пункт 8.2.2:

Данная функция возвращает ЗБИ, связанную с дескриптором ЗБИ, возвращенным ПБУ.

Значение BioAPI_RETURN указывает на успешное выполнение функции или определяет тип ошибки. Значение BioAPI_OK соответствует успешному выполнению. Остальные значения определяют тип ошибки.

Дескриптор ЗБИ освобождает ПБУ до возврата из функции.

Раздел А.4:

Данная функция должна поддерживаться всеми типами ПБУ.

Порядок действий при испытании на соответствие:

• 1) Загрузить испытуемый ПБУ.

• 2) Присоединить испытуемый ПБУ.

• 3) Зарегистрировать ЗБИ для получения дескриптора ЗБИ.

• 4) Вызвать функцию BioSPI_GetBIRFromHandle. Предполагается, что функция возвратит значение BioAPI_OK.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии "UNDECIDED".

</description>

<!-- УУИД испытуемого ПБУ. -->

cinput narae="_bspUuid"/>

<•-- Время ожидания для события BioAPI_NOTIFY_INSERT. --> <input narae="_inserttiraeout"/>

<!-- Указание на поддержку испытуемым ПБУ уведомления о событии BioAPI_NOTIFY_SOURCE_PRESENT.--> cinput name®"_noSourcePresentSupported" />

<!-- Время ожидания для события BioAPI_NOTIFY_SOURCE_

PRESENT. —>

cinput narae="__sourcepresenttiraeout"/>

<•— Время ожидания для функции BioSPI_Enroll. —> <input name="_capturetimeout"/>

<!-- Вызов основного процесса данного утверждения со значениями входных параметров, определенными значениями параметров утверждения.

cinvoke activity®"BioSPI_GetBIRFroznHandle">

Cinput name=’'bspUuid" var="_bspUuid"/>

Cinput name=”inserttimeouttime" var="_inserttimeout”/>

Cinput name®"nosourcepresentsupported” var="_noSourcePresentSupported” /> cinput name="sourcepresenttimeouttime” var="_sourcepresenttimeout”/> cinput name=”capturetimeouttime” var="_capturetimeout"/>

</invoke>

<!— Процесс связан с функцией интерфейса обратного вызова инфраструктуры, предоставленной испытуемым компонентом ПБУ. При каждом входящем вызове функции связанный с ней процесс будет вызываться автоматически. —> cbind activity="EventHandler"

package="02c59458-0c46-1085-95d7-0002a5d5fd2e"

function="BioSPI_EventHandlar”/> </assertion>

cactivity name="BioSPI_GatBIRFromHandle">

<input name="bspUuid"/>

cinput name="inserttimeouttime"/>

cinput name="nosourcepresentsupported" />

cinput narae="sourcepresenttimeouttime"/>

cinput name="capturetimeouttime"/>

<!-- Данное утверждение использует функцию BSPHandle со значением ''1" для всех вызовов BioSPI, которые этого требуют. -->

<set name="_bsphandle" value="1" />

<!-- Вызов функций BioSPI_BSPLoad и BioSPI_BSPAttach, предоставленных испытуемым ПБУ. -->

cinvoke activity="LoadAndAttach" package="02c59458-0c46-1085-95d7-0002a5d5fd2e" break_on_break="true">

Cinput naraa="bspUuid" var="bspUuid"/>

Cinput name=’'bspVersion” value="32"/>

Cinput name=”unitIDOrNull" value="0"/>

<input name=’^,bspHandle" var=”_bsphandle’’/> Cinput name="eventtimeouttime" var="inserttimeouttime”/>

</invoke>

cset name="eventtimeoutflag" value="false"/>

<!— Если испытуемый ПБУ поддерживает уведомление о событии

BioAPI_NOTIFY_SOURCE_PRESENT, следует ждать получения уведомления в пределах указанной максимальной продолжительности. —>

<wait_until timeout__>var=’^,sourcepresenttimeouttime” setvar=''eventtimaoutf lag">

<or varl="nosourcepresentsupported" var2="_sourcePresent’’ />

</wait_until>

<•— Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS". —>

<assert_condition response_if_false="undecided" braak_if_f alse=" true •' >

<description>

Испытуемый ПБУ поддерживает уведомление о событии BioAPI_NOTIFY_SOURCE_PRESENT или уведомление о событии получено в пределах указанной максимальной продолжительности.

</description>

<not var="eventtimeoutflag’7>

</assert_cond.ition>

ПБУ готов к получению ЭБИ. Вызвать функцию BioSPI_Enroll для регистрации. —>

<invoke function="BioSPI_Enroll">

<input name="BSPHandle" var="_bsphandle"/>

•«input name="Purpose”

var="__BioAPI_PURP0SE_ENR0LL_F0R_VERIFICATI0N_0NLY’7>

<input name="Subtype" value=”0’7>

Cinput name="Timaout" var='’capturetimeouttime'7> Coutput name^'NewTemplate" set-var="newteniplate_handle’7>

<return setvar="return’7>

</invoke>

Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS". —>

<assert_condition response_if_false="undecided" break_if_false="true">

<description>

Функция BioSPI_Enroll возвращает значение BioAPI_OK.

</description>

<equal_to varl="return" var2="__BioAPI_OK"/>

</assert_condition>

<•— Вызов функции BioSPI_GetBIRFromHandle с предоставлением дескриптора зарегистрированной ЭБИ. —>

<invoke function»"BioSPI_GetBIRFromHandle">

<input name»"BSPHandle" var="_bsphandle"/>

<input name»"Handle" var="newtemplate_handle"/> <output name»"HeaderVersion" setvar»"headerversion"/>

<output name="ProcessedLevel" setvar»"processedlevel"/>

<output name»"Formatowner" setvar»"formatowner"/> <output name»"FormatType" setvar»"formattype"/> <output name»"Quality" setvar="quality"/>

<output name»"Purpose" setvar="purpose"/>

<output name»"Productowner" setvar="productowner" /> <output name="ProductType" setvar="producttype" /> <output name»"Creation_Year" setvar»"creationyear" /> <output name="Creation_Month" setvar="creationmonth" /> <output name="Creation_Day" setvar»"creationday" /> <output name="Creation_Hour" setvar»"creationhour" /> Coutput name="Creation_Minute" setvar»"creationminute" />

coutput name="Creation_Second” setvar="creationsecond” />

Coutput name="Expiration_Y«ar’* setvar="expirationyear" />

Coutput name="Expiration_Month" setvar="expirationmonth" />

Coutput name="Expiration_Day" setvar="expirationday" /> Coutput name="SBForniatOwner” setvar="securityformatowner" />

Coutput name="SBFormatType" setvar="securityformattype" />

<output name=’*Index” setvar=”index” />

Coutput name="BiometricData'’ setvar="biometircdata" /> coutput name=’’SecurityBlock" setvar=" securityblock’’/>

Creturn setvar=’^,return’7>

</invoke>

<!-- Выдача заключения о соответствии. Если условие, определенное далее в элементе Cdescription>, ложное, выдается заключение о соответствии "FAIL", в противном случае выдается заключение о соответствии "PASS". --> Cassert_condi tion>

Cdescription>

Функция BioSPI_GetBIRFromHandle возвращает значение BioAPI_OK.

c/description>

Cequal_to varl="raturn" var2=”__BioAPI_OK”/>

</assoкt_condition>

<!— Вызов функций BioSPI_BSPDetach и BioSPI_BSPUnload. —> Cinvoke activity=”DetachAndUnload"

package=”02c59458-0c46-1085-95d7-0002a5d5fd2e"> Cinput name=’’bspUuid” var=’’bspUuid” /> cinput name=”BSPHandle” var="_bsphandle" />

</invoke>

</activity>

</package>

8.20 Утверждение 6b BioSPI_GetBIRFromHandle_InvalidBSPHandle

Описание: Проверку данного утверждения проводят с целью определения возвращения сообщения об ошибке при вызове функции BioSPI_GetBlRFromHandIe с недействительным дескриптором ПБУ.

Выдержки

Подпункт 93.2.2

BioAPI_RETURN BioAPI BioSPI_GelBIRFromHandIe

(BioAPI_HANDLE BSPHandle,

BioAPI_BIR_HANDLE Handle,

BioAPI_BIR *B1R).

Пункт 8.2.2

Данная функция возвращает ЗБИ, связанную с дескриптором ЗБИ, возвращенным ПБУ.

Возвращаемое значение: Значение BioAPI_RETURN указывает на успешное выполнение функции или определяет тип ошибки. Значение BioAPI.OK соответствует успешному выполнению. Остальные значения определяют тип ошибки.

Параметры: BSPHandle (входной параметр) - дескриптор присоединенного ПБУ.

Ссылки: 9.3.2.2 и 8.2.2.

Порядок действий:

• 1) Загрузить испытуемый ПБУ.

• 2) Присоединить испытуемый ПБУ.

• 3) Зарегистрировать ЗБИ для получения дескриптора ЗБИ.

• 4) Вызвать функцию BioSPl_GetBIRFromHandle с недействительным дескриптором ПБУ. Предполагается, что функция возвратит ошибку.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии ’’UNDECIDED”.

Ожидаемые результаты: Вызов функции BioSP!_GetB!RFromHandle возвращает значение BioAPIERR_INVALID_BSP_HANDLE.

Пакет языка утверждения

<package name=^,,02445668-0cc5-1085-a3ac-0002a5d5fd2e">

<author>

ISO/IEC JTC1 SC37

</author>

<description>

Данный пакет содержит утверждение "BioSPI_ GetBIRFromHan-dle_InvalidBSPHandle" (см. далее элемент <description> утверждения).

</description>

<assertion name=’'BioSPI_GetBIRFroinHandla_InvalidBSPHandle" model="BSPTesting">

<description>

Проверку данного утверждения проводят с целью определения возвращения сообщения об ошибке при вызове функции BioSPI_GetBIRFromHandle с недействительным дескриптором ПБУ.

Следующий текст соответствует приведенному в 9.3.2.2 и 8.2.2 спецификации БиоАПИ 2.0.

BioAPI_RETURN BioAPI BioSPI_GetBIRFromHandle (BioAPI_HANDLE BSPHandle, BioAPI_BIR_HANDLE Handle, BioAPI_BIR *BIR).

Примечание - Подробное определение функции

BioAPI GetBIRFromHandle приведено в 8.2.2.

Данная функция возвращает ЗБИ, связанную с дескриптором ЗБИ, возвращенным ПБУ.

Возвращаемое значение: Значение BioAPI_RETURN указывает на успешное выполнение функции или определяет тип ошибки. Значение BioAPI_OK соответствует успешному выполнении. Остальные значения определяют тип ошибки.

Параметры: BSPHandle (входной параметр) - дескриптор присоединенного ПБУ.

Порядок действий при испытании на соответствие:

• 1) Загрузить испытуемый ПБУ.

• 2) Присоединить испытуемый ПБУ.

• 3) Зарегистрировать ЗБИ для получения дескриптора ЗБИ.

• 4) Вызвать функцию BioSPI_GetBIRFromHandle с недействительным дескриптором ПБУ. Предполагается, что функция возвратит ошибку.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии "UNDECIDED".

</description>

<•— УУИД испытуемого ПБУ. —>

<input name="_bspUuid"/>

<!-- Время ожидания для события BioAPI_NOTIFY__INSERT. --> <input name=”__in«erttimeout’'/>

<’— Указание на поддержку испытуемым ПБУ уведомления о событии BioAPI__NOTIFY_SOURCE_PRESENT. —>

<input narae="_noSourcePresentSupported" />

Время ожидания для события

BioAPI_NOTIFY_SOURCE_PRESENT. —>

«input narae="_sourcepresenttimeout"/>

<!-- Время ожидания для функции BioSPI_Enroll. —>

<input narae="_capturetimeout"/>

<!— Вызов основного процесса данного утверждения со значениями входных параметров, определенными значениями параметров утверждения. -->

«invoke activity="BioSPI_GetBIRFromHandle">

«input name="bspUuid" var="_bspUuid"/> «input name=" inserttimeouttime’’ var="_inserttimeout"/>

•«input name="nosourcepresentsupported” var="_noSourcePrasentSupported" /> «input names'*sourcepresenttimeouttime" var="_sourcepresenttimeout’’/> •«input name=”capturetimeouttime" var="_capturetimeout”/>

</invoke>

<!-- процесс связан с функцией интерфейса обратного вызова инфраструктуры, предоставленной испытуемым компонентом ПБУ. При каждом входящем вызове функции связанный с ней процесс будет вызываться автоматически. -->

«bind activity='*EventHandler” package="02c59458-0c46-1085-95d7-0002a5d5fd2e" function=”BioSPI_EventHandlar”/>

</assertion>

•«activity name="BioSPI_GetBIRFromHandle">

•«input name="bspUuid"/>

•«input name="inserttimeouttime"/>

«input name="no8ourcepresentsupported" />

«input names" sourcepresent timeout time *'/>

<input narae="capturetiraeouttirae"/>

<•-- Данное утверждение использует функцию BSPHandle со значением "l" для всех вызовов BioSPI, которые этого требуют. -->

<set name=^,'_bsphandle" value=”l'’/>

<!— Вызов функций BioSPI_BSPLoad и BioSPI_BSPAttach, предоставленных испытуемым ПБУ. -->

<invoke activity="LoadAndAttach" package="02c59458-0c46-1085-95d7-0002a5d5fd2e" break_on_break="true">

<input name=’'bspUuid” var=”bspUuid”/>

<input name=’'bspVersion’’ value="32"/>

<input name="unitIDOrNull'’ value=”0'’/>

Cinput name="bspHandle" var="_bsphandle"/>

Cinput name="eventtimeouttime" var="inserttimeouttime"/>

</invoke>

<set narae="eventtimeoutflag" value="false"/>

<!-- Если испытуемый ПБУ заявляет о поддержке уведомления о событии BioAPI_NOTIFY_SOURCE_PRESENT, следует ждать получения уведомления в пределах указанной максимальной продолжительности. -->

<wait_until timeout_var=”sourcepresenttiraeouttime" setvar="eventtimeoutflag">

Cor varl="nosourcepresentsupported” var2=’’_sourcePresent'’ />

</wait_until>

<!-- Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение

процесса прерывается, в противном случае выдается заключение о соответствии "PASS". -->

cassert_condition response_if_false=”undecided" break_if_false="true">

<description>

Испытуемый ПБУ не поддерживает уведомление о событии BioAPI_NOTIFY_SOURCE_PRESENT или уведомление о событии получено в пределах указанной максимальной продолжительности. C/description>

<not var=’*6venttimeoutflag"/> </assert_condition>

<•— ПБУ готов к получению ЭБИ. Вызвать функцию BioSPI_Enroll для регистрации. —> cinvoke function="BioSPI_Enroll">

<input name=”BSPHandle" var="_bsphandle”/>

Cinput name=’’Purpose"

var="__BioAPI_PURPOSE_ENROLL_FOR_VERIFICATION_ONLY"/>

Cinput name="Subtype’’ value="0’’/>

cinput name="Timeout” var="capturetimeouttime"/> coutput name="NewTemplate" set-var="newtemplata_handle”/>

creturn setvar=”return’’/>

</invoke>

c!— Выдача заключения о соответствии. Если условие, определенное далее в элементе Cdescription>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS". -->

Casser^condition response_if_false="undecided” break_if_false="true">

Cdescription>

Функция BioSPI_Enroll возвращает значение

BioAPI OK.

</description>

<equal_to varl="return” var2="__BioAPI_0K"/>

</assert_condition>

<!-- Вызов функции BioSPI_GetBIRFromHandle c недействительным дескриптором модуля. --> <invoke function="BioSPI_GetBIRFroznHandle">

Cinput name="BSPHandle" value="0"/>

Cinput name="Handle" var="newtemplate_handle"/>

Coutput name="HeaderVersion" setvar= ''headerversion ”/>

Coutput name="ProcessedLevel" setvar="processedlevel"/>

Coutput nam6=’*Format0wner” setvar=”formatowner"/> coutput name=”FormatType" setvar="formattype”/> <output name="Quality” setvar="quality"/>

Coutput name=”Purpose” setvar=”purpose”/> •Coutput name=”BiometricData" setvar=’'biometricdata"/>

creturn setvar=’^,raturn"/>

</invoke>

Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "FAIL", в противном случае выдается заключение о соответствии "PASS". --> cassert_condition>

Cdescription>

Функция BioSPI_GetBIRFromHandle возвращает значение BioAPIERR_INVALID_BSP_HANDLE. </description>

<equal_to varl="return" var2="__BioAPIERR_BSP_INVALID_BSP_HANDLE"/>

</assert condition>

<•-- Вызов функции BioSPI_BSPDetach и BioSPI_BSPUnload.—> <invoke activity="DetachAndUnload"

package="02c59458-0c46-1085-95d7-0002a5d5fd2e"> Cinput name=’'bspUuid" var="bspUuid" /> <input name="BSPHandle” var=”_bsphandle" /> </invoke>

</aetivity>

</package>

8.21 Утверждение 6c BioSPI_GetBIRFromHandIe_InvaIidBIRHand!e

Описание: Проверку данного утверждения проводят с целью определения возвращения сообщения об ошибке при вызове функции BioSPI_GetB!RFromHandle с недействительным дескриптором ЗБИ.

Выдержки

Подпункт 93.2.2

BioAPl_RETURN BioAPI BioAPI_GefBIRFromHandle

(BioAPI_HANDLE BSPHandie,

BioAPI_BIR_HANDLE Handle,

BioAPI_BIR *B1R).

Пункт 8.2.2

Данная функция возвращает ЗБИ, связанную с дескриптором ЗБИ, возвращенным ПБУ.

Параметры: Handle (входной параметр) - дескриптор ЗБИ, заголовок которой необходимо восстановить.

Возвращаемое значение: Значение BioAPI_RETURN указывает на успешное выполнение функции или определяет тип ошибки. Значение BioAPI_OK соответствует успешному выполнению. Остальные значения определяют тип ошибки.

Ссылки: 9.3.2.2 и 8.2.2.

Порядок действий:

• 1) Загрузить испытуемый ПБУ.

• 2) Присоединить испытуемый ПБУ.

• 3) Зарегистрировать ЗБИ для получения дескриптора ЗБИ.

• 4) Вызвать функцию BioSPI_GetBlRFroinHandle с недействительным дескриптором ЗБИ. Предполагается, что функция возвратит ошибку.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии "UNDECIDED”.

Ожидаемые результаты: Вызов функции BioSPI_GetB!RFromHandle возвращает значение BioAPIERR_INVALID_BIR_HANDLE.

Пакет языка утверждения

<package name="0194a9c0-0cc7-1085-8780-0002a5d5fd2e">

<author>

ISO/IEC JTC1 SC37

</author>

<description>

Данный пакет содержит утверждение ’’BioSPI_ GetBIRFromHan-dle_InvalidBIRHandle" (см. далее элемент <description> утверждения).

</description>

<assertion name=''BioSPI_GetBIRFroinHandle_InvalidBIRHandle" model="BSPTesting">

<description>

Проверку данного утверждения проводят с целью определения возвращения сообщения об ошибке при вызове функции BioSPI_GetBIRFromHandle с недействительным дескриптором ЭБИ.

Следующий текст соответствует приведенному в 9.3.2.2 и 8.2.2 спецификации БиоАПИ 2.0.

BioAPI_RETURN BioAPI BioSPIJSetBIRFromHandle (BioAPI_HANDLE BSPHandle, BioAPI_BIR_HANDLE Handle, BioAPI BIR *BIR).

Примечание - Подробное определение функции

BioAPI GetBIRFromHandle приведено в 8.2.2.

Пункт 8.2.2:

Данная функция возвращает ЗЫ4, связанную с дескриптором ЗБИ, возвращенным ПБУ.

Параметры: Handle (входной параметр) - дескриптор ЗБИ, заголовок которой должен быть восстановлен. Возвращаемое значение: Значение BioAPI_RETURN указывает на успешное выполнение функции или определяет тип ошибки. Значение BioAPI_OK означает успешное выполнение. Остальные значения определяют тип ошибки.

Порядок действий при испытании на соответствие:

• 1) Загрузить испытуемый ПБУ.

• 2) Присоединить испытуемый ПБУ.

• 3) Зарегистрировать ЗБИ для получения дескриптора ЗБИ.

• 4) Вызвать функцию BioSPI_GetBIRFromHandle с недостоверным дескриптором ЗБИ. Предполагается, что функция возвратит ошибку.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии "UNDECIDED".

</description>

<!-- УУИД испытуемого ПБУ. -->

<input name="__bepUuid"/>

<’-- Время ожидания для события BioAPI_NOTIFY_INSERT. --> <input name="_inserttimeout"/>

<!— Указание на поддержку испытуемым ПБУ уведомления о событии BioAPI_NOTIFY_SOURCE_PRESENT.-->

<input name="_noSourcePresentSupported" />

<•— Время ожидания для события BioAPI_NOTIFY_SOURCE_PRESENT. —> <input name="_sourcepresenttiraeout"/>

<!-- Время ожидания для функции BioSPI_Enroll. —>

<input narae="__capturetimeout^,'/>

<!-- Вызов основного процесса данного утверждения со значениями входных параметров, определенными значениями параметров утверждения. -->

<invoke activity="BioSPI_GetBIRFromHandle">

<input name="bspUuid” var="_bspUuid"/>

<input name=” inserttimeouttime’’ var="_inserttimeout"/>

<input name=”nosourcepresentsupported” var="_noSourcePresentSupportad"/> Cinput name=”sourcepresenttimeouttime" var="_sourcepresenttimeout"/>

<input name=’*capturetimeouttime” var="_capturetimeout”/>

</invoke>

<!— Процесс связан с функцией интерфейса обратного вызова инфраструктуры/ предоставленной испытуемым компонентом ПБУ. При каждом входящем вызове функции связанный с ней процесс будет вызываться автоматически. -->

<bind activity="EventHandler’' package="02c59458-0c46-1085-95d7-0002a5d5fd2e" function=”BioSPI_EventHandler”/>

</assertion>

<activity names*^,BioSPI_GetBIRFromHandle*'>

<input name="bspUuid"/>

<input name="in3erttimeouttime"/>

<input name="nosourcepresentsupported"/>

<input name="sourcepresenttimeouttime"/>

<input name="capturetimeouttime"/>

<!-- Данное утверждение использует функцию BSPHandle со значением "1" для всех вызовов BioSPI, которые этого требуют. —>

<set name="_bsphandle" value="1"/>

<!-- Вызов функций BioSPI_BSPLoad и BioSPI_BSPAttach, предоставленных испытуемым ПБУ. —>

<invoke activity="LoadAndAttach" package="02c59458-0c46-1085-95d7-0002a5d5fd2e" break_on_break="true">

<input name="bspUuid” var="bspUuid"/>

<input name="bspVersion" values”32"/>

<input name="unitIDOrNull" value="0"/>

<input name="bspHandle" var="_bsphandle"/>

<input name="eventtimeouttime" var="inserttimeouttime"/>

</invoke>

<set name=" event timeoutflag" values’* false"/>

<!— Вели испытуемый ПБУ поддерживает уведомление о событии BioAPI_NOTIFY_SOURCE_PRESENT, следует ждать уведомления о событии в пределах указанной максимальной продолжительности.

<wait_until tiraeout__var="sourcepresenttiraeouttirae" setvars"eventtimeoutflag">

<or varI»"nosourcepresentsupported" var2="_sourcePresent"/>

</wait_until>

<!— Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение 171

процесса прерывается, в противном случае выдается заключение о соответствии "PASS". -->

<assert_condition response_if_false=”undecided" break_if_false="true">

<description>

Испытуемый ПБУ не поддерживает уведомление о событии BioAPI_NOTIFY_SOURCE_PRESENT или уведомление о событии получено в пределах указанной максимальной продолжительности.

</description>

<not var=”eventtimeoutflag'7>

</assert_condition>

<!— ПБУ готов к получению ЭБИ. Вызвать функцию BioSPI для регистрации. -->

<invoke function="BioSPI_Enroll">

<input name=”BSPHandle” var="_bsphandle”/>

Cinput name=”Purpose"

var="__BioAPI_PURP0SE_ENR0LL_F0R_VERIFICATI0N_0NLY^,7>

<input name=”Subtype" value=”0’7>

<input name="Timeout" var="capturetimeouttime"/> <output name="NewTemplate" setvar="newtemplata_handle'7>

Creturn setvar=”return’7>

</invoke>

<•-- Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS". —>

<assert_condition response_if_false="undecided"

break_i f_f alse="true">

<description>

Функция BioSPI_Enroll возвращает значение BioAPI—ОК.

</description>

<equal_to varl="return" var2="__BioAPI_OK"/>

</assert_condition>

Вызов функции BioSPI_GetBIRFromHandle c недействительным дескриптором ЭБИ. —> <invoke functione"BioSPI_GetBIRFromHandle">

<input name="BSPHandle’’ var=”_bsphandle”/>

<input name="Handle’’ value=’’-l"/>

<output name="HeaderVersion" setvar="headerversion"/>

Coutput name="ProcessedLevel" setvar="processedLeval"/>

<output name="FormatOwner" setvar=”formatowner”/> <output name="FormatType" setvar="formattype’’/> <output name="Quality" setvar=’^,quality’’/> <output name="Purpose" setvar="purpose’’/> Coutput name=ⁿBiometricData” setvar="biometricdata"/>

<return setvar="return’’/>

</invoke>

Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "FAIL", в противном случае выдается заключение о соответствии "PASS". --> <assert_condi tion>

<description>

Функция BioSPI_GetBIRFromHandle возвращает значение BioAPIERR_INVALID_BIR_HANDLE.

</description>

<equal_to varl="return’’

var2="__BioAPIERR_BSP_INVAIiID_BIR_HANDLE"/>

</assert condition>

<•— Вызов функций BioSPI_BSPDetach и BioSPI_BSPUnload. —> <invoke асtivity="DetachAndUnload" package="02c59458-0c46-1085-95d7-0002a5d5fd2e"> Cinput name=’'bspUuid" var="bspUuid"/> <input name="BSPHandle” var=”_bsphandle”/>

</invoke>

</activity>

</package>

8.22 Утверждение 7a BioSPI_Ge{HeaderFromHandle_ValidParam

Описание: Проверку данного утверждения проводят с целью определения возвращения значения BioAPI_OK при вызове функции BioSPI_GelHeaderFromHandle с достоверными значениями входных параметров.

Выдержки

Подпункт 9.3.2.3

BioAPI_RETURN BioAPI BioSPI_GetHeaderFromHandle

(BioAPl_HANDLE BSPHandle.

BioAPI_B!R_HANDLE Handle.

BioAPI_BIR_HEADER ^Header).

Пункт 8.2.3

Функция извлекает заголовок ЗБИ, определенной дескриптором.

Раздел А.4

Данная функция должна поддерживаться всеми типами ПБУ.

Ссылки: 9.3.23, 8.2.3 и А.4.

Порядок действий:

• 1) Загрузить испытуемый ПБУ.

• 2) Присоединить испытуемый ПБУ.

• 3) Вызвать функцию BioSPi_Enroll.

• 4) Вызвать функцию BioSPl_GetHeaderFromHandie.

• 5) Проверить возвращаемый код вызова.

• 6) Отсоединить и выгрузить ПБУ.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии "UNDECIDED”.

Ожидаемые результаты: Вызов функции BioSPl_GetHeaderFromHandte возвращает значение BioAPI_OK.

Пакет языка утверждения

«package name="027a7db0-0cc7-1085-9391-0002a5d5fd2e">

<author>

ISO/IEC JTC1 SC37

</author>

<description>

Данный пакет содержит утверждение "BioSPI_ GetHeaderFrom-Handle_ValidParam" (см. далее элемент

<description> утверждения).

</description>

«assertion name="BioSPI_GetHeaderFromHandle_ValidParain" model="BSPTesting''>

<description>

Проверку данного утверждения проводят с целью определения возвращения значения BioAPI_OK при вызове функции BioSPI_GetHeaderFromHandle с достоверными значениями входных параметров.

Следующий текст соответствует приведенному в 9.3.2.3 и 8.2.3 и А.4 спецификации БиоАПИ 2.0.

BioAPI_RETURN BioAPI BioSPI_GetHeaderFromHandle (BioAPI_HANDLE BSPHandle, BioAPI_BIR_HANDLE Handle, BioAPI_BIR_HEADER «Header).

Примечание - Подробное определение функции

BioAPI GetHeaderFromHandle приведено в 8.2.3.

Пункт 8.2.3

Данная функция извлекает заголовок ЗБИ, определенной дескриптором.

Раздел А.4

Данная функция должна поддерживаться всеми типами ПБУ.

Порядок действий при испытании на соответствие:

• 1) Загрузить испытуемый ПБУ.

• 2) Присоединить испытуемый ПБУ.

• 3) Вызвать функцию BioSPI_Enroll.

• 4) Вызвать функцию BioSPI_GetHeaderFromHandle.

• 5) Проверить возвращаемый код вызова.

• 6) Отсоединить и выгрузить ПБУ.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии "UNDECIDED".

</description>

<!— УУИД испытуемого ПБУ.-->

<input name=”_bspUuid"/>

Время ожидания для события BioAPI_NOTIFY_INSERT.--> <input name="_inserttinieout"/>

<!-- Указание на поддержку испытуемым ПБУ уведомления о событии BioAPI_NOTIFY_SOURCE_PRESENT.-->

<input name="_noSourcePresentSupported" />

<!— Время ожидания для события BioAPI_NOTIFY_ SOURCE_PRESENT. —>

<input name="_sourcepresenttiraeout"/>

Время ожидания для функции BioSPI_Enroll. --> <input name="_capturetimaout"/>

<!-- Вызов основного процесса данного утверждения со значениями входных параметров, определенными значениями параметров утверждения. -->

<invoke activity=”BioSPI_GetHeaderFromHandle"> «input name="bspUuid” var="_bspUuid"/> «input name="inserttimeouttime” var="_inserttimeout”/>

«input nama="nosourceprasentsupported" var="_noSourcePresantSupported" /> «input name="sourcepresenttimeouttime" var="_sourcepresenttimeout"/>

•«input name="capturetimaouttime" var="_capturetimeout”/>

</invoke>

<!-- процесс связан с функцией интерфейса обратного вызова инфраструктуры, предоставленной испытуемым компонентом. При каждом входящем вызове функции связанный с ней процесс будет вызываться автоматически. -->

«bind activity="EventHandler"

packages"02c59458-0c46-1085-95d7-0002a5d5fd2e" functions"BioSPI_EvantHandler"/>

</assertion>

«activity nama=’'BioSPI_GetHeaderFromHandle">

<input name="bspUuid"/>

«input name=" inserttimeouttime"/>

«input name="nosourcepresentsupported" />

«input name="sourcepresenttimeouttime"/>

«input names"capturetimeouttime"/>

<!-- данное утверждение использует параметр BSPHandle со значением "1" для всех вызовов BioSPI, которые этого требуют.—>

«set narae="_bsphandle" values"1"/>

<•— Вызов функций BioSPI_BSPLoad и BioSPI_BSPAttach, предоставленных испытуемым ПБУ.

Входное значение параметра "unitIDOrNull" равно "О", поэтому утверждение будет тестировать модуль датчика, выбранный ПБУ.—>

<invoke activity="LoadAndAttach" package="02c59458-0c46-1085-95d7-0002a5d5fd2e" break_on_break="true">

<input name="bspUuid” var=’’bspUuid”/>

Cinput name=’'bspVersion" value=”32’’/>

Cinput name="unitIDOrNull’’ value="0’’/>

<input name=”bspHandle" var="_bsphandle"/>

•Cinput name="eventtimeouttime"

var= ’* inser ttimeouttime’*/>

</invoke>

cset name=”eventtimeoutflag" value="false"/>

<•— Если испытуемый ПБУ поддерживает уведомление о событии BioAPI_NOTIFY_SOURCE_PRESENT, следует ждать получения уведомления в пределах указанной максимальной продолжительности. -->

<wait_until timeout_var="sourcepresenttimeouttime" setvar="evanttimeoutflag">

Cor varl="nosourcepresentsupported” var2=’’_sourcePres6nt" />

</wai t_until>

<!-- Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS". -->

cassert condition response if false="undecided"

break_if_false="true">

<description>

Испытуемый ПБУ не поддерживает уведомление о событии BioAPI_NOTIFY_SOURCE_PRESENT или уведомление о событии получено в пределах указанной максимальной продолжительности.

</description>

<not var=’^,eventtimeoutflag’7>

</assert_condition>

<!— ПБУ готов к получение ЭБИ. Вызвать функции BioSPI_Enroll для регистрации. -->

<invoke function="BioSPI_Enroll">

<input name=’^,BSPHandle’’ var="_bsphandle’’/>

•«input name="Purpose"

var="__BioAPI_PURP0SE_ENR0LL_F0R_VERIFICATI0N_0NLY'7>

<input name=’^,Subtype” value="0’7>

Cinput name="Timeout" var="capturetimaouttime'7> <output name="NawTemplate" setvar="newtemplate_handle’7>

Creturn setvar=’^,return’7>

</invoke>

<!— Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случав выдается заключение о соответствии "PASS". —>

<assert_condi tion response_if_false="undecided” break_if_f alse=”true">

<description>

Функция BioSPI_Enroll возвращает значение BioAPI_OK.

</description>

<equal_to varl="return" var2="__BioAPI_OK”/>

</assert condition>

<•— Вызов функции BioSPI_GetHeaderFroraHandle. —> cinvoke function="BioSPI_GetHeaderFromHandle">

Cinput name="BSPHandle” var="_bsphandle"/> Cinput name=''Handle" var=”newtemplate_handle"/> Coutput name=”HeaderVersion" setvar="headerversion"/>

Coutput name="ProcessedLevel" setvar=''processedLevel"/>

Coutput name="FormatOwner" sotvar="formatowner"/> Coutput name="FormatType” setvar=”formattype”/> Coutput name=”Quality" setvar=”quality"/>

Coutput name="Purpose" setvar=''purpose"/> Coutput name="Productowner” setvar= ’'productowner” /> <output name="ProductType" setvar=”producttype" /> Coutput narae=''Creation_Year" setvar="creationyear" /> Coutput narae="Creation_Month" setvar="creationmonth" /> coutput name=”Creation_Day” setvar="creationday" /> Coutput name=''Creation_Hour" setvar=”creationhour" /> coutput name="Creation_Minute" setvar="creationminute" />

coutput name="Creation_Second" setvar="creationsecond" />

Coutput name=”Expiration_Year” setvar="expirationyear” />

Coutput name="Expiration_Month" setvar="expirationmonth" />

Coutput naroe="Expiration_Day" setvar="expirationday" /> Coutput name="SBFormatOwner” setvar="securityformatowner" />

coutput name="SBFormatType" setvar="securityformattype" /> coutput name="Index" setvar="index" /> Creturn setvar="return”/>

</invoke>

<!— Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "FAIL", в противном случае выдается заключение о соответствии "PASS". --> <assert_condition>

<description>

Функция BioSPI_GetHeaderFromHandle возвращает значение BioAPI_OK.

</description> <equal_to varl=’'return” var2="__BioAPI_OK”/>

</assert_condition>

<•-- Вызов функции BioSPI_BSPDetach и BioSPI_BSPUnload. —> <invoke activity="DetachAndUnload"

package="02c59458-0c46-1085-95d7-0002a5d5fd2e"> <input name=’'bspUuid’^, var="bspUuid’’ /> <input name="BSPHandle" var="_bsphandle" /> </invoke>

</activity>

</package>

8.23 Утверждение 7b BioSPl_(ietHeaderFromHandle_InvalidBSPHandle

Описание: Проверку данного утверждения проводят с целью определения возвращения сообщения об ошибке при вызове функции BioSP!_GetHeaderFromHandle с недействительным дескриптором модуля.

Выдержки

Подпункт 9.3.2.3

BioAPI_RETURN BioAPI BioSPI_GelHeaderFromHandle

(BioAPI_HANDLE BSPHandle,

BioAPI_BIR_HANDLE Handle,

BioAPI_BIR_HEADER ^Header).

Пункт 8.2.3

Функция восстанавливает заголовок ЗБИ, определенной дескриптором.

Параметры: BSPHandle (входной параметр) - дескриптор присоединенного ПБУ.

Ссылки: 9.3.2.3 и 8.2.3.

Порядок действий:

• 1) Загрузить испытуемый ПБУ.

• 2) Присоединить испытуемый ПБУ.

• 3) Вызвать функцию BioSPl_Enroll.

• 4) Вызвать функцию BioSPI_GefHeaderFroniHandle с недействительным дескриптором ПБУ.

• 5) Проверить возвращаемый код вызова.

• 6) Отсоединить и вывести испытуемый ПБУ.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии ’’UNDECIDED”.

Ожидаемые результаты: Вызов функции BioSPl_GetHeaderFromHandte возвращает значение BioAPIERR_INVALID_BSP_HANDLE.

Пакет языка утверждения

<package name=’^,057e0d38-0ccd-1085-83b8-0002a5d5fd2e^,’>

<author>

ISO/IEC JTC1 SC37

</author>

<description>

Данный пакет содержит утверждение "BioSPI_GetHeaderFromHandle_ InvalidBSPHandle" (см. далее элемент <description> утверждения).

</description>

<assertion name="BioSPI_GetHeaderFromHandle_InvalidBSPHandle’’ model="BSPTesting">

<description>

Проверку данного утверждения проводят с целью определения возвращения сообщения об ошибке при вызове функции BioSPI_GetHeaderFromHandle с недействительным дескриптором модуля.

Следующий текст соответствует приведенному в 9.3.2.3 и 8.2.3 спецификации БиоАПИ 2.0.

BioAPI__RETURN BioAPI BioSPIJSetHeaderFromHandle (BioAPI_HANDLE BSPHandle, BioAPI_BIR_HANDLE Handle, BioAPI_BIR_HEADER «Header).

Примечание - Подробное определение функции BioAPI GetHeaderFromHandle приведено в 8.2.3.

Пункт 8.2.3:

Функция восстанавливает заголовок ЗБИ, определенной дескриптором.

Параметры: BSPHandle (входной параметр) - дескриптор присоединенного ПБУ.

Порядок действий при испытании на соответствие:

• 1) Загрузить испытуемый ПБУ.

• 2) Присоединить испытуемый ПБУ.

• 3) Вызвать функцию BioSPI_Enroll.

• 4) Вызвать функцию BioSPI_GetHeaderFromHandle с недействительным дескриптором ПБУ.

• 5) Проверить возвращаемый код вызова.

• 6) Отсоединить и выгрузить испытуемый ПБУ.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии "UNDECIDED".

</d®scription>

УУИД испытуемого ПБУ. -->

<input name="_bspUuid"/>

<!-- Время ожидания для события BioAPI_NOTIFY_INSERT. --> <input name="__inserttimeout"/>

<•— Указание на поддержку испытуемым ПБУ уведомления о событии BioAPI_NOTIFY_SOURCE_PRESENT.—> cinput narae="_noSourcePresentSupported" />

<?-- Время ожидания для события

BioAPI_NOTIFY_SOURCE_PRESENT. —>

cinput name="_sourcepresenttimeout"/>

<•-- Время ожидания для функции BioSPI_Enroll. -->

<input name="_capturetiraeout"/>

<!--Вызов основного процесса данного утверждения со значениями входных параметров, определенными значениями параметров утверждения. -->

Cinvoke activity=^,'BioSPI_GetHeaderFromHandle">

Cinput name=’'bspUuid" var="_bspUuid"/>

Cinput name="inserttimeouttime" var="_inserttimeout"/>

•Cinput name="nosourcepresentsupported” var=’’_noSourcePresentSupported”/>

•cinput name="sourcepresenttimeouttime" var="_sourcepresenttimeout"/>

Cinput name="capturetimeouttime" var="_capturetimeout"/>

</invoke>

<•— Процесс связан с функцией интерфейса обратного вызова инфраструктуры, предоставленной испытуемым компонентом ПБУ.

При каждом входящем вызове функции связанный с ней процесс будет вызываться автоматически. -->

<bind activity="EventHandler" package="02c59458-0c46-1085-95d7-0002a5d5fd2e" function» ”BioSPI_EventHandler’’/>

</assartion>

<activity name="BioSPI_GetHeaderFromHandle''>

<input name="bspUuid"/>

<input narae="inserttimeouttime"/>

<input name="nosourcepresentsupported"/>

<input name»"sourcepresenttimeouttime" />

<input name»"capturetimeouttime"/>

<•-- Данное утверждение использует параметр BSPHandle со значением "1" для всех вызовов BioSPI, которые этого требуют.-->

<set name="_bsphandle" value»"1"/>

<’— Вызов функций BioSPI_BSPLoad и BioSPI_BSPAttach, предоставленных испытуемым ПБУ.

Входное значение параметра "unitIDOrNull" равно "0", поэтому утверждение будет тестировать модуль датчика, выбранный ПБУ. -->

<invoke activity="LoadAndAttach" package="02c59458-0c46-1085-95d7-0002a5d5fd2a" braak_on_braak="true">

<input name»"bspUuid" var="bspUuid”/>

<input name=’'bspVersion" value="32"/>

<input name="unitIDOrNull" value="0"/>

Cinput name="bspHandle" var="_bsphandle"/> <input name="eventtimeouttime" var="inserttimeouttime"/>

</invoke>

<set name»"eventtimeoutflag" value»"false"/>

<!— Если испытуемый ПБУ поддерживает уведомление о событии BioAPI_NOTIFY_SOURCE_PRESENT, следует ждать получения уведомления в пределах указанной максимальной продолжительности.-->

<wait_until timeout_var="sourcepresenttimeouttime" setvar="eventtimeoutflag">

<or varl="nosourcepresentsupported” var2=’^,_sourcePresent"/>

< / wai t_unti1>

<•--- Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS". —>

<assert_condition response_if_false="undecided" break_if_f alse="true">

<description>

Испытуемый ПБУ не поддерживает уведомление о событии BioAPI_NOTIFY_SOURCE_PRESENT или уведомление о событии получено в пределах указанной максимальной продолжительности.

</description>

<not var="evanttimeoutflag"/>

</assert_condition>

<!-- ПБУ готов «получению ЭБИ. Вызвать функцию BioSPI_Enroll для регистрации. —>

•«invoke function="BioSPI_Enroll">

Cinput name=’’BSPHandle” var='’_bsphandle'’/>

Cinput name="Purpose"

var="__BioAPI_PURPOSE_ENROLL_FOR_VERIFICATION_ONLY”/>

Cinput name="Subtype” value=”0’’/>

cinput nama="Timeout" var="capturetimaouttime”/>

<output name="NewTamplate" set-

var=’^,newtemplate_handle’*/>

Creturn setvar="return”/>

</invoke>

<!-- Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS". -->

<assert_condition response_if_false=”undecided” break_if_false="true">

<description>

Функция BioSPI_Enroll возвращает значение BioAPI_OK.

</description>

<equal_to varl="return" var2="__BioAPI_OK"/>

</assert_condition>

<’— Вызов функции BioSPI_GetHeaderFroraHandle c недействительным дескриптором ПБУ. -->

<invoke function="BioSPI_GetHeaderFromHandle">

<input name="BSPHandle" value=”0’’/>

Cinput name="Handle” var="newtemplate_handle^,’/> <output name=”HeaderVersion” setvar=''headerversion"/>

<output name="ProcessedLevel" setvar="processedLevel"/>

<output name=”FormatOvmer” setvar="formatowner"/> <output name="FormatType” setvar=’^,formattype"/> <output name=’'Quality" setvar=”quality”/> Coutput name="Purpose" setvar="purpose"/>

<return 3etvar="return”/>

</invoke>

Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "FAIL", в противном случае выдается заключение о соответствии "PASS". --> <as3ert_condition>

<description>

Функция BioSPI_GetHeaderFromHandle возвращает значение BioAPIERR_INVALID_BSP_HANDLE.

</description>

<equal_to varl="return" var2="__BioAPIERR_BSP_INVALID_BSP_HANDLE'7>

</assert_condition>

<!— Вызов функции BioSPI_BSPDetach и BioSPI_BSPUnload. —> <invoke activity="DetachAndUnload"

package="02c59458-0c46-1085-95d7-0002a5d5fd2e">

<input name=’'bspUuid’’ var=”bepUuid”/>

<input name="BSPHandle" var="_bsphandle'7> </invoke>

</activity>

</package>

8.24 Утверждение 7c BioSPI_GetHeaderFromHandle_InvalidBlRHandle

Описание: Проверку данного утверждения проводят с целью определения возвращения сообщения об ошибке при вызове функции BioSPl_GeiHeaderFromHandle с недостоверным дескриптором ЗБИ.

Выдержки

Подпункт 9.3.2.3

BioAPl_RETURN BioAPI BioSPI_GelHeaderFromHandle (BioAPI-HANDLE BSPHandle,

BioAPI_BIR_HANDLE Handle, BioAPI_BIR_HEADER ^Header).

Пункт 8.2.3

Функция извлекает заголовок ЗБИ, определенной дескриптором.

Параметры: Handle (входной параметр) - дескриптор ЗБИ, заголовок которой необходимо извлечь.

Ошибки: BioAPIERR_INVALlD_BIR_HANDLE.

Ссылки: 9.3.23 и 8.2.3.

Порядок действий:

• 1) Загрузить испытуемый ПБУ.

• 2) Присоединить испытуемый ПБУ.

• 3) Вызвать функцию BioSPl_Enroll.

• 4) Вызвать функцию BioSPl_GeiHeaderFromHandle с недостоверным дескриптором ЗБИ.

• 5) Проверить возвращаемый код вызова.

• 6) Отсоединить и выгрузить ПБУ.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии "UNDECIDED”.

Ожидаемые результаты: Вызов функции BioSPl_GetHeaderFromHandle возвращает значение BioAPlERR_INVALID_BIR_HANDLE.

Пакет языка утверждения

<package name=”02195e68-0cce-1085-a46f-0002a5d5fd2e">

<author>

ISO/IEC JTC1 SC37

</author>

<description>

Данный пакет содержит утверждение "BioSPI_GetHeaderFromHandle_InvalidBIRHandle" (см. далее элемент <description> утверждения).

</description>

<assertion name=’’BioSPI_GetHeaderFromHandla_InvalidBIRHandle" model="BSPTesting">

<description>

Проверку данного утверждения проводят с целью определения возвращения сообщения об ошибке при вызове функции BioSPI_GetHeaderFromHandle с недействительным дескриптором ЗБИ.

Следующий текст соответствует приведенному в 9.3.2.3 и 8.2.3 спецификации БиоАПИ 2.0.

BioAPI__RETURN BioAPI BioSPI_GetHeaderFromHandle

(BioAPI_HANDLE BSPHandle, BioAPI_BIR_HANDLE Handle, BioAPI_BIR_HEADER «Header).

Примечание - Подробное определение функции

BioAPI GetHeaderFromHandle приведено в 8.2.3.

Пункт 8.2.3:

Функция извлекает заголовок ЗБИ, определенной дескриптором.

Параметры: Handle (входной параметр) - дескриптор ЗБИ, заголовок которой необходимо извлечь.

Ошибки: BioAPIERR INVALID BIR HANDLE.

Порядок действий при испытании на соответствие:

• 1) Загрузить испытуемый ПБУ.

• 2) Присоединить испытуемый ПБУ.

• 3) Вызвать функцию BioSPI_Enroll.

• 4) Вызвать функцию BioSPI_GetHeaderFromHandle с недействительным дескриптором ЗБИ.

• 5) Проверить возвращаемый код вызова.

• 6) Отсоединить и выгрузить ПБУ.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии "UNDECIDED".

C/description>

<•-- УУИД испытуемого ПБУ.-->

<input namo=”_bspUuid"/>

<!-- Время ожидания для события BioAPI_NOTIFY_INSERT. --> <input narae="_inserttiraeout"/>

<!— Указание на поддержку испытуемым ПБУ уведомления о событии BioAPI_NOTIFY_SOURCE_PRESENT. —>

Cinput name=”_noSourcePresentSupported" />

время ожидания для события

BioAPI_NOTIFY_SOURCE_PRESENT. —> cinput name="_sourcepresenttimeout*'/>

<!-- Время ожидания для функции BioSPI_Enroll. --> <input name="_capturetimeout’'/>

<’— Вызов основного процесса данного утверждения со значениями входных параметров, определенными значениями параметров утверждения. -->

<invoke activity="BioSPI_GetHeaderFromHandle">

<input name="bspUuid” var="_bspUuid"/>

Cinput name="insarttimeouttime" var="_inserttimaout"/>

Cinput name="nosourcepresentsupported” var=”_noSourcePresentSupported” />

Cinput name="sourcepresenttimeouttime” var="_sourceprasenttimeout"/> cinput name=”capturetimeouttime” var="_capturetimeout”/>

</invoke>

процесс связан с функцией интерфейса обратного вызова инфраструктуры, предоставленной испытуемым компонентом ПБУ. При каждом входящем вызове функции связанный с ней процесс будет вызываться автоматически. -->

«bind activity="EventHandler"

package="02c59458-0c46-1085-95d7-0002a5d5fd2e" f unction="BioSPI_EventHandler '• />

</assertion>

«activity name="BioSPI__GetHeaderFromHandle">

«input name="bspUuid"/>

«input name="inserttimeouttime"/>

«input name="nosourcepresentsupported" /> «input names"sourcepresenttimeouttime"/> «input name="capturetimeouttime"/>

<!-- Данное утверждение использует BSPHandle co значением "1" для всех вызовов BioSPI, которые этого требуют. --> «set name="_>_bsphandle" values"1"/>

<!-- Вызов функций BioSPI_BSPLoad и BioSPI_BSPAttach, предоставленных испытуемым ПБУ.

Входное значение параметра "unitIDOrNull" равно "0", поэтому утверждение будет тестировать модуль датчика, выбранный ПБУ. -->

«invoke activity="LoadAndAttach" package="02c59458-0c46-1085-95d7-0002a5d5fd2e" break_on_break="true">

«input name="bspUuid" var=’'bspUuid"/>

«input name="bspVersion" value="32"/> «input name="unitIDOrNull" value="0"/> «input name="bspHandle" var="_bsphandle’’/> «input name="eventtimeouttime" var="inserttimeouttime"/>

</invoke>

<set name="eventtimeoutflag" value="false"/>

<!-- Если испытуемый ПБУ поддерживает уведомление о событии BioAPI_NOTIFY_SOURCE_PRESENT, следует ждать получения уведомления в пределах указанной максимальной продолжительности. -->

<wait_until timeout_var="sourcepresenttimeouttime" setvar="eventtimeoutflag">

<or varl="nosourcepresentsupported" var2="_sourcePresent" />

</wait_until>

<•— Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS". —>

<assert_condition response_if_false="undecided" break_if_f alse=" true •' >

<description>

Испытуемый ПБУ не поддерживает уведомление о событии BioAPI_NOTIFY_SOURCE_PRESENT или уведомление о событии получено в пределах указанной максимальной продолжительности.

</description>

<not var="eventtimeoutflag’7>

</assert_condi tion>

<!-- ПБУ готов к получению ЭБИ. Вызвать функцию BioSPI_Enroll для регистрации. -->

<invoke function="BioSPI_Enroll">

<input name="BSPHandle" var=’’_bsphandle’7>

<input name="Purpose"

VAr="__BioAPI_PURPOSE_ENROLL_FOR_VERIFICATION_ONLY"/>

<input name=”Subtype" value="0’7>

Cinput name="Timeout" var="capturetimeouttime"/> Coutput name="NewTemplate" setvar="newtemplate_handle"/>

Creturn setvar="return"/>

</invoke>

<•— Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS". —> cassert_condition response_if_false="undecided" braak_if_f alse=" true •' >

<description>

Функция BioSPI_Enroll возвращает значение BioAPI_OK.

</description>

<equal_to varl="return" var2="__BioAPI_OK”/>

</assert_condition>

<•— Вызов функции BioSPI—GetHeaderFromHandle. --> cinvoke function="BioSPI_GetHeaderFromHandle">

Cinput name="BSPHandle" var=”_bsphandle”/> cinput name=’^,Handle” value=’*-l'’ /> coutput name="HeaderVersion” setvar=''headerversion"/>

coutput name="ProcessedLevel" setvar="procassedLevel"/>

coutput name="FormatOwner” setvar="formatownar"/> coutput name="FormatType” setvar=’^,formattype’’/> coutput name=”Quality’’ setvar=”quality”/> coutput name="Purpose" setvar="purpose"/>

creturn setvar="return”/>

</invoke>

Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>_z ложное, выдается заключение о соответствии "FAIL", в противном случае выдается заключение о соответствии "PASS". --> <аssoгt_condition>

<description>

Функция BioSPI_GetHeaderFromHandle возвращает значение BioAPIERR_INVALID_BIR_HANDLE.

</description>

<equal_to varl=”return" var2="__BioAPIERR_BSP_INVALID_BIR_HANDLE"/>

</assert_condition>

<•— Вызов функции BioSPI_BSPDetach и BioSPI_BSPUnload. —> <invoke activity="DetachAndUnload"

package="02c59458-0c46-1085-95d7-0002a5d5fd2e"> <input name=’'bspUuid’’ var=”bspUuid" />

<input name="BSPHandla" var="_bsphandle” /> </invoke>

</activity> </package>

8.25 Утверждение 7d BioSPI_GetHeaderFromHandle_BIRHandleNotFreed Описание: Проверку данного утверждения проводят с целью определения освобождения дескриптора ЗБИ после вызова функции BioSP!_GetHeaderFrom Handle.

Выдержки

Подпункт 9.3.2.3

BioAPl_RETURN BioAPI BioSPI_GelHeaderFromHandle

(BioAPI-HANDLE BSPHandle,

BioAPI_BIR_HANDLE Handle,

BioAPI_BlR_HEADER 'Header).

Пункт 8.2.3

Функция извлекает заголовок ЗБИ, определенной дескриптором. Дескриптор ЗБИ не освобождается ПБУ.

Ссылки: 9.3.2.3 и 8.2.3.

Порядок действий:

• 1) Загрузить испытуемый ПБУ.

• 2) Присоединить испытуемый ПБУ.

• 3) Вызвать функцию BioSPl_Enroll.

• 4) Вызвать функцию BioSPl_GefHeaderFromHandle.

• 5) Вызвать функцию BioSPI_GeiBlRFromHandle. Предполагается, что функция возвратит значение BioAPI_OK.

• 6) Выгрузить и отсоединить испытуемый ПБУ.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии ’’UNDECIDED”.

Ожидаемые результаты: Вызов функции RioSP}_GeiBlRFromHandie возвращает значение BioAPI_OK.

Пакет языка утверждения

<package name=’^,01cc0988-0ccf-1085-a367-0002a5d5fd2e" >

<author>

ISO/IEC JTC1 SC37

</author>

<description>

Данный пакет содержит утверждение "BioSPI_GetHeaderFromHandle_BIRHandleNotFreed" (см. далее элемент <description> утверждения).

</description>

<assertion name="BioSPI_GetHeaderFromHandle_BIRHandleNotFreed" model="BSPTesting">

<description>

Проверку данного утверждения проводят с целью определения высвобождения дескриптора ЗБИ после вызова функции BioSPI_GetHeaderFromHandle.

Следующий текст соответствует приведенному в 9.3.2.3 и 8.2.3 спецификации БиоАПИ 2.0.

BioAPI_RETURN BioAPI BioSPIJSetHeaderFromHandle (BioAPI_HANDLE BSPHandle, BioAPI_BIR_BANDLE Handle, BioAPI_BIR_HEADER *Header).

Примечание - Подробное определение функции

BioAPI GetHeaderFromHandle приведено в 8.2.3.

Пункт 8.2.3:

Функция извлекает заголовок ЗБИ, определенной дескриптором. ПБУ не высвобождает дескриптор ЗБИ. Порядок действий при испытании на соответствие:

• 1) Загрузить испытуемый ПБУ.

• 2) Присоединить испытуемый ПБУ.

• 3) Вызвать функцию BioSPI_Enroll.

• 4) Вызвать функцию BioSPI_GetHeaderFromHandle.

• 5) Вызвать функцию BioSPI_GetBIRFromHandle. Предполагается возвращение значения BioAPI_OK.

• 6) Выгрузить и отсоединить испытуемый ПБУ.

Если какие-либо промежуточные операции прошли неуспешно, то выдается заключение о соответствии "UNDECIDED".

</description>

<!-- УУИД испытуемого ПБУ. -->

<input narae=’'_bspUuid"/>

<!— Время ожидания для события BioAPI NOTIFY INSERT. —>

cinput name="_inserttimeout"/>

<•-- Указание на поддержку испытуемым ПБУ уведомления о событии BioAPI_NOTIFY_SOURCE_PRESENT. —> cinput narae="_noSourcePresentSupported" />

< ’ - - Время ожидания для события BioAPI_NOTIFY_SOURCE_PRESENT. —> <input name="_sourcepresenttimeout"/>

<!-- Время ожидания для функции BioSPI_Enroll. --> <input name="_capturetiraeout"/>

Вызов основного процесса данного утверждения со значениями входных параметров, определенными значениями параметров утверждения. -->

<invoke activity="BioSPI_GetHeaderFromHandle">

<input name="bspUuid" var="_bspUuid”/>

Cinput name="inserttimeouttime”

var="_inser ttimeout’’/>

Cinput name="nosourcepresentsupported" var=noSourcePresentSupported"/> cinput name="sourcepresenttimeouttime” var="_sourcepresenttimeout"/> cinput name="capturetimeouttime” var="_capturetimeout"/>

</invoke>

с!-- процесс связан с функцией интерфейса обратного вызова инфраструктуры, предоставленной испытуемым компонентом ПБУ. При каждом входящем вызове функции связанный с ней процесс будет вызываться автоматически. --> cbind activity="EventHandler"

packages"02c59458-0c46-1085-95d7-0002a5d5fd2e"

function="BioSPI_EventHandler"/>

</assertion>

•cactivity name="BioSPI_GetHeaderFromHandle">

<input name="bspUuid^,'/>

cinput name="inserttimeouttime"/>

cinput narae="nosourcepresentsupported"/>

cinput name="sourcepresenttimeouttirae"/> cinput name="capturetimeouttime"/>

<!-- Данное утверждение использует BSPHandle co значением "l" для всех вызовов BioSPI, которые этого требуют. —> <set name=’'_bsphandle" value=" 1"/>

<!— Вызов функций BioSPI_BSPLoad и BioSPI_BSPAttach, предоставленных испытуемым ПБУ.

Входное значение параметра "unitIDOrNull" равно ”0", поэтому утверждение будет тестировать модуль датчика, выбранный ПБУ.

cinvoke activity="LoadAndAttach" package="02c59458-0c46-1085-95d7-0002a5d5fd2e" break_on_break="true">

Cinput nama=’'bspUuid" var=’'bspUuid’’/>

Cinput name=’'bspVersion” value="32’’/>

•Cinput name="unitIDOrNull’’ value="0"/>

•Cinput name=’^,bspHandle’’ var="_bsphandle"/> •Cinput nam6="eventtimeouttime" var="inserttimeouttime"/>

</invoke>

cset name="eventtiraeoutflag" value="false"/>

<!— Если испытуемый ПБУ поддерживает уведомление о событии BioAPI_NOTIFY_SOURCE_PRESENT, следует ждать получения уведомления в пределах указанной максимальной продолжительности. —>

<wait_until timeout_var="sourcepresenttimeouttime"

setvar="evanttimeoutflag">

Cor varl="nosourcepresentsupported" var2="_sourcaPresent"/>

</wai t_until>

<!-- Выдача заключения о соответствии. Если условие, определенное далее в элементе <description>, ложное, выдается заключение о соответствии "UNDECIDED" и выполнение процесса прерывается, в противном случае выдается заключение о соответствии "PASS". -->