Электронная версияГОС! Р ИСО/МЭК МФС 11185-8-98
к
к,
2 Согласно 13.2 ГОСТ Р ИСО 9040, если первичный элемент в атрибуте массива имеет присвоенное
значение, то веем вторичным атрибутам необходимо присвоить значения. Информация обновления может
присвоить значения некоторым вторичным атрибутам из значений глобальных или модальных атрибутов (см.
19.2.2.1 ГОСТ Р ИСО 9040). Обеспечение проверки правильности тестирует окончательное содержимое, вклю
чая те атрибуты, значения которых были присвоены по умолчанию.
12.3.5.1.2 Содержимое непустого элемента со значением координаты
к,
кроме 1. допускается,
если он эквивалентен некоторому знаку в множестве «да знакам» и неэквивалентен любому знаку
в множестве «нет знакам». Тест эквивалентности определяется в 12.3.5.2.2 настоящего стандарта.
Подобное правило применимо к непустому элементу с= 1, если множество «первые знаки»
принимает символическое значение «нуль». Иначе содержимое этого элемента является допусти
мым, если оно эквивалентно некоторому знаку в множестве «первые знаки» по тесту эквивалент
ности. определенному в 12.3.5.2.2 настоящего стандарта.
12.3.5.2 Проверка правильности вывода
12.3.5.2.1 Если атрибут «допустимые вводимые данные пазя* имеет значение «входной тест»,
он не обеспечивает инструкции проверки правильности вывода.
Если атрибут «допустимые вводимые данные поля» имеет значение «выходной тест*, то
содержимое поля является допустимым, если, и только если, оно эквивалентно некоторой строке
знаков в множестве «строки». Содержимое поля и строка знаков являются эквивалентными, если, и
только если, оба следующих утверждения являются истинными, когда элементы массива поля
упорядочены по значению координатыначиная с А= 1:
- содержимое каждого непустого элемента массива поля эквивалентно соответствующему
знаку строки знаков по тесту эквивате нтности, определенному в 12.3.5.2.2 настоящего стандарта;
- содержимое каждого пустого элемента массива поля эквивалентно соответствующему знаку
строки знаков по тесту эквивалентности, определенному в 12.3.5.2.3 настоящего стандарта.
12.3.5.2.2 Тест на эквивалентность между знаком и содержимым непустого элемента массива
охватывает только те атрибуты, которые определяются для этого знака, т.е. все атрибуты для
классифицированного знака, но только первичный и вторичный атрибуты репертуара знаков для
неклассифицированного знака.
Если знак и содержимое элемента массива имеют одинаковое числовое значение для охваты
ваемых тестом атрибутов, то они всегда считаются эквивалентными. Они также считаются эквива
лентными. если все последующие утверждения являются истинными:
a) параметр «реагирование на регистр» имеет значение «нет»;
b
) знак н содержимое элемента массива имеют одинаковое числовое значение для всех
охватываемых тестом вторичных атрибутов, но различные числовые значения для первичного
атрибута;
c) общее значение для вторичного атрибута репертуара знаков соответствует репертуару, чей
тип определения репертуара по умолчанию имеет значение, определенное в 18.2.4 ИСО 9040;
d) имена графических знаков в общем репертуаре, которые идентифицируются значениями
имеющих отношение первичных атрибутов, отличаются только тем. что одно имя имеет слово
ПРОПИСНАЯ, а друтое имеет слово СТРОЧНАЯ.
П р и м е ч а н и е — Имена графических знаков для типа присвоения репертуара по умолчанию записы
ваются в таблицы международного регистра ИСО наборов кодированных знаков, чтобы использоваться с
последовательностями переходов.
Дополнительные тесты эквивалентности могут быть определены средствами вне определения
типа объекта управления, чтобы охватить ситуацию, в которой утверждения а) и Ь) являются
истинными, а утверждение с) ядляется ложным.
12.3.5.2.3 Пустой элемент массива определяется на эквивалентность знаку (как определено в
3.5.1 настоящего стандарта), если, и только если, значение первичного атрибута знака изображает
графический знак ПРОБЕЛ в репертуаре, установленным посредством значения вторичного атри
бута репертуара знаков.
П р и м е ч а н и я
1 В соответствии с 13.2 ГОСТ Р ИСО 9040 элемент массива считается иусгым. если он не имеет
назначенного ему текущего значения первичного атрибута.
2 В соответствии с 18.2.4.1 ГОСТ Р ИСО 9040 тип определения репертуара по умолчанию определяет,
что. если в позиции GL таблицы колов используется набор G из 94 знаков, то ясно, что знак ПРОБЕЛ является
допустимым в позиции 2/0. Эта позиция соответствует значению 32 первичного атрибута.
12.3.5.3 Управлениеустройствам
Данный атрибут ИВП не воздействует на абстрактные объекты для управления устройством.
19