ГОСТ Р ИСО/МЭК 24709-2-2011
Функция BioSPI_BSPAttach возвращает значение
BioAPIERR_INVALID_BSP_HANDLE.
</description>
<equal_to va rl="return"
var2="__BioAPIERR_BSP_INVALID_BSP_HANDLE"/>
</assert_condition>
< ! - - Вызов функции BioSPI_BSPUnload. -->
<invoke function="BioSPI_BSPUnload" >
<input 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 va rl="re tu rn " var2="__BioAPI_OK"/>
</assert_condition>
< /a ctivity>
</package>
8.13 Утверждение 4a BioSPI_BSPDetach_ValidParam
Описание: Проверку данного утверждения проводят с целью определения
возвращения значения BioAPI_OK при вызове функции BioSPI_BSPDetach с
достоверным дескриптором модуля.
115