ГОСТ Р ИСО/МЭК 24709-2-2011
5) Вызвать функцию BioSPl_DbFreeMarker с достоверными значениями
входных параметров.
6) Проверить возвращаемый код. Предполагается возвращение значения
BioAPI_OK.
7) Отсоединить и выгрузить ПБУ.
Если какие-либо промежуточные операции прошли неуспешно, то выдает
ся заключение о соответствии "UNDECIDED".
Ожидаемые результаты: Вызов функции BioSPI_DbFreeMarker возвра
щает значение BioAPI_OK.
Пакет языка утверждения
<package name="2elc9520-e7fl-lld9-a011-0002a5d5c51b">
<author>
ISO/IEC JTC1 SC37
</author>
«description:»
Данный пакет содержит утверждение "BioSPI_DbFreeMarker_
ValidParam".
</description>
<assertion name="BioSPI_DbFreeMarker_ValidParam"
model="BSPTesting">
<description>
Проверку данного утверждения проводят с целью вызова
функции BioSPI_DbFreeMarker с достоверными значениями
входных параметров и проверки, является ли возвращенный
код значением BioAPI_OK.
Приведенный ниже текст соответствует приведенному в
8 . 5 . б.1 спецификации БиоАПИ 2.0.
BioAPI_RETURN BioAPI BioAPI_DbFreeMarker
(BioAPI_HANDLE BSPHandle,
BioAPI_DB_HANDLE DbHandle,
const BioAPI_UUID *KeyValue,
BioAPI DB_MARKER_HANDLE MarkerHandle).
549