ГОСТР 55692— 2013
PRVK
PRD Variable ; Выводят “64”
PRVK
PR16 Variable : Выводят “40"
PRVK
6 Методика автоматизированного построения тестовых программ
6.1 Методика построения модели объекта контроля
6.1.1 Исходным документом при составлении тестовой программы на языке ЯСТЕК является ал
горитм контроля объектов контроля (ОК).
6.1.2 Одной из основных задач, решаемых тестовой программой, является проверка функциони
рования и диагностика неисправностей ОК. представляющих собой готовое к серийному производству
или ужо выпускаемое цифровое электронное устройство РЭА. Под цифровым электронным устрой
ством понимают набор электронных модулей (ИМС, ПЛИС (программируемая логическая интеграль
ная схема), микропроцессор и т. д.]. каждый из которых функционирует по собственному алгоритму.
Алгоритм функционирования электронного устройства определяется алгоритмами функционирования
модулей, связями между модулями и временными последовательностями входных сигналов.
6.1.3 С физической точки зрения цифровое электронное устройство как ОК представляет собой
изделие, снабженное внешними (краевыми) разъемами (рисунок 1).
6.1.4 Работа устройства тактируется одним из входных сигналов либо от одного внутреннего ге
нератора. входящего в состав устройства. На входные контакты краевых разъемов могут подаваться
входные цифровые тестовые воздействия, а с выходных контактов этих разъемов может быть снята ре
акция (выходные цифровые сигналы) устройства на входные воздействия. Сопоставление полученных
реакций с эталонными позволяет сделать вывод о работоспособности ОК и осуществлять диагностику
обнаруженных неисправностей. Совокупность входных воздействий и соответствующие им эталонные
реакции ОК представляют собой тест.
IS
1
OS
1
IS
2
Электронное
цифровое
устройство
OS
2
IS*
IS"
os’
т
(cm
osm
Рисунок 1 - Физическое представление устройства
6.1.5 Составление тестов является достаточно трудоемкой задачей. Для решения этой задачи ис
пользуют систему автоматизированного построения тестов цифровых электронных устройств.
6.1.6 В процессе своей работы система сначала создает программную модель функционирования
ОК. а на втором этапе формирует тесты для ОК.
6.1.7 С программной точки зрения устройство в целом как объект контроля представляет собой
программу, моделирующую функционирование устройства. Программа реализует некоторый алгоритм,
обрабатывающий входные сигналы и представляющий собой описание функционирования устройства
21