ГОСТ Р ИСО/МЭК 24709-1— 2009
8.17.2.5 Если присутствуют дочерние элементы, то результатом проворки условия каждогодочернего
элемента должно быть корректное представление логического значения (см. 7.5). Результатом проверки
условия в элементе <wait_until> должно быть значение "true", если результаты проверки условий всех
дочерних элементов имеют значение "true", в противном случае результатом проверки условия в элементе
<wait_until> должно быть значение "false".
8.17.2.6 Если атрибут timeout_value присутствует, то его значением должно быть корректное пред
ставление целого числа (см. 7.4). которое определяет максимальнуюдопустимую продолжительность ожи
дания (в миллисекундах). Если присутствует атрибут timeout_var. то его значением должно быть имя су
ществующей переменной, а значением этой переменнойдолжно быть корректное представление целого
числа (см. 7.4), которое определяет максимальную допустимую продолжительность. В противном случае
ожидание может длиться (концептуально) в течение неопределенного времени.
П р и м е ч а н и е — См. примечание к 8.15.2.8.
8.17.2.7 Проверка условия должна проводиться многократно и постоянно втечение времени ожида
ния до тех лор. пока в результате проверки условия не получено значение "true" или недостигнута макси
мальная допустимая продолжительность ожидания (в случае ее наличия).
П р и м е ч а н и е — На практике необходимо проверять условие в дискретных точках во времени каждый
раз. когда есть вероятность того, что входящий вызов компонента тестирования или прошедшее время повлияли
на значение условия. Испытания, проводимые в соответствии с требованиями настоящего стандарта, должны
гарантировать, что любой переход от "false" к "true” в течение времени ожидания зафиксирован, даже если
условие имеет значение "true" в течение очень короткого промежутка времени, а затем снова принимает
значе ние "false".
8.17.2.8 Проверку условия следует проводить не менее одного раза. Если в результате первой про
верки получено значение "true", то в этом случае максимальную допустимую продолжительность не счи
тают превышенной.
П р и м е ч а н и е — Проверку условия следует проводить даже в том случае, когда максимальная допусти
мая продолжительность равна нулю или является отрицательным значением.
8.17.2.9 Если присутствует атрибут setvar. то должны быть соблюдены четыре условия, описанные
в 8.17.2.9.1— 8.17.2.9.4.
8.17.2.9.1 Значением атрибута setvarдолжно быть корректное имя глобальной или локальной пере
менной (см. 7.2). Значением атрибута setvar недолжен быть входной параметр обрабатываемого утверж
дения (см. 8.3) и оно не должно начинаться с двух следующих друг за другом символов «НИЖНЕЕ ПОД
ЧЕРКИВАНИЕ» («
__
»). Переменная, имя которой определяется значением атрибута setvar. может суще
ствоватьдо присвоения ей значения или может быть новой переменной, созданной впроцессе присвоения.
8.17.2.9.2 Если максимальная допустимая продолжительность превышена, в то время как результат
проверки условия все еще имеет значение "false", то переменная должна быть создана (если она не
существует) и ей должно быть присвоено значение "true".
8.17.2.9.3 Если в начале ожидания результат проверки условия уже имеет значение "true" или приоб
ретает значение "true" в течение ожидания, то переменная должна быть создана (если она не существует) и
ей должно быть присвоено значение "false".
8.17.29.4 Переменная недолжна создаваться (если она не существуетдо ожидания) и ей недолжны
присваиваться значения, кроме случаев, указанных в 8.17.2.9.2 и 8.17.2.9.3.
П р и м е ч а н и е — Это предполагает, что переменная не может быть инициализирована до начала
ожидания.
8.18 Эломент <assert_condition>
8.18.1 Синтаксис
8.18.1.1 Данный элементдолжен иметь следующие атрибуты:
a) response_if_true (необязательный атрибут) — если этот атрибут присутствует, то его значением
должно быть "pass" или "undecided"; этот атрибут определяет, какой выдать ответ о соответствии, если в
результате проверки условия получено значение "true"; по умолчанию атрибут response_if_true имеет
значение"pass":
b) responseJf_false (необязательный атрибут) — если этот атрибут присутствует, то его значением
должно быть "fail" или "undecided": этот атрибут определяет, какой выдать ответ о соответствии, если в
результате проверки условия получено значение "false": по умолчанию атрибут response_if_false имеет
значение "fail".
35