2.3.2 Построение диагностического теста
Диагностический тест комбинационных схем рассчитывают аналогично методу, применяемому для определения проверочного теста, но при этом не учитывают отношения импликации между неисправностями. На схему наносят только графы эквивалентных неисправностей, которые нумеруют в соответствии с указанным для них правилом. В результате число неисправностей включаемых в ТФН увеличивается, так в данном случае дополнительно в ТФН включаются две неисправности выхода схемы, которым соответствуют функции — f9=1 и f10=0.
Рисунок 2.9 — Эквивалентные неисправности
комбинационной схемы
Представленным на рисунке 2.9 неисправностям соответствует таблица функций неисправностей 2.11.
По данной таблице определяем диагностический тест.
Таблица 2.11 — Таблица функций неисправностей
№ |
Входной набор |
F |
Функция неисправности |
|||||||||||
a |
b |
c |
f1 |
f2 |
f3 |
f4 |
f5 |
f6 |
f7 |
f8 |
f9 |
f10 |
||
0 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
0 |
2 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
3 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
4 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
5 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
6 |
1 |
1 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
7 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
Для каждой пары неисправностей вычисляем различающую функцию в соответствии с выражением 2.6
φ1,2=1v3v5v7
φ1,3=5v6v7
φ1,4=1v5v7
φ1,5=0v4v5v7
φ1,6=2v5v6v7
φ1,7=0v5v6v7
φ1,8=1v5
φ1,9=1v2v3v5v6v7
φ1,10=1v4
φ2,3=1v3v6
φ2,4=3
φ2,5=0v1v3v4
φ2,6=1v2v3v6
φ2,7=0v1v3v6
φ2,8=3v7
φ2,9=2v6
φ2,10=0v1v3v4v5v7
φ3,4=1v6
φ3,5=0v4v6
φ3,6=2
φ3,7=0
φ3,8=1v6v7
φ3,9=1v2v3
φ3,10=0v4v5v6v7
φ4,5=0v1v4
φ4,6=1v2v6
φ4,7=0v1v6
φ4,8=7
φ4,9=2v3v6
φ4,10=0v1v4v5v7
φ5,6=0v2v4v6
φ5,7=4v6
φ5,8=0v1v4v7
φ5,9=0v1v2v3v4v6
φ5,10=5v7
φ6,7=0v2
φ6,8=1v2v6v7
φ6,9=1v3
φ6,10=0v2v4v5v6v7
φ7,8=0v1v6v7
φ7,9=0v1v2v3
φ7,10=4v5v6v7
φ8,9=2v3v6v7
φ8,10=0v1v4v5
φ9,10=0v1v2v3v4v5v6v7
В соответствии с выражением 2.7 вычисляем диагностический тест:
Тд=(1v3v5v7)∙(5v6v7)∙(1v5v7)∙(0v4v5v7)∙(2v5v6v7)∙(0v5v6v7)∙
∙(1v5)∙(1v2v3v5v6v7)∙(1v4)∙(1v3v6)∙3∙(0v1v3v4)∙(1v2v3v6)∙(0v1v3v6)∙
∙(3v7)∙(2v6)∙(0v1v3v4v5v7)∙(1v6)∙(0v4v6)∙2∙0∙(1v6v7)∙(1v2v3)∙
∙(0v4v5v6v7)∙(0v1v4)∙(1v2v6)∙(0v1v6)∙7∙(2v3v6)∙(0v1v4v5v7)∙
∙(0v2v4v6)∙(4v6)∙(0v1v4v7)∙(0v1v2v3v4v6)∙(5v7)∙(0v2)∙(1v2v6v7)∙
∙(1v3)∙(0v2v4v5v6v7)∙(0v1v6v7)∙(0v1v2v3)∙(4v5v6v7)∙(2v3v6v7)∙
∙(0v1v4v5)∙(0v1v2v3v4v5v6v7)
В результате минимизации этого выражения получим:
Тд=0∙2∙3∙7∙(1∙4v1∙6v4∙5)
Это выражение содержит три минимальных теста:
Тд1=0∙1∙2∙3∙4∙7
Тд2=0∙1∙2∙3∙6∙7
Тд3=0∙2∙3∙4∙5∙7
Для поиска конкретной неисправности в соответствии с полученным выражением Тд используется словарь неисправностей. Словарь неисправностей для Тд1 представлен в таблице 2.12.
Таблица 2.12 — Словарь неисправностей для Тд1
№ |
Входной набор |
F |
Функция неисправности |
|||||||||||
a |
b |
c |
f1 |
f2 |
f3 |
f4 |
f5 |
f6 |
f7 |
f8 |
f9 |
f10 |
||
0 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
0 |
2 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
3 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
4 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
7 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
Второй вариант нахождения диагностического теста:
Тд′=Тп∙Тд=1∙6∙(5v7)∙(0v4)∙0∙2∙3∙7∙(1∙4v1∙6v4∙5)=0∙1∙2∙3∙6∙7∙(1∙4v1∙6v4∙5)
Это выражение содержит один минимальный тест:
Тд′=0∙1∙2∙3∙6∙7
Словарь неисправностей для этого диагностического теста представлен в таблице 2.13.
Таблица 2.13 — Словарь неисправностей для Тд′
№ |
Входной набор |
F |
Функция неисправности |
|||||||||||
a |
b |
c |
f1 |
f2 |
f3 |
f4 |
f5 |
f6 |
f7 |
f8 |
f9 |
f10 |
||
0 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
0 |
2 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
3 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
6 |
1 |
1 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
7 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |