ГОСТ Р ИСО/МЭК 24709-2-2011
<input name="BSPHandle" var="_bsphandle”/>
<input name="DbHandle" var="dbHandle"/>
<return setvar="return"/>
</invoke>
< ! - - Выдача заключения о соответствии. Если условие, оп
ределенное далее в элементе <description>, ложное,
выдается заключение о соответствии "UNDECIDED" и выполнение
процесса прерывается, в противном случае выдается
заключение о соответствии "PASS". -->
<assert_condition response_if_false="undecided”
break_if_false="true" >
<description>
Функция BioSPI_DbClose возвращает значение
BioAPI_OK.
</description>
<equal_to va rl="re tu rn " var2="__BioAPI_OK"/>
</assert_condition>
<invoke activity="CleanUpDBTesting"
package="02c59458-0c46-1085-95d7-0002a5d5fd2e"
break_on_break="true">
<input name="BSPHandle" var="_bsphandle" />
<input name="dbUuid" var="dbUuid" />
</invoke>
< ! - - Вызвать функции BioSPI_ModuleDetach и
BioSPI_ModuleUnload. -->
<invoke activity="DetachAndUnload"
package="02c59458-0c46-1085-95d7-0002a5d5fd2e" >
<input name="bspUuid" var="bspUuid" />
<input name="BSPHandle" var="_bsphandle" />
</invoke>
< /a ctivity>
</package>
8.67 Утверждение 20b
B io S P I_ D b F re e M a rk e r_ In v a lid B S P H a n d le
555