ГОСТ Р 57421—2017
Наличие принципиальной схемы ОД в электронном виде в одном из форматов САПР, связанной с
проектированием печатных плат радиоэлектронной аппаратуры, позволяет с помощью САПР тестов
свести трудоемкостьописания состава компонентов ОД и связей между ними практически к нулю.
6.3.4 Исключение аналоговых элементов из электронного вида схемы объекта диагнос
тирования
На этом этапе проводят анализ принципиальной схемы ОД на предмет наличия в нем аналоговых
элементов. Для каждого из нихдолженбытьсделан выборо его использовании в дальнейшем в процес се
автоматизированного создания тестов. В зависимости от функциональности компонента он может
бытьудаленизсхемы или замененнасоответствующий функциональный цифровойкомпонент. Пример
такой замены приведен в приложении А.
В результатевыполненияэтихдействий преобразованная принципиальнаясхема ОДбудетсосто
ять только из цифровых логических компонентов. Данные, представленные в такой электронной схеме,
готовы для формирования в дальнейшем поведенческой модели функционирования ОД.
6.3.5 Создание поведенческих моделей компонентов объектадиагностирования
Для создания поведенческой модели всего ОД в качестве исходныхданныхдолжна быть исполь
зована информация (см. рисунок3), извлекаемая из электронного представления схемы ОД и поведен
ческихмоделей компонентов, используемых в ОД.
Поведенческиемоделиранеесозданныхкомпонентовдолжны хранитьсяв электроннойбиблиоте
ке САПР тестов. На данном этапе осуществляются создание и отладка моделей тех компонентов,
данные о которых отсутствуют в библиотеке. Этот этап является чрезвычайно важным, так как
именно адекватность поведенческих моделей реальным компонентам обеспечивает адекватность
модели всего ОД в целом.
Создание адекватных поведенческих моделей компонентов требует привлечения высококвали
фицированныхспециалистов. Временныезатраты при этом определяютсяквалификациейэтих специа
листов как в области радиоэлектроники, так и в области моделирования. По мере накопления в
электроннойбиблиотекеСАПРповеденческихмоделейкомпонентовпродолжительностьданногоэтапа
существенноуменьшается и в конечном итогесводится к нулю.
6.3.6 Создание поведенческой модели всего объектадиагностирования
На этом этапе осуществляется автоматическое создание поведенческой модели всего ОД сред
ствами САПР тестов. Эта операциядолжна осуществляться с использованием поведенческих моделей
компонентов, записанных вэлектроннуюбиблиотекуСАПР, иданныхосвязяхмеждуними, извлекаемых
из электронной схемы ОД (см. рисунок 3).
6.3.7 Формирование входных воздействий
Автоматизированное формирование входных воздействий X (см. формулу 1) для создаваемого
теста можетосуществляться двумя методами:
а) путем составления скрипта, определяющегоправила генерациитестовыхвоздействий в тактах
теста;
б) с помощью средств ограниченного случайного моделирования.
Реализация этих способов должна быть обеспечена поддержкой САПР тестов.
Первый из вышеупомянутых методов заключается в составлении разработчиком теста некоторой
последовательности правил формирования входных воздействий. Каждое такое правило определяет
порядокподачи навходопределенной последовательности сигналов (Ху,х1+1^
.....
хк))
или (Ху,xfJ.
......
.
xg.m). (х„х,. ,y.t, .... v— ( V
х*./-1
......x*y-«>-
где (Xy, x,, , x,«.jy
......
xt/) — последовательность двоичных сигналов, подаваемых нау-й вход ОД в
периодс/-го пок-й такт (см. формулу 1),с указанием, с какогозначения(логический «0» или «1»)должна
начинаться последовательность, какова скважность импульсов ит.д.:
X (^ * ^
..........
ХЦ +
ш)’ (Х1♦
Х(*
•—
Х1*
1/*ш)...........( V
XK j
• ............V - m )
последовательностьдвоичных сигналов, подаваемых на/,у ♦ 1
......
у *т входы ОД в период с /-го по к-й
такт.
Второй метод предполагает формирование множества входных воздействий X случайным обра
зом. Важнойсоставной частью этого метода является система контроля ограничений содержимого мно
жествах, сгенерированного случайным образом. Эта системаблокируетвключение всостав множества
Xтестовых векторовX (см.формулу 1). которые представляютсобой запрещенные комбинациидля ОД,
для которого создается тест.
6