ГОСТР 55692— 2013
- в процессе трансляции вычисляются значения выражений, используемых в качестве операндов,
а результат вычислений воспринимается как значение операнда;
- большой набор условных операторов управляющих ходом тестовой программы;
- библиотечные функции типа «бегущий 0», «бегущая 1», случайный код и т. п„ что значительно
облегчает составление тестовых программ;
- управление модулями ведется в соответствии с коммутацией, объявленной для переменных.
5.1.2 При разработке алгоритмов контроля функционально законченного модуля (ФЗМ) следует
объединять в группы контакты контролируемого модуля, по которым возможно алгоритмическое по
строение входных воздействий и выходных реакций. У ФЗМ следует выделять операционную, адрес
ную и управляющую части. При разработке той части алгоритма, которая осуществляет генерацию ин
формации для контроля операционной и адресной частей модуля, разработчикдолжен задавать закон
изменения входной информации по наборам и описать, исходя из знаний функций, реализуемых ФЗМ.
закон изменений выходной информации как эталонной реакции.
П р и м е р - При контроле операционных запоминающих устройств адресные входы объединя
ются в одну группу, и закон изменения кода на ней задают, начиная с нулевого значения до максималь ного
в виде прибавления лог. «1».
Генерацию информации для управляющей части следует осуществлять путем непосредственного
задания управляющих кодов или временных диаграмм.
П р и м е р - Каждое поле микрокоманд задается определенным кодом.
5.1.3 При использовании языка ЯСТЕК значительно сжимается описание тестовой последова
тельности. Сжатие происходит за счет следующих возможностей:
1) тестовый набор строится только по тем контактам, которые интересуют пользователя на этом
наборе;
2) при формировании тестового набора вводятся только изменения относительно предыдущих
наборов в прямом коде или в коде задания конкретного закона изменения состояния на контактах кон
тролируемого модуля;
3) любым контактам электрического соединителя могут задаваться нормированные импульсные
последовательности.
4) изобразительные средства языка позволяют описывать изменения состояний на контактах
электрического соединителя контролируемого модуля в виде временных диаграмм:
5) возможна организация условных переходов по результатам сравнения.
2.2 Символы языка тестового контроля (алфавит)
В языке тестового контроля используются следующие символы:
<символ> ::= <буква> | <цифра> \ <ограничитвль>
<6уква><любая прописная буква латинского алфавита>
<цифра> ::= < 0. 1. 2. 3. 4. 5. 6. 7. 8. 9>
<ограничитсль> ::= <знак> | <разделитвль> \ <скобка>
< з н а к > <+> | <-> | <*> | </> | </> | <&> \ <_> | <А>
<раздслитвль> .;= <:> | < > | <#> | <ПС> | <ВК> | <;> | <г> | <@>
<скобка> ::= « > | < »
П р и м е ч а н и я
1 Разделитель < > означает пробел.
2 Использование букв русского алфавита разрешается только в комментариях и текстовых переменных.
2.3 Идентификаторы языка ЯСТЕК
Идентификаторы служат для обозначения меток, переменных, констант.
Структура идентификатора:
идентификатор> ::= <6уква> { <буква> \ <цифра>}
П р и м е ч а н и я
1 Каждый идентификатор (кроме меток) должен быть предварительно объявлен.
2 Один и тот же идентификатор нельзя использовать для обозначения двух различных переменных, меток,
констант.
3