ГОСТ Р ИСО/МЭК 24709-1— 2009
7.2.6 Переменные языка утверждений не имеют типа данных. Значения всех переменных представ
ляют собой строки символов, соответствующие требованиям ИСО/МЭК 10646. неограниченной длины.
7.2.7 Значение должно быть воспринято как целое число в следующих случаях:
a) когда его оценивают с помощью числовой операции (см. 8.23—8.28);
b
) когда оно передается функции стандартного интерфейса BioAPI. которая принимает в качестве
входного параметра только целое число.
7.2.8 В 7.2.7, перечисление а) типовая числовая операция получает одно или более значений (строк
символов, представляющих собой целые числа) в качестве входных параметров и возвращает значение.
Некоторое время в течение операции значения могут быть представлены водном из внутренних форматов,
однако за пределами операции данный факт никогда не рассматривается.
7.2.9 В 7.2.7, перечисление Ь) преобразование строки символов в целое число является частью про
цесса вызова функции и но проявляется в синтаксисе языка утверждений.
7.2.10 Подобным образом переменной может быть присвоено значение (строка символов), получае
мое после преобразования целого числа встроку символов. Это возможно в случае присвоения перемен
ной выходного параметра или возвращаемого значения стандартной функции интерфейса BioAPI.
7.2.11 Преобразование целого числа в строку символов является частью процесса вызова функции и
не проявляется в синтаксисе языка утверждения.
7.2.12 Обработка других типов данных, которые используются в стандартных интерфейсах BioAPI,
происходит аналогично обработке целых чисел. Собственными типами данных являются списки, абстракт
ные идентификаторы, адреса функций и адреса данных (см. раздел 9); все эти типы данных представляют
собой строки символов на языке утверждений.
7.3 Встроенные переменные
7.3.1 Ряд глобальных переменных являются частью языка утверждений. Их имена начинаются с
двух следующих друг за другом символов НИЖНЕЕ ПОДЧЕРКИВАНИЕ («
__
»). Эти переменные опреде
лены в разделе 10.
7.3.2 Абстрактная испытательная машина должна создать все встроенные переменные и присвоить
им начальные значения до начала основного процесса утверждения и не должна разрушать встроенные
переменныедо его завершения. Большинство встроенных переменных имеют неизменные значения, опре
деленные в 10.1. Значения других встроенных переменных могут изменяться в соответствии с 10.2.
П р и м е ч а н и е — Имена глобальных переменных, которые начинаются с двух следующих друг за другом
символов НИЖНЕЕ ПОДЧЕРКИВАНИЕ («__»), не могут быть значением атрибута setvar элементов <output> («вы
ходной параметр>), «return» («возвращаемое значение>) и <wait_until> (<ожидать_пока>) (см. 8.6.2.3, 8.7.2.3 и
8.17.2.9.1 соответственно) или значением атрибута name элементов <input> («входной параметру, <set> («при
своить значение>). «add> («добавить:») и «subtract» («вычесть») (см. 8.3.2.3, 8.12.2.2. 8.13.2.2 и 8.14.2.2 соответ
ственно). Поэтому явное изменение значения встроенной переменной невозможно.
7.3.3 При выполнении любого процесса встроенные переменные должны обновляться только втече
ние тех интервалов времени, в которых процесс может быть прерван (см. 8.9.2.21). По окончании каждого
такого интервала времени значения всех взаимосвязанных переменных должны бытьсогласованы.
П р и м е ч а н и е — Для обеспечения надежности следует обращаться к двум или более взаимосвязанным
переменным в пределах условий <only_if> (<только_если>), <wait_until» (<ожидать_пока>) и аналогичных. При
необходимости обращения к нескольким встроенным переменным в последовательности элементов (напри
мер. присвоить значения двух или более встроенных переменных обычным переменным с помощью элемента
«set» («присвоить значение»)), элементы должны быть включены в процесс со значением атрибута atomic="true".
7.4 Представление целых чисел
7.4.1 Неотрицательные целые числадолжны быть представлены в виде строк, состоящих из одного
или более символов, указанных в ИСО/МЭК 10646 в интервале от 0 до 9 (от «0» до «9»),
7.4.2 Отрицательные целые числа должны быть представлены ввиде соответствующих положитель
ных целых чисел, которым предшествует символ «ДЕФИС-МИНУС» («-»).
7.4.3 Стандартное представление положительного целого числа представляет собой число, которое
не имеет «0» в старших разрядах. Стандартное представление целого числа 0 представляет собой число,
состоящее изодного символа 0 («0»). Стандартное представление отрицательного целого числа состоит из
символа «ДЕФИС-МИНУС» («-») и стандартного представления соответствующего положительного целого
числа.
15