allgosts.ru35. ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ. МАШИНЫ КОНТОРСКИЕ35.240. Применение информационных технологий

ГОСТ Р 57421-2017 Система тестовых программ для цифровых электронных модулей. Автоматизированные методы построения

Обозначение:
ГОСТ Р 57421-2017
Наименование:
Система тестовых программ для цифровых электронных модулей. Автоматизированные методы построения
Статус:
Действует
Дата введения:
07/01/2017
Дата отмены:
-
Заменен на:
-
Код ОКС:
35.240.01

Текст ГОСТ Р 57421-2017 Система тестовых программ для цифровых электронных модулей. Автоматизированные методы построения



ФЕДЕРАЛЬНОЕ АГЕНТСТВО

ПО ТЕХНИЧЕСКОМУ РЕГУЛИРОВАНИЮ И МЕТРОЛОГИИ

НАЦИОНАЛЬНЫЙ

СТАНДАРТ

РОССИЙСКОЙ

ФЕДЕРАЦИИ

ГОСТР

57421-

2017

СИСТЕМА ТЕСТОВЫХ ПРОГРАММ ДЛЯ ЦИФРОВЫХ ЭЛЕКТРОННЫХ МОДУЛЕЙ

Автоматизированные методы построения

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

Москва

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

2017

ГОСТ Р 57421—2017

Предисловие

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

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

3    УТВЕРЖДЕН И ВВЕДЕН В ДЕЙСТВИЕ Приказом Федерального агентства по техническому регулированию и метрологии от 16 марта 2017 г. Ns 142-ст

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

Правила применения настоящего стандарта установлены в статье 26 Федерального закона от 29июня 2015г. Ы9162ФЗ«Остандартизациив Российской Федерации». Информация об изменениях к настоящему стандарту публикуется в ежегодном (по состоянию на 1 января текущего года) информационном указателе «Национальные стандарты», а официальный текст изменений и поправок — в ежемесячном информационном указателе «Национальные стандарты». В случае пересмотра (замены) или отмены настоящего стандарта соответствующее уведомление будет опубликовано в ближайшем выпуске ежемесячного информационного указателя «Национальные стандарты». Соответствующая информация, уведомление и тексты размещаются также в информационной системе общего пользования — на официальном сайте Федерального агентства по техническому регулированию и метрологии в сети Интернет ()

© Стандартинформ.2017

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

ГОСТ Р 57421—2017

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

СИСТЕМА ТЕСТОВЫХ ПРОГРАММ ДЛЯ ЦИФРОВЫХ ЭЛЕКТРОННЫХ МОДУЛЕЙ

Автоматизированные методы построения

System of test programs tor digital electronic modules.

Automated methods of construction

Дате введений — 2017—07—01

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

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

Настоящий стандарт устанавливает методы автоматизированного построения и отладки тестовых программ для автоматизированного контроля ЦЭМ на автоматизированном тестовом оборудовании — АТО. разрабатываемых и изготовляемых по ГОСТ Р 52154.

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

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

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

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

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

ГОСТ Р 55692 Модули электронные. Методы составления и отладки тест-программ для автоматизированного контроля

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

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

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

3.1 автоматизированное тестовое оборудование: Стендовое оборудование, предназначенное для контроля функционирования и диагностики радиоэлектронной аппаратуры.

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

1

ГОСТ Р 57421—2017

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

ЦЭМ.

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

3.4    поведенческая модель: Имитационная модель изделия, описывающая функционирование (поведение)изделия.

3.5    система автоматизированного проектирования тестов (САПР тестов): Система автоматизированного проектирования тестов для цифровых объектов диагностирования.

3.6    скрипт: Программа, автоматизирующаяпроцессгекерациитестовыхвоздействийдляобъек-та диагностирования.

3.7    z-состояние: Состояние контакта логической схемы, при котором сопротивление между этим контактом и остальной схемой очень велико и этот контакт можно считать отключенным от логической схемы.

4    Сокращения

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

АТО    — автоматизированное тестовое оборудование:

ИМС    — интегральная микросхема;

