ГОСТ Р ИСО/МЭК 24709-1— 2009
b
) ноль или более элементов <output> — этот элемент представляет собой выходной параметр про
цесса и определен в 8.11;
c) ноль или более каких-либо из представленных ниже элементов влюбом порядке:
1) <set> — этотэлемент представляет собой присвоение значения новой переменной или суще
ствующей переменной и определен в 8.12;
2) <add>— этот элемент представляет собой прибавление целого числа к значению суще
ствующей переменной (являющейся целым числом) и определен в 8.13;
3) <subtract> — этот элемент представляет собой вычитание целого числа из значения суще
ствующей переменной (являющейся целым числом) и определен в 8.14;
4) <wait_until>— этот элемент представляет собой временное прекращение выполнения теку
щего процесса до тех пор. пока условие не подтверждено, и определен в 8.17;
5) <assert_condition> — этот элемент представляет собой выходной результат испытания на
соответствие, основанного на заданном условии, и определен в 8.18;
6) <invoke> — этот элемент представляет собой вызов процесса или функции стандартного
интерфейса BioAPI и определен в подразделе 8.15.
8.9.2 Семантика
8.9.2.1 Процессы являются исполняемыми модулями языка утверждений и состоят из упорядоченной
последовательности нуля или более элементов, выполняющих следующиедействия:
a) присвоение значения переменной;
b
) временное прекращение выполнения текущего процесса до тех пор, пока условие не подтверж
дено;
c) вызов функции стандартного интерфейса BioAPI;
d) выдача результата проверки соответствия при заданном условии.
e) вызов процесса.
8.92.2 Абстрактная испытательная машина должна выполнятьдействия процесса в установленном
порядке.
8.9.2.3Каждый процессдолжен иметь приоритет, который может быть низким, средним или высоким.
Во время обработки утверждения может выполняться не более одного процесса. Абстрактная испытатель
ная машина должна обеспечивать возможность прерывания процесса с целью выполнения процесса с
более высоким приоритетом (см. 8.9.2.21).
8 9.2.4 Перед началом обработки утверждения абстрактная испытательная машина должна вызвать
исходный процесс утверждения как процесс с высоким приоритетом.
8 9.2.5 Если один процесс вызывает другой процесс, то вызываемому процессу должен быть при
своен приоритет вызывающего процесса.
8 9.2.6 Когда один из следующих элементов
a) элемент <wait_unti!> или
b
) элемент <invoke>. который вызывает функцию стандартного интерфейса BioAPI. в первый раз
появляется в исходном процессе утверждения или в процессе, который был им (прямо или косвенно) выз
ван, приоритет процесса, в котором появился один из указанных элементов, должен быть изменен с высо
кого на низкий непосредственно перед началом выполнения этого элемента. Если процесс, в котором
появился элемент, не является исходным процессом утверждения, приоритет каждого процесса (включая
основной процесс), который (прямо или косвенно) активизировал этот процесс, такжедолжен быть изменен
на низкий.
8 9.2.7 Если в модели испытаний на соответствие для приложений BioAPI (см. 6.2.5.1) компонент
тестирования получает входящий вызов функции стандартного интерфейса BioAPI. должны быть выполне
ны следующие действия.
8.9.2.7.1 Если вызванная функция принадлежитинтерфейсу BioAPI. то входящий вызовдолжен быть
передан аналогичной функции стандартного интерфейса BioAPI, объявленной нормальной структурой. Но
вый (переданный) вызов должен иметь те же значения собственных параметров, что и первоначальный
входящий вызов.
8.9.27.2 Если вызванная функция принадлежит интерфейсуобратного вызова приложения, то входя
щий вызов должен быть передан аналогичной функции стандартного интерфейса BioAPI, объявленной тес
тируемым приложением. Новый (переданный) вызов должен иметь те же значения собственных парамет
ров. что и первоначальный входящий вызов.
23