Построение тестов методом таблиц функций неисправностей.

Возможные неисправности в схеме: 1) неисправность логических элементов; 2) неисправность типа “1” или “0” в любой из 8 потенциальных точек.

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

1.исправна схема или нет; 2. если неисправна, то где и какая неисправность.

Наборы входных переменных (a,b,c) подаваемых на схему для диагностики называются тестом. Тесты бывают контролирующие и диагностические. Контролирующий тест даёт ответ на вопрос, исправна схема или нет. Диагностический даёт возможность определить место и вид неисправности. Тесты характеризуются длинной. Длина – кол-во наборов вход. переменных в данном тесте. Тривиальным называется тест, включающий в себя в данном случае все 8 наборов. Допущения при построении тестов:

1) все логические элементы исправны; 2) в каждый из 8 потенц. точек возможна неисправность типа 0 или 1; 3) в каждый момент времени неисправность может быть только в одной потенц. точке. Выведем логические выражения для исправ. схемы:

Построим таблицу функций неисправностей.

Номер узла	Неисправность	Перем. в узле	Фун. неисправности
		a=1 a=0
		b=1 b=0
		c=1 c=0
		a1=1, a2=a a1=0, a2=a
		a1=a, a2=1 a1=a, a2=0
		y1=1 y1=0
		y2=1 y2=0
		Z8=1 Z8=0

Построим таблицу неисправностей.

№

Вх. пер.

E0

Функции неисправностей.

a

b

c

E1

E2

E3

E4

E5

E6

E7

E8

E9

E10

E11

E12

E13

E14

E15

E16

Строится, так чтобы Z1-1…..=1.

Необнаруж. неисправностью является неисправность, при которой выходной сигнал схемы при всех наборах входных переменных аналогичны выходным сигналам исправной схемы. В данном случае необнаруж. неисправ. является z5-0, поэтому её исключаем из рассмотрения. Неразличимыми неисправностями являются неисправности, у которых выходные значения одинаковы при всех наборах входных переменных (z1-1,z2-1,z3-0,z4-1,z6-0,z7-0,z8-0). Оставляем z1-1, остальные устраняем. Так же неразличимыми являются Z3-1,z5-1,z7-1. Оставляем Z3-1. В дальнейшем рассматриваем e1,e2,e4,e5,e8,e11,e15.

Построение тестов методом существенных путей

Необходимо определить имеется ли неисправность в точке а.

b=0, c=1, z=f(a). если а=1, то z=1

если а=0, то z=0

Для прокладки существенного пути неисправности на выход схемы управления необходимо подобрать такие значения входных переменных, при которых:

1) выходной сигнал схемы зависит только от контролируемого входного сигнала

2) чтобы выходной сигнал схемы менял своё значение при изменении контролируемого входного сигнала

В данной схеме для контроля сигнала а необходимо подать b=0 и c=1. Тогда z зависит только от сигнала а.