ГОСТ Р ИСО/МЭК 24709-1— 2009
c) break_if_false (необязательный атрибут) — если этот атрибут присутствует, то его значением
должно быть "false" или "true"; этот атрибут определяет, должно ли выполнение текущей операции быть
прекращено вслучае, если в результате проверки условия получено значение "false"; по умолчанию атри бут
break_if_false имеет значение "false” ;
d) var (необязательный атрибут) — если этот атрибут присутствует, то его значением должно быть
корректное имя переменной (см. 7.2).
8.18.1.2 Содержимое этого элемента должно включать в себя те же дочерние элементы, которые
включает элемент <only_if> (см. 8.16).
8.18.1.3 Если атрибут var присутствует,то элемент недолжен иметь текстового содержимого и дочер
них элементов.
8.18.2 Семантика
8.18.2.1 Этот элемент определяет:
a)условие, которое позволяет установить определенный аспект функционирования тестируемой реа
лизации;
b
) заключение о соответствии ("pass", "undecided"), которое необходимо выдать в случае выполне
ния условия и
c) заключение о соответствии ("fail", "undecided"), которое необходимо выдать вслучае невыполне
ния условия.
8.18.2.2 Атрибуты элемента <assert_condition> позволяют определить критерий соответствия, со
гласно которому выполнение определенного условия приводит к выдаче заключения о соответствии "pass", а
невыполнение — к выдаче заключения о соответствии "undicided". в то время как невыполнениедругого
условия приводит к выдаче заключения о соответствии "fail", а его выполнение — к выдаче заключения о
соответствии "undecided".
8.18.2.3 Атрибут break_if_false определяет, станет ли отрицательный результат проверки условия
("false") причиной того, что абстрактная испытательная машина прекратит выполнение текущего процесса
(см. 8.9.2.18). Этот атрибут позволяет обрабатывать такие типовые случаи, в которых совокупность после
довательныхдействий, соответствующая выдаче определенного заключения о соответствии, является бес
смысленной.
8.18.2.4 Условие в элементе <assert_condition> основано на одной переменной или на сочетании
переменных, значений, логических операторов, числовых операторов и иных операторов.
8.18.2.5 Если атрибут var присутствует, то его значение должно быть именем существующей пере
менной. а значение переменной должно быть корректным представлением логического значения (см. 7.5).
Результат проверки условия должен совпадать со значением переменной.
8.18.2.6 Если атрибут var отсутствует и нет дочерних элементов, то результатом проверки условия
должно быть значение "true".
8.18.2.7 Если присутствуют дочерние элементы, то результатом проверки условия каждого дочернего
элемента должно быть корректное представление логического значения (см. 7.5). Результатом проверки
условия в элементе <assert_condition> должно быть значение "true", если результаты проверки условий
всех дочерних элементов имеют значение "true", в противном случае результатом проверки условия в
элементе <assert_condition> должно быть значение "false".
8.18.2.8 Если в результате проверки условия получено значение "true", то соответствующее заклю чение
о соответствии (см. 8.18.2.1. перечисление Ь))должно быть выдано согласно требованиям раздела 11.
8.18.2.9 Если в результате проверки условия получено значение "false", то соответствующее зак
лючение о соответствии (см. 8.18.2.1. перечисление с))должно быть выдано согласно требованиям разде
ла 11. Если атрибут break_if_false имеет значение "true", то выполнение текущего процессадолжно быть
прекращено (см. 8.9.2.18).
8.19 Элемент <and>
8.19.1 Синтаксис
8.19.1.1 Данный элемент должен иметь следующие атрибуты:
a) var1 (необязательный атрибут) — если этот атрибут присутствует, то его значением должно быть
корректное имя переменной (см. 7.2);
b) var2 (необязательный атрибут) — если этот атрибут присутствует, то его значением должно быть
корректное имя переменной (см. 7.2).
8.19.1.2 Содержимое этого элементадолжно включать в себя те же дочерние элементы, что и содер
жимое элемента <only_if> (см. 8.16), но с ограничением, определенным в 8.19.1.3.
36