ПЛИС    — программируемая логическая интегральная схема;

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

ОД    — объект диагностирования:

САПР    — система автоматизированного проектирования:

ЦЭМ    —цифровой электронный модуль;

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

HDL    — языкописания аппаратуры (Hardware Description anguage).

5    Основные положения

5.1    АТО должно обеспечивать:

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

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

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

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

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

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

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

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

5.5    Тестовая программа ЦЭМ должна обеспечивать его логический контроль.

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

6    Методы построения тестовых программ для цифровых

электронных модулей

6.1 Процедура тестового контроля

Процедура тестового контроля ЦЭМ (тестирования), выполняемая АТО. должна осуществляться в следующей последовательности:

а) подача на входы ЦЭМ. являющегося ОД. последовательности (множество X) из л тестовых воздействий (тестовых векторов) X,. при этом каждый вектор содержит К двоичных элементов х,,:

*=<Х,.Х2.....Хп).    (1}

2

ГОСТ Р 57421—2017

ГДвХ,а(Х,„Хл.....XJ:

б) считывание с выходов ОД последовательности (множество У) л фактических ответов (реакций) У„ каждый из которых содержит Ь двоичных элементов:

Уа(У„ Уг,...,УЛ),    {2)

где У,-{упа.....ул):

в) сравнение п реакций У(с п эталонными откликами Z из множества Z:

Z-(Zt,Z2.....Zn).    (3)

где Z; = (2И. 2д.....ZJ.

Схема использования АТО представлена на рисунке 1.

Результат

теста

Примечание — Множество {X. Z) представляет собой тест конкретного ОД.

Рисунок 1 — Схема использования АТО для тестирования ОД

ЦЭМ как ОД следует представлять как набор взаимосвязанных цифровых элементов (ИМС, ПЛИС, микропроцессоров и т. д.), каждый из которых функционирует по собственному алгоритму. Для восстановления работоспособности ОД координаты любой неисправности требуется определять с точностью до корпусов цифровых элементов ОД. которые в этом случае подлежат замене.

При составлении теста ОД необходимо учитывать следующие допущения:

a)    модуль разработан в полком соответствии с его функциями, состоит только из цифровых элементов. его схемные решения не оодержат ошибок, в том числе связанных с временными задержками элементов;

b)    модуль, изготовленный в полном соответствии с технической документацией на него и без производственного брака, считается работоспособным.

Тест должен проверять исправность элементов, входящих в состав ОД, целостность связей между элементами и отсутствие дополнительных «паразитных» связей внутри ОД. Иными словами, тест проверяет логику работы ОД.

Построение теста ОД (X. Z) должно заключаться в поиске таких последовательностей входных воздействий X. при которых порожденные ими внутренние сигналы ОД проходят со входа на выход ОД через егокомпоненты. Впроцессе этого тест должен инициировать максимально возможное количество неисправностей, которые должны проявиться на выходах ОД. Качество теста определяется долей обнаруживаемых им неисправностей.

6.2 Способы построения тестовых программ

6.2.1 Один из первых способов создания тестов заключается в формировании входных воздействий для ОД. Как правило, входные воздействия для ОД устанавливают таким образом, чтобы наиболее полно проверить функциональность ОД. Эти воздействия подаются на заведомо исправный ЦЭМ. а все реакции ОД У (см. формулу 2) запоминаются (для исправных ОД Y-Z). Из вышеупомянутых входных воздействий на ОД Х(см. формулу 1) и соответствующих им реакций OflZ(CM. формулу 3)формируются тесты.

3

ГОСТ Р 57421—2017

6.2.2 Тесты ОД (функциональные тесты) можно также получить путем использования логических анализаторов. При этом ЦЭМ представляется как «черный ящик» без учета его внутренней структуры и особенностей функционирования. Получаемый таким образом функциональный тест характеризуется лишьсовокупностью входных воздействий Х(см. формулу 1) и соответстаующим ей множеством эталон* ных откликов Z (см. формулу 3). Вышеупомянутый функциональный тест формируется в процессе использования ОД в изделии, составной частью которогоон является. В штатном режиме функциониро* вания изделия с входов и выходов ОД снимается информация, которая и является представлением модели ОД. Схема получения функционального теста ОД представлена на рисунке 2.

