ГОСТ Р ИСО/МЭК 24709-2-2011
Пакет языка утверждения
<package name="94271080-e723-lld9-898c-0002a5d5c51b">
<author>
ISO/IEC JTC1 SC37
</author>
<description>
Данный пакет содержит утверждение "BioSPI_DbSetMarker_
ValidParam".
</description>
<assertion name="BioSPI_DbSetMarker_ValidParam"
model="BSPTesting">
<description>
Проверку данного утверждения проводят с целью
определения возвращения значения BioAPI_OK при
вызове функции BioSPI_DbSetMarker с достоверными
значениями входных параметров.
Приведенный ниже текст соответствует приведенному в
8.5.5.1 спецификации БиоАПИ 2.0.
BioAPI_RETURN BioAPI BioAPI_DbSetMarker
(BioAPI_HANDLE BSPHandle,
BioAPI_DB_HANDLE DbHandle,
const BioAPI_UUID *KeyValue,
BioAPI_DB_MARKER_HANDLE MarkerHandle).
Маркеру, идентифицированному параметром MarkerHandle,
присваивается указатель на запись, представленную
параметром KeyValue в базе данных ЗБИ, идентифициро
ванной параметром DbHandle. Значение NULL установит
маркер на первую запись в базе данных.
528
Порядок действий при испытании на соответствие:
1) Загрузить испытуемый ПБУ.
2) Присоединить испытуемый ПБУ.