ГОСТ Р ИСО/МЭК 24709-2-2011
1) Вызвать функцию BioSPI_BSPLoad с достоверными
значениями входных параметров. Предполагается, что
вызов будет успешным.
2) Вызвать функцию BioSPI_BSPUnload с недостоверным
УУИД.
3) Проверить возвращаемое значение. Если это значение
отличается от значения BioAPIERR_INVALID_UUID,
выдается заключение о соответствии "F A IL ".
Если какие-либо промежуточные операции прошли
неуспешно, то выдается заключение о соответствии
"UNDECIDED".
</description>
< ! -- УУИД испытуемого ПБУ. -->
<input name="_bspUuid"/>
< ! -- Вызов основного процесса данного утверждения
со значениями входных параметров, определенными
значениями параметров утверждения. -->
•Cinvoke activity="BioSPI_BSPUnload">
<input name="bspUuid" var="_bspUuid"/>
</invoke>
</assertion>
< a c tiv ity name="BioSPI_BSPUnload">
<input name="bspUuid"/>
< ! -- Вызвать функцию BioSPI_BSPLoad. -->
<invoke function="BioSPI_BSPLoad">
<input name="BSPUuid" var="bspUuid"/>
<input name="BioAPINotifyCallback" value="*’’/>
<input name="BFPEnumerationHandler" value="*"/>
<input name="MemoryFreeHandler" value="*" />
<return setvar="return"/>
77