Функциональный тест

Рисунок 2 — Схема получения функционального тесте с помощью логического анализатора

Данный способ крайне сложен с технической точки зрения и используется крайне редко.

6.2.3 Третий способ формирования теста устройства основан на компьютерном моделировании ЦЭМ. В этом случае при создании теста вместо реального ОД используется его компьютерная модель.

При тестировании ЦЭМ достаточно локализации неисправностей на уровне корпусов компонентов ЦЭМ. так как только они подлежат замене при проведении ремонта ОД. В связи сэтим для моделирования достаточно использовать поведенческие модели (HDL-модели). создаваемые с помощью языков описания аппаратуры, например Verilog или VHDL.

Наиболее предпочтительными способами создания тестов ЦЭМ являются способы, основанные на компьютерном моделировании. Это связано с тем. что моделирование в отличие от других способов позволяет:

* получать эталонную информацию о значениях цифровых логических сигналов в любой момент выполнения тестов;

-    получать эталонные временные диаграммы цифровых сигналов в любой точке ОД;

-    осуществлять предварительную оценку качества тестов.

Еще одним преимуществом компьютерного моделирования является автоматическое построение HDL-моделей ОД. Оно осуществляется на основании автоматического анализа электронного представления принципиальной схемы ОД. которую можно представить в виде графа, представленного на рисунке 3.

Исходными данными для автоматического построения HDL-модели ОД являются:

а)    схема связей компонентов (Netlist). таких как процессоры. ИМС. ПЛИС, микросхемы памяти и т. д.. входящих в состав ОД;

б)    HDL-модели компонентов ОД.

Для того чтобы воспользоваться преимуществами моделирования, необходимо, чтобы модель была адекватна реальному объекту. Проверка этого свойства HDL-модели ОД проводится с помощью АТО.котороепозволяет сразу оценить адекватность моделиОДприменительнокиспользуемому тесту.

ГОСТ Р 57421—2017

Примечания

1 Узлы графа О,. 02.....0А— компоненты ОД (ИМС.ПЛИС. микропроцессоры и т. д.);

2    Ребра графа — связи между компонентами.

Рисунок 3 — Представление принципиальной схемы ОД а виде графа

6.3 Этапы автоматизированного построения тестовых программ

6.3.1    Общие положения

Автоматизированное построение тестовых программ (тестов) должно быть обеспечено программной поддержкой этого процесса САПР тестов для цифровых ОД.

Пример — САПР 'СИМ-ТЕСТ».

Разработка тестов должна осуществляться применительно к конкретному образцу АТО. Автоматизированное построение тестовых программ (тестов) должно производиться в несколько этапов.

6.3.2    Анализ объекта диагностирования

Для создания теста необходимо, насколько это возможно, в деталях знать логику работы ОД. Это связано с необходимостью учета особенностей ОД при составлении теста. Так. например, началу функционирования любого ОД в соответствии со своим предназначением, как правило, предшествует подготовительный период. При этом может производиться сброс ОД е исходное состояние, запись определенной информации в управляющие регистры, загрузка программы из оперативной памяти в микропроцессор и т. д. После завершения подготовительного периода ОД готов к проведению тестирования.

Для получения этой информации требуются ознакомление с принципами функционирования ОД. изучение эксплуатационной и конструкторской документации, анализ схемы ОД. Выполнение задач данного этапа требует привлечения специалистов. Продолжительность этапа определяется сложностью ОД. полнотой информации о нем. качеством эксплуатационной документации и квалификацией привлекаемых специалистов.

6.3.3    Формирование схемы объекта диагностирования в электронном виде

8 некоторых случаях для ОД не имеется принципиальной схемы в электронном виде. В этих случаях требуется по бумажному представлению схемы воссоздавать (создавать) ее электронный вид. На данном этапе выполняется работа, требующая привлечения специалиста с навыками работы в САПР по проектированию печатных плат радиоэлектронной аппаратуры, в которой описываются состав компонентов ОД и связи между ними.

При отсутствии электронного представления данный этап — это довольно трудоемкий процесс, дл ительностькоторого зависитотобъема схемы, ее сложности и квалификации специалиста лоСАПР.

5

ГОСТ Р 57421—2017

Наличие принципиальной схемы ОД е электронном виде в одном из форматов САПР, связанной с проектированием печатных плат радиоэлектронной аппаратуры, позволяет с помощью САПР тестов свести трудоемкость описания состава компонентов ОД и связей между ними практически к нулю.

6.3.4    Исключение аналоговых элементов из электронного вида схемы объекта диагнос-тирования

На этом этапе проводят анализ принципиальной схемы ОД на предмет наличия в нем аналоговых элементов. Для каждого из них должен быть сделан еыборо его использовании в дальнейшем в процессе автоматизированного создания тестов. 8 зависимости от функциональности компонента он может быть удален изсхемы или заменен на соответствующий функциональный цифровой компонент. Пример такой замены приведен в приложении А.

8 результате выполнения этих действий преобразованная принципиальная схема ОД будет состоять только из цифровых логических компонентов. Данные, представленные в такой электронной схеме, готовы для формирования в дальнейшем поведенческой модели функционирования ОД.

6.3.5    Создание поведенческих моделей компонентов объекта диагностирования

Для создания поведенческой модели всего ОД в качестве исходных данных должна быть использована информация (см. рисунок 3). извлекаемая из электронного представления схемы ОД и поведенческих моделей компонентов, используемых в ОД.

Поведенческие модели ранее созданных компонентов должны храниться в электронной библиотеке САПР тестов. На данном этапе осуществляются создание и отладка моделей тех компонентов, данные о которых отсутствуют в библиотеке. Этот этап является чрезвычайно важным, так как именно адекватность поведенческих моделей реальным компонентам обеспечивает адекватность модели всего ОД в целом.

Создание адекватных поведенческих моделей компонентов требует привлечения высококвалифицированных специалистов. Временные затраты при этом определяются квалификацией этих специалистов как в области радиоэлектроники, так и в области моделирования. По мере накопления в электронной библиотеке САПР поведенческих моделей компонентов продолжительность данного этапа существенно уменьшается и в конечном итоге сводится к нулю.

6.3.6    Создание поведенческой модели всего объекта диагностирования

На этом этапе осуществляется автоматическое создание поведенческой модели всего ОД средствами САПР тестов. Эта операция должна осуществляться с использованием поведенческих моделей компонентов, записанных в электроннуюбибпиотеку САПР, и данныхосвязях между ними, извлекаемых из электронной схемы ОД (см. рисунок 3).

6.3.7    Формирование входных воздействий

Автоматизированное формирование входных воздействий X (см. формулу 1) для создаваемого теста может осуществляться двумя методами:

а)    путем составления скрипта, определяющего правила генерации тестовых воздействий в тактах теста:

б)    с помощью средств ограниченного случайного моделирования.

Реализация этих способов должна быть обеспечена поддержкой САПР тестов.

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

.....(*.. ..........

где (х,(, xt. t <. х,, 3}.....xA f) — последовательность двоичных сигналов, подаваемых на >-й вход ОД в

период с f-ro по k-й такт (см. формулу 1), с указанием, с какого значения (логический «0» или «1») должна начинаться последовательность, какова скважность импульсов и т. д.:

(X/ Хи . ). .... Ху 4 m), (X, . jj, xf, tJ 4 .....X.. 1у|). .... (X|y,    . .....♦ m)-

последовательность двоичных сигналов, подаваемых на jj * 1.....j + m входы ОД в период с r-го по к-й

такт.

Второй метод предполагает формирование множества входных воздействий X случайным образом. Важной составной частью этого метода является система контроля ограничений содержимого множества X. сгенерированного случайным образом. Эта система блокирует включение в состав множества Хтестовых векторов Х (см.формулу 1). которые представляют собой запрещенные комбинации для ОД. для которого создается тест.

