ГОСТ Р ИСО/МЭК 24709-1— 2009
8.3.1.2 Данный элемент не должен иметь текстового содержимого.
8.3.2 Семантика
8.3.2.1 Данный элемент является входным параметром утверждения.
П р и м е ч а н и е — Утверждения не должны содержать выходных параметров.
8.3.2.2 Утверждения с параметрами могут быть обработаны только в том случае, если каждому из
параметров присвоено значение. Способы присваивания значений входным параметрам утверждений в
настоящем стандарте не рассматриваются.
8.3.2.3 Значением атрибута name должно быть корректное имя глобальной переменной (см. 7.2) и не
должно начинаться с двух следующих друг за другом символов «НИЖНЕЕ ПОДЧЕРКИВАНИЕ» (к
__
»).
8.3.2.4 Необходимо создать входные параметры утвержаений и присвоить им значения, представ
ленные как входные данные теста.
8.3.2.5 Присвоение значений параметрам утверждений является неотъемлемой частью подготовки к
проведению испытания. Результаты испытания некоторых реализаций могут зависетьот значений, которые
присвоены входным параметрам утверждений. Значения, используемые в данном тесте, фиксируются в
стандартном отчете о результатах испытания (см. раздел 12).
8.3.2.6 Именами входных параметровутверждениядолжны быть корректные имена глобальных пере
менных (см. 7.2). Имена всех глобальных переменных (включая входные параметры) должны быть уни
кальными.
П р и м е ч а н и е — Значения, присвоенные параметрам утверждения, не могут быть изменены в процессе
обработки утверждения, потому что все элементы языка утверждений, осуществляющие присваивание или изме
нение значения глобальной переменной (см. 8.6.2.3, 8.7.2.3. 8.12.2.2, 8.13.2.2, 8.14.2.2 и 8.17.9.1) не позволяют
использовать параметр утверждения как переменную, значение которой можно изменять.
8.3.3Пример
<input name=”_uuid7>
8.4 Элемент <invoke> (дочерний для элемента <assertlon>)
8.4.1 Синтаксис
8.4.1.1 Данный элемент должен иметь следующие атрибуты:
a) activity (обязательный атрибут)— значением этого атрибутадолжно быть имя процесса;
b) package (необязательный атрибут) — если этот атрибут присутствует, то его значением должно
быть имя пакета, который содержит процесс, определенный атрибутом activity.
8.4.1.2 В состав элемента в указанном порядке должны входить:
-нольили более элементов <input> — этот элемент предоставляетзначениедля входного параметра
процесса и определен в 8.5.
8.4.2 Семантика
8.4.2.1 Этот элемент обозначает основной процесс утверждения и определяет фактические входные
параметры его вызова. Обработка утверждения должна приводить к выполнению процесса с предостав
ленными входными параметрами. Каждое утверждениедолжно содержать только один такой процесс.
8.4.2.2 Процесс можетсодержатьэлементы <assert_condition> с атрибутом break_if_falso (см. 8.18.2.3).
Если в ходе выполнения процесса произошло прерывание, обработка всего утверждения должна быть
завершена.
8.4.2.3 Набор элементов <input> вызова должен соответствовать входным параметрам процесса
согласно 85.2.2.
8 4.2.4 Атрибут package является обязательным, если процесс находится не втом пакете, в котором
находится утверждение; в противном случае атрибут package является необязательным.
8.4.2.5Процесс может иметь выходные параметры или не иметь их. Если у основного процесса
утверждения есть выходные параметры, то значения всех выходных параметров вызываемых процессов
сбрасываются после завершения этих процессов.
П р и м е ч а н и е — Это аналогично вызову процесса с выходными параметрами другим процессом без
предоставления каких-либо элементов <output>. соответствующих выходным параметрам вызываемого процес са.
Такой способ вызова допускается и используется тогда, когда вызывающему процессу не нужна информация о
значениях выходных параметров вызываемого процесса.
8.4 2.6 У элемента утверждений <invoke> недолжно быть атрибута break_on_break (см. 8.15.2.6.5)
и дочернего объекта <only_lf>.
19