ГОСТ Р ИСО/МЭК МФС 11185-9-99
12.3.3.3 Упражнениеустройством
Данный атрибут ИВП не воздействует на абстрактные объекты для управления устройством.
12.3.4 Д о п у с т и м ы ев в о д и м ы ед а н н ы еп о л я
Для атрибута ИВП «допустимые вводимые данные поля» определяют следующие значения:
- выходной тест (строки, реагирование на регистр);
- входной тест (первые знаки, да знакам, нет знакам, реагирование на регистр), в которых
типами значений параметров являются:
- строки: множество строк знаков (как определено в 3.5.2), каждая из которых имеет такую же
длину, как поле;
- первые знаки: одно из
- множество знаков (как определено в 3.5.1);
- символическое значение «нуль»;
- да знакам: одно из
- множество знаков (как определено в 3.5.1);
- символическое значение «все»;
- нет знакам: одно из
- множество знаков (как определено в 3.5.1);
- символическое значение «никакой»;
- реагирование на регистр: символическое значение из множества («да», «нет»).
12.3.4.1 Проверка правильности ввода
12.3.4.1.1 Если атрибут «допустимые вводимые данные поля* имеет значение «выходной тест»,
он не обеспечивает инструкции проверки правильности ввода.
Если атрибут «допустимые вводимые данные поля» имеет значение «входной тест*, он
определяет допустимое содержимое для элементов массива. Информация обновления удовлетворяет
обеспечение проверки правильности ввода данного атрибута ИВП. если, и только если результатом
обновления будет допустимое содержимое .тля каждого элемента массива, который эта информация
адресует в соответствующем поле. Пустой элемент массива всегда должен рассматриваться как
допустимое содержимое. Критерий допустимости содержимого непустого элемента массива опреде
ляется в 12.3.4.1.2. По этому критерию значение «все* для параметра «да знакам* должно интерпре
тироваться как множество, содержащее каждый знак, а значение «никакой* для параметра «нет
знакам» должно интерпретироваться как множество, не содержащее знаков.
П р и м е ч а н и я
1 Элементы массива ноля, которые нс адресуются информацией обновлении, нс тестируются на допус
тимость своего содержимого.
Элементы массива, адресуемые без изменения содержимого, то есть посредством атрибутов обновления
с текущими значениями, тестируются на допустимость.
2 Согласно 13.2 ГОСТ Р ИСО 9040, ссш первичный элемент в атрибуте массива имеет присвоенное
значение, то всем вторичным атрибутом необходимо присвоить значения. Информации обновления может
присвоить значения некоторым вторичным атрибутом из значений глобальных или модальных атрибутов (см.
19.2.2.1 ГОСТ Р ИСО 9040). Обеспечение проверки правильности тестирует окончательное содержимое,
включая те атрибуты, значения которых были присвоены по умолчанию.
12.3.4.1.2 Содержимое непустого элемента со значением координаты к. кроме I, допускается,
если он эквивалентен некоторому знаку в множестве «да знакам» и неэквивалентен любому знаку
в множестве «нет знакам*. Тест эквивалентности определяется в 12.3.4.2.2.
Подобное правило применимо к непустому элементу с к = 1, если множество «первые знаки*
принимает символическое значение «нуль*. Иначе содержимое этого элемента является допусти
мым, если оно эквивалентно некоторому знаку в множестве «первые знаки» по тесту эквивалент
ности. определенному в 12.3.4.2.2.
12.3.4.2 Проверка правильности вывода
12.3.4.2.1Если атрибут «допустимые вводимые данные поля» имеет значение «входной тест»,
он не обеспечивает инструкции проверки правильности вывода.
Если атрибут «допустимые вводимые данные поля» имеет значение «выходной тест*, то
содержимое поля является допустимым, если, и только если оно эквивалентно некоторой строке
знаков в множестве «строки». Содержимое поля и строю» знаков являются эквивалентными, если, и
только если оба следующих утверждения являются истинными, когда элементы массива поля
упорядочены по значению координаты Л, начиная с k = 1:
17