6

ГОСТ Р 57421—2017

6.3.8    Формирование теста

Завершение работ по автоматизированному созданию тестов осуществляется в автоматическом режиме путем проведения моделирования функционирования ОД. осуществляемого средствами САПР тестов. При этом на вход модели (входные контакты краевых разъемов ОД) подаются ранее сформированные входные воздействия X (см.формулу 1). а с выходов модели (выходных контактов краевых разъемов ОД) снимаются реакции ОД Y (см.формулу 2), которые принимаются за эталонные Z (см. формулу 3).

Совокупность входных воздействий Хи соответствующих им эталонных откликов Z образует тест (X. Z). который записывается в базу данных.

6.3.9    Предварительная оценка качества теста

Для принятия решения о возможности использования теста (X, Z) на реальном ОД необходимо провести оценку его качества, которая определяется с помощью формулы:

KsOasL'    (4)

N

где N — число цепей в ОД;

N — число цепей из Мцепей. в которых произошло хотя быодноизменение значений логических сигналов «О» или *0».

По результатам этого анализа принимается решение о возможности использования теста на реальном ОД или о необходимости доработки теста — итерационное выполнение 6.3.7—6.3.9.

7

ГОСТ Р 57421—2017

Приложение А (справочное)

Пример замены аналогового элемента на соответствующую функциональную цифровую модель компонента

Допустим, что в анализируемом ОД используется аналоговый элемент — управляемый одноразрядный повторитель цифрового сигнале с третьим состоянием. Не рисунке А. 1 приведена его схемотехническая реализация. взятая из принципиальной схемы некоторого устройства.

Этот управляемый повторитель реализован на безе шинного формирователя 1102АП8 (050). схемы И-НЕ с открытым коллектором 539ЛА9 (051). транзистора, трех резисторов и фильтрующего конденсатора. Из анализа этого узле можно заключить, что при подаче логического нуля на управляющий вход («control») сигнал на выходе («output») узла повторяет сигнал на информационном входе («input»), правда с уменьшенным уровнем логической «Т*.

Рисунок А.1 — Схема управляемого одноразрядного повторителя цифрового сигнала с третьим состоянием

При подаче на управляющий вход логического сигнала «1» выход узла (»ои{риГ»)будет находиться в^-состоя-нии. Функциональность этого узла на языке Venlog представляется следующим образом:

aaalgn a_output • (a_control »■ 0) ? ajnput: 1 'bz.

При коррекции исходной схемы ОД рассмотренный аналоговый элемент заменяется на соответствующую функциональную цифровую модель компонента PVT. выполняющего те же функции, вид этого компоненте приведен на рисунке А.2.

Э_вХОД

э_коитроль

FVT

$_выход узла

Рисунок А.2 — Компонент FVT

8

ГОСТ Р 57421—2017

А нелогичным обрезом необходимо поступить со всеми другими узлами, реализующими цифровые функции с помощью аналоговых элементов. Следует отметить также, что поскольку при формировании тестов рассматривается только реакция ОД на цифровые воздействия, то все элементы, связанные с фильтрацией литания (резисторы. конденсаторы, стабилизаторы), необходимо удалить из схемы ОД.

9

ГОСТ Р 57421—2017

УДК681.3.023-182.77:006.354    ОКС35.240.01    Э67    ОКП501250

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

Редактор 6.Н. Зверев Техническим редактор 8.Н. Прусакова Корректор Л.С. Лысенко Компьютерная верстка И.А . НапеиконоО

Сдано а набор 17.03.2017. Подписано е печать 20.04.20t7. Формат 60 ■ 64 Гарнитура Ариал. Уел. печ. л. 1.40. Уч.*изд. л. 1.28. Тирам 29 ап. Эак S20.

Подготовлено па основе эпектроииой версии, предоставленной разработчиком стандарта

Издано и отпечатано во ФГУП «СТАНДАРТИМФОРМ». 123995 Москва, Гранатный лор.. 4.