ГОСТ Р ИСО/МЭК 24709-2-2011
< ! - - Выдача заключения о соответствии. Если условие,
определенное далее в элементе «description:», ложное,
выдается заключение о соответствии "FAIL" и выполнение
процесса прерывается, в противном случае выдается
заключение о соответствии "PASS". -->
<assert_condition >
<description>
Функция BioSPI_DbFreeMarker возвращает значение B io-
APIERR_MARKER_HANDLE_IS_INVALID.
</description>
<equal_to v a rl= ”return"
var2="__BioAPIERR_BSP_MARKER_HANDLE_IS_INVALID"/>
</assert_condition>
< ! - - Вызвать функцию BioSPI_DbClose с достоверными
значениями входных параметров. -->
<invoke function="BioSPI_DbClose">
<input name="BSPHandle" var="_bsphandle"/>
Cinput 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>
569