Элементы и узлы информационных и управляющих систем (Основы теории и синтеза). Булатов В.Н. - 92 стр.

UptoLike

ВУЗ: 

ОГУ | Оренбург

Составители: 

Рубрика: 

Таблица 7.2
х1 х2 x3 f
1-1
f
1-0
f
1,1-1
f
1,2-1
f
1,3-1
0 0 0 1 0 1 1 1
0 0 1 1 0 1 1 1
0 1 0 1 0 1 1 1
0 1 1 1 0 0 1 1
1 0 0 1 0 1 1 1
1 0 1 1 0 1 0 1
1 1 0 1 0 1 1 0
1 1 1 1 0 0 0 0
Таблицы функций неисправностей являются универсальным средством
для построения алгоритмов проверки любых устройств. Однако ТФН
обладают существенным недостатком: они громоздки, что значительно
затрудняет выбор минимальной совокупности тестов и анализ полученных
результатов.
Упростить разработку тестов позволяют аналитические методы
определения минимальных тестовых наборов, разработанные для
комбинационных логических схем:
1)
Активизация критического пути или D-алгоритм основан на анализе
математической модели схемы и проведении логических экспериментов
продвижения неисправности к выходам и входам схемы. При этом
используется троичное моделирование, когда тот или иной аргумент может
принимать истинные значения «0» и «1», а также значение D. Полагают, что
D = 1 в исправной схеме, D = 0 — в неисправной.
2)
Метод обнаружения неисправностей в комбинационных логических
схемах — подача на входы х
11
, ..., х
ki
полного набора сигналов и
сопоставление полученного сигнала выхода F(х
11
, ..., х
kn
), в предположении,
что
неисправность одиночная. Формирование минимизированного набора
тестовых воздействий осуществляют методом булевой производной, т. е.
проверкой определенного входа х
ij
. Для этого на все остальные входы
должны быть поданы такие сигналы, чтобы выход зависел от х
ij
. 
     Таблица 7.2
х1 х2 x3         f1-1      f1-0    f1,1-1    f1,2-1   f1,3-1
 0     0   0      1         0        1         1        1
 0     0   1      1         0        1         1        1
 0     1   0      1         0        1         1        1
 0     1   1      1         0        0         1        1
 1     0   0      1         0        1         1        1
 1     0   1      1         0        1         0        1
 1     1   0      1         0        1         1        0
 1     1   1      1         0        0         0        0

     Таблицы функций неисправностей являются универсальным средством
для построения алгоритмов проверки любых устройств. Однако ТФН
обладают существенным недостатком: они громоздки, что значительно
затрудняет выбор минимальной совокупности тестов и анализ полученных
результатов.
     Упростить        разработку    тестов      позволяют      аналитические   методы
определения           минимальных        тестовых      наборов,   разработанные   для
комбинационных логических схем:
     1) Активизация критического пути или D-алгоритм основан на анализе
математической модели схемы и проведении логических экспериментов
продвижения неисправности к выходам и входам схемы. При этом
используется троичное моделирование, когда тот или иной аргумент может
принимать истинные значения «0» и «1», а также значение D. Полагают, что
D = 1 в исправной схеме, D = 0 — в неисправной.
     2) Метод обнаружения неисправностей в комбинационных логических
схемах — подача на входы х11, ..., хki полного набора сигналов и
сопоставление полученного сигнала выхода F(х11, ..., хkn), в предположении,
что неисправность одиночная. Формирование минимизированного набора
тестовых воздействий осуществляют методом булевой производной, т. е.
проверкой определенного входа хij. Для этого на все остальные входы
должны быть поданы такие сигналы, чтобы выход зависел от хij.

Страницы