ГОСТ Р ИСО/МЭК 24709-2-2011
Освобождает память и ресурсы, связанные с определенным маркером и
объявляет недостоверным MarkerHandle.
Ссылки: 9.3.5.6 и 8.5.6.1.
Порядок действий:
1) Загрузить испытуемый ПБУ.
2) Присоединить испытуемый ПБУ.
3) Вызвать функцию BioSPI_DhOpen для открытия определенной базы
данных.
4) Вызвать функцию BioSPI_DbFгееMarker с недостоверным значением
дескриптора маркера.
5) Проверить возвращаемый код. Предполагается возвращение значения
BioAPIERR_MARKER_HANDLE_IS_INVALID.
6) Отсоединить и выгрузить ПБУ.
Если какие-либо промежуточные операции прошли неуспешно, то выдает
ся заключение о соответствии "UNDECIDED".
Ожидаемые результаты: Вызов функции BioSPI_DbFreeMarker возвра
щает значение BioAPIERR_MARKER_HANDLE_IS_INVALID.
Пакет языка утверждения
<package name="a9007b60-e802-lld9-8a5d-0002a5d5c51b">
<author>
ISO/IEC JTC1 SC37
</author>
<description>
Данный пакет содержит утверждение "BioSPI_DbFreeMarker_
InvalidM arker"
</description>
<assertion name="BioSPI_DbFreeMarker_InvalidMarker"
model="BSPTesting">
<description>
Проверку данного утверждения проводят с целью вызова
функции BioSPI_DbFreeMarker с недостоверным дескриптором
564