ГОСТ Р ИСО/МЭК 24709-2-2011
Порядок действий:
1) Вызвать функцию
BioSPI_BSPLoad
с достоверными значениями вход
ных параметров. Предполагается, что вызов будет успешным.
2) Вызвать функцию
BioSP/_BSPUnload
с достоверными значениями
входных параметров.
3) Вызвать функцию
BioSPI_BSPAttach
с достоверными значениями входных
параметров. Предполагается возврат значения BioAPIERR_BSP_NOT_LOADED.
Если какие-либо промежуточные операции прошли неуспешно, то выдает
ся заключение о соответствии "UNDECIDED".
Ожидаемые результаты:
Вызов функции
BioSPI_BSPAttach
возвращает
значение BioAPIERR_BSP_NOT_LOADED.
Пакет языка утверждения
<package name="03daf040-0c3b-1085-a9fd-0002a5d5fd2e">
<author>
ISO/IEC JTC1 SC37
</author>
<description>
Данный пакет содержит утверждение "BioSPI_BSPUnload_Confirm"
(см. далее элемент <description> утверждения).
</description>
<assertion name="BioSPI_BSPUnload_Confirm" model="BSPTesting">
<description>
Проверку данного утверждения проводят с целью
определения факта выгрузки ПБУ при вызове функции
BioSPI_BSPUnload.
Следующий текст соответствует приведенному в 9.3.1.2
спецификации БиоАПИ 2.0
BioAPI_RETURN BioAPI BioSPI_BSPUnload
(constBioAPI_UUID *BSPUuid).
85