ГОСТР 55692-2013

Предисловие

1    РАЗРАБОТАН Закрытым акционерным обществом «Авангард-ТехСт» (ЗАО «Авангард-ТехСт») и ОАО «Авангард»

2    ВНЕСЕН Техническим комитетом по стандартизации ТК 420 «Базовые несущие конструкции, печатные платы, сборка и монтаж электронных модулей»

3    УТВЕРЖДЕН И ВВЕДЕН В ДЕЙСТВИЕ Приказом Федерального агентства по техническому регулированию и метрологии от 22 ноября 2013 г № 2087-ст

4    ВВЕДЕН ВПЕРВЫЕ

Правила применения настоящего стандарта установлены в ПОСТ Р 1.0—2012 (раздел В). Информация об изменениях к настоящему стандарту публикуется в ежегодном (по состоянию на 1 января текущего года) информационном указателе «Национальные стандарты», а официальный текст изменений и поправок - в ежемесячном информационном указателе «Национальные стандарты». В случае пересмотра (замены) или отмены настоящего стандарта соответствующее уведомление будет опубликовано в ближайшем выпуске информационного указателя «Национальные стандарты». Соответствующая информация, уведомление и тексты размещаются также в информационной системе общего пользования - на официальном сайте Федерального агентства по техническому регулированию и метрологии в сети Интернет (gost.ru)

Стандартинформ, 201

Настоящий стандарт не может быть полностью или частично воспроизведен, тиражирован и распространен в качестве официального издания без разрешения Федерального агентства по техническому регулированию и метрологии

II

ГОСТР 55692-2013

НАЦИОНАЛЬНЫЙ СТАНДАРТ РОССИЙСКОЙ ФЕДЕРАЦИИ

МОДУЛИ ЭЛЕКТРОННЫЕ

Методы составления и отладки тест-лрограмм для автоматизированного контроля

Electronic modules Methods for test-programs compiling and debugging for automatized control

Дата введения — 2014—06—01

1    Область применения

Настоящий стандарт распространяется на электронные модули (ЭМ), построенные на цифровых интегральных микросхемах.

Настоящий стандарт устанавливает методы составления и отладки тестовых программ для автоматизированного контроля цифровых ЭМ на установках тестового контроля и диагностики (УТК), разрабатываемых и изготовляемых по ГОСТ Р 52154

2    Нормативные ссылки

В настоящем стандарте использованы нормативные ссылки на следующие стандарты

ГОСТ Р 52154-2003 Аппаратура радиоэлектронная контрольно-измерительная технологическая. Общие технические условия

ГОСТ 19919-74 Контроль автоматизированный технического состояния изделий авиационной техники. Термины и определения

ГОСТ 20911-89 Техническая диагностика. Термины и определения

Примечание - При пользовании настоящим стандартом целесообразно проверить действие ссылочных стандартов в информационной системе общего пользования — на официальном сайте Федерального агентства по техническому регулированию и метрологии в сети Интернет или по ежегодному информационному указателю «Национальные стандарты», который опубликован по состоянию на 1 января текущего года, и по выпускам ежемесячного информационного указателя «Национальные стандарты» за текущий год Если заменен ссылочный стандарт, на который дана недатированная ссылка, то рекомендуется использовать действующую версию этого стандарта с учетом всех внесенных в данную версию изменений Если заменен ссылочный стандарт, на который дана датированная ссылка, то рекомендуется использовать версию этого стандарта с указанным выше годом утверждения (принятия) Если после утверждения настоящего стандарта в ссылочный стандарт, на который дана датированная ссылка, внесено изменение, затрагивающее положение, на которое дана ссылка, то это положение рекомендуется применять без учета данного изменения Если ссылочный стандарт отменен без замены, то положение, в котором дана ссылка на него, рекомендуется применять в части, не затрагивающей эту ссылку

3    Термины, определения, обозначения и сокращения

3.1    Термины и определения

В настоящем стандарте применены термины по ГОСТ 19919. а также следующие термины с соответствующими определениями:

3.1.1    тест-программа: Программа, по которой выполняется автоматизированный контроль ЭМ

3.1.2    логический контроль электронного модуля: Диагностирование неисправностей логического типа (фиксированный «0» или «1») на выходах логических элементов ЭМ.

Издание официальное

3.1.3    параметрический контроль электронного модуля: Проверка уровней напряжений входных и выходных сигналов: проверка задержки прохождения сигналов от входа контролируемого ЭМ до его выхода.

3.1.4    Тестовое техническое диагностирование: По ГОСТ 20911.

3.1.5    канал установки УТК: Часть оборудования установки УТК. служащая как для формирования и передачи логических сигналов на вход контролируемого ЭМ. так и для приема и анализа сигналов. снимаемых с его выхода.

3.2 Обозначения и сокращения

В настоящем стандарте приняты следующие обозначения и сокращения:

ВК - возврат каретки;

Лог. «1» («0») - логическая единица (нуль);

ОК - объект контроля

ПС - перевод строки;

ПЭВМ - персональная вычислительная машина;

ТУ - технические условия;

УТК - установка тестового контроля;

ФЗМ - функционально законченный модуль;

ЭМ - электронный модуль;

ЯСТЕК - язык системы тестового контроля.

4    Основные нормативные положения

4.1    Установки тестового контроля должны обеспечивать:

-    программную коммутацию каналов установки в соответствии с расположением входов-выходов на электрических соединителях контролируемого цифрового ЭМ;

• автоматическую подачу на входы ЭМ наборов входных воздействий тестовой программы:

-    автоматический анализ логических сигналов, снимаемых с выходов контролируемого ЭМ. в каждом наборе тестовой программы;

-    автоматическую блокировку каналов, не подлежащих анализу на данном наборе;

-    автоматическую выдачу информации для оценки результатов контроля.

4.2    Тестовой программой называется последовательность входных сигналов и соответствующих им выходных сигналов, обеспечивающих контроль исправности цифрового модуля, узла или устройства.

Тестовая программа составляется для цифрового модуля конкретного типа.

4.3    Тестовая программа составляется на языке высокого уровня ЯСТЕК (язык системы тестового контроля).

4.4    Тестовую программу, написанную на языке ЯСТЕК, можно использовать для любого типа УТК.

4.6    Ввод тестовой программы должен осуществляться с ПЭВМ, подключенной к установке тестового контроля. Отладочная информация должна выводиться на монитор ПЭВМ

4.7    Тестовая программа должна обеспечивать следующие виды контроля модуля:

-    логический контроль:

-    параметрический контроль.

4.8    Тестовая программа должна составляться на основании технических условий на ЭМ Номенклатуру проверяемых параметров определяет разработчик ТУ.

4.9    Проверки с помощью тестовой программы следует включать в методики проверки ТУ на соответствующий ЭМ.

5    Основные характеристики языка системы тестового

контроля

5.1    Описание языка тестового контроля

5.1.1    Язык ЯСТЕК характеризуется следующими данными:

-    единый формат представления операторов, что позволяет их использовать, читать и понимать;

-    символьное представление переменных величин и констант, наиболее приемлемое для пользователей;

ГОСТР 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

ГОСТР 55692-2013

3    Первые шесть знаков идентификатора являются значащими, каждый идентификатор должен быть единственным в пределах первых шести знаков, первый знак не должен быть цифрой, специальные знаки включать в идентификатор не допускается

4    В качестве идентификаторов запрещается использовать сочетания знаков

R0. R1 - R7. SP, PC

2.4    Операторы языка ЯСТЕК

Основной функциональной единицей языка ЯСТЕК является оператор.

<оператор> ::=

<невыпопняемые операторы> | выполняемые операторы>

<невыполняемые опера то ры> ::=

<операторы объявления констант> |

<операторы объявления переменных> |

<о пера торы объявления имени> \

<операторы настройки транслятора> выполняемые операторы>

арифметические операторы> \

<операторы передачи данных> \ логические операторы> \

<операторы управления ходом тест-программы> \

<операторы ввода-вывода> \

<операторы вызова библиотечных функций>

Примечание - Каждый оператор занимает одну строку текста тест-программы Каждая строка может содержать до 128 знаков и заканчиваться знаком «перевод строки» (ПС) или «возврат каретки» (ВК) Допускается использование последовательности ВК ПС.

Пример -One раторы ЯСТЕК

AD OPER1,1, OPER2; Сложение OPER1 с единицей, результат в OPER2.

2.5    Общий формат оператора в языке ЯСТЕК

Общий формат оператора в ЯСТЕК имеет следующий вид:

«формат оператора ЯСТЕК> ::=

[ <метка>:] ( «)перация> <операнды>] [;<комментарий>] ВК <метка><идентификатор>

«)перация> ::= <имя оператора>

«зперанды> ;.-

«>перанд> \

«зперанды> <разделительный знак> «зперанд>

<разделительный знак>< > | < >

«)перанд> ::=

<число> |

<константа> |

<еыражение> \

<леременная> \

<аргумент в пределах контекста операции>

<комментарий>

<последовательность основных символов, кроме знаков ПС и ВК>

Примечания

1    Число операндов зависит от типа оператора

2    Метки и комментарии необязательны

4

ГОСТР 55692-2013

3 Комментарий может содержать символы русского алфавита Примеры

Ml: SU OPER1. <2*2>‘3, OPER3 ; Вычитание 12 из OPER1, результат в OPER3 VX ADRES ; Перевести контакты, соответствующие переменной ADRES, режим Вход MV 1023, ADRES1, ADRES2 ; Занести 1023 в переменные ADRES1, ADRES2 KN; Конец программы

2.6    Константы в языке ЯСТЕК

Константы в языке ЯСТЕК бывают следующих типов:

1)    числовые:

2)    строковые;

3)    форматные;

4)    временные диаграммы

<операпюры объявления констант> ::=

<операторы объявления числовых констант> |

<операторы объявления строковых констант> \

<операторы объявления форматных констант> |

<опералюры объявления временных диаграмм>

Константы, используемые при описании алгоритма контроля, - символьные имена (идентификаторы). значения которых не могут изменяться в процессе выполнения тест-программы.

Пример

ТР <Пример> <Устройство>

СЮ Constant 1997; Объявляют константу, равную 1997

NACH; Начало выполняемой части программы

PRD Constant; Выводят константу в десятичном виде

KN; Завершают программу

КТР

Такая программа выведет на консоль число 1997 и завершит свою работу.

2.7    Числовые константы

Числовые константы используют для придания осмысленных символьных имен (идентификаторов) часто используемым или важным числовым параметрам, которые не изменяются в ходе выполнения программы.

Допускается использование следующих систем счисления: двоичная; четверичная; восьмеричная, десятичная; шестнадцатеричная.

Пример - Числовые константы можно использовать для задания верхней границы счетчика цикла или же для задания неких управляющих слов, подаваемых на входы тестируемого устройства. <оператор объявления числовых констант> ::=

С2 <имя> <двоичное число> \

С4 <имя> <четверичное число> \

С8 <имя> <восьмеричное число> \

СЮ <имя> <десятичное число> |

С16 <имя> <шестнадцатеричное число>

Пример - Использование числовой константы:

ТР <Пример> <Устройство>

С4 FIRST 23; Начальное значение выводимых чисел CIO MAX_COUNT 5; Счетчик общего количества чисел NUMBER.WD 0 ; Переменная - выводимое число NACH; Начало выполняемой части программы MV FIRST, NUMBER ; Инициализация переменных LABEL:; Начало цикла вывода чисел PRD NUMBER ; Вывод очередного числа PRVK

5

ГОСТР 55692-2013

1C NUMBER ; Увеличение выводимого числа на 1 DO LABEL, MAX COUNT ; Конец цикла вывода чисел KN; Завершение работы программы КТР

Эта программа выведет ряд чисел: 11, 12, 13, 14, 15.

2.8    Строковые константы

Строковые константы используются обычно для задания выводимых сообщений. Сами же строки символов задействованы в операторах начала программы, вывода текста на консоль и в объявлении временных диаграмм.

<о пера тор объявления строковой константы> ::=

<ТЕХТ> <имя> <строка символов>

<строка символов> ::= «символы»

Пример -

ТР <Пример> <Устройство> ; Оператор начала программы

TEXT Str <Вот вам и сообщение> ; Описание строковой константы

NACH; Начало исполняемой части

PRT Str; Вывод сообщения на консоль

KN ; Завершение работы программы

КТР

Эта программа выведет строку «Вот вам и сообщение».

2.9    Временгые диаграммы

Константы типа временных диаграмм используют для задания стандартных последовательностей обмена с тестируемым устройством.

Пример - Для задания состояний управляющих и контрольных контактов микросхемы памяти при записи и чтении.

<операторы временной диаграммьi> :: =

<оператор временной диаграммы> ВК <операторы строк>

<оператор временной диаграммы> ::=

VD <идентификатор> <число тактов > <число строк >

<операторы строк> :;=

<оператор строки> |

<операторы строк> ВК <оператор стоки>

<оператор строки> ::=

S <строка символов>

Примечание - Число тактов и число строк задаются цифрами или простым выражением без использования идентификаторов, например 2+<3-4>

В строке разрешены только знаки подчеркивания и стрелка, указывающая вверх, с помощью которых стилизовано описание изменения логических состояний. Знак подчеркивания соответствует лог. «0». знак «^А» соответствует лог. «1».

П р и м е р S<_^AA_^AA>; 0110011 S <^А_^А_^А_>; 1001010

2.10    Форматные константы

Форматные константы используют в операторах упаковки и распаковки.

<оператор форматная константа>

F <имя> <младший разряд> <старший разряд>

Пример - F FrmConst 5, 10.

2.11    Переменные

Переменные - это имена (идентификаторы), значение которых может изменяться в процессе выполнения программы. В данной версии языка ЯСТЕК существуют переменные следующих типов:

6

ГОСТР 55692-2013

1)    числовые переменные;

2)    переменные описания группы контактов.

2.12    Числовые переменные

Числовые переменные языка ЯСТЕК - 16-битные целые со знаком <оператор объявления переменной слово>

<идентификатор>: <имя операции> <операнды>

<имя операции> ::=

<WD> | <WD2> | <WD4> | <WD8> \ <WD10> \ <WD18>

<WD>. <WD10>

<для введения начального значения переменных по основанию 10>

<WD2> ::= <ло основанию 2>

<WD4> ::= <ло основанию 4>

<WD8> ::= <ло основанию 8>

<WD16> <ло основанию 16>

<операнды><операнд>

<операнд> ::= <число> \ <выражение>

<число>< Dxxx> \ <^АВххх> \ <^АОххх> \ <^АТххх> \ <^АНххх> \ <ххх>

<^АОххх><число задается по основанию 10>

<^АВххх> ;;= <чиспо задается по основанию 2>

<^АТххх><число задается по основанию 4>

<^АОххх> ::= <число задается по основанию 8>

<^АНххх> ;:= <число задается по основанию 16>

<ххх> ::=

<число ххх по умолчанию интерпретируется по основанию 10 либо по тому, которое указано в имени операции (WD8 и т. п.)>

<выражение> ::=

<операнд> <знак> <выражение> \

<операнд> |

<знак операции с одним операндом>

<знак операции с одним операндом> . ;= + | -<операнд>

<    число> |

<константа> \

<леременная> \

<    <выражение> >

<знак> :;= <+> | <-> | </> \ <•> | ф | <&>

<*> ::= <сложение>

<-> ::= <вычитание>

</> ::= <деление>

<*> ::= <умножение>

<!> ::= <логическое или>

<&>логическое и>

Примечание - Выражения обрабатываются слева направо без правил приоритетов, например, 1+<2*3> будет равно 7, а 1+2*3 будет равно 9

Пример - Объявление переменных:

VAR1: WD161 OFF; Начальное значение VAR1 = 255₁₀ VAR2: WD 35+<2'4>-3‘2+^АВ10; Начальное значение VAR2 = 82₁₀ VAR3: WD8 11+^AD11; Начальное значение VAR3 = 20₁₀ VAR4: WD 5+<2+<3-4» ; Начальное значение VAR4 = 6₁₀

2.13    Группы контактов

7

ГОСТР 55692-2013

Переменная описания группы контактов предназначена дпя формирования тестового набора и обозначает соответствие между разрядами машинного слова. 8 котором формируется значение переменной. и контактами, к которым подключается модуль.

Язык ЯСТЕК позволяет описывать тестовые наборы длиной до 256 бит. Таким образом, имеется возможность проверять модуль, имеющий до 256 контактов, на которых формируются состояния, соответствующие тестовому набору. Двоичные значения переменных этого типа определяют состояния сигналов, подаваемых на входы контролируемого модуля и ожидаемые состояния на выходах. В группу контактов, описываемых переменной, включаются контакты, объединение которых имеет некоторый смысл.

Пример - Контакты, по которым подаются состояния, соответствующие адресу оперативной памяти.

Все контакты, определяемые переменной описания группы контактов в каждом тестовом наборе, должны быть определены только как входы или выходы контролируемого модуля.

<операторы задания переменных описания группы контактов> ::=

<начапо списка> ВК <список контактое> ВК <конец списка>

<начапо списка> ::= GR <конец списка>KGR <список контактое> ::=

<одна группа> <список контактов> \

<одна группа>

<одна группа> GK <идентификатор> <номера контактов>

<номера контактов> ::= <номер> \ <номер> <номера контактое>

Пример

GR; Начало объявления групп контактов

GK DAN 5, 28, 13 ; Объявляется группа DAN из трех контаклюв

GK ADR 17, 41, 4, 32 ; Объявляется группа ADR из четырех контактов

GK YPR 7; Объявляется группа YPR из одного контакта

KGR ; Конец объявления групп контактов

Примечания

1    Использовавшийся ранее параметр оператора GR (число групп контактов) теперь игнорируется, поскольку эти объявления все равно завершаются оператором KGR

2    Число переменных типа группа контактов не ограничено

3    Переменная описания группы контактов может описывать от 1 до 32 контактов.

4    Если не будет указана другая система счисления, то номера контактов модуля задаются по основанию 10

Нумерация контактов начинается с 0.

2.14 Операторы структуры тест-программы

Операторы структуры задают название теста, название тестируемого устройства, а также делят программу на область деклараций (объявлений констант и переменных) и область исполняемых операторов. Также существует оператор, завершающий тест-программу.

<оператор структуры> . :=

<оператор начала программы> \

<оператор начала исполняемой части> \

<оператор конца программы>

<оператор начала программы>

ТР <название mecma> <название устройства> название теста> ::= <строка>

название устройства> ::= <строка>

<оператор начала исполняемой части> ::= NACH <оператор конца программы> ::= КТР

П р и м е р

ТР <Ячейка ОЗУ> <ХХХХ3.428.357.931.1>; Описывают тест и устройство С2 Const 1001010 ; Далее идут объявления