Метод таблицы функций неисправностей

Для построения проверяющего теста вычерчивается схема с указанием всех логических элементов и связей между ними. Запи­сывается реализуемая схемой функция в виде формулы, отража­ющей структуру схемы. Комбинационная схема (рис. 4.11) реали­зует функцию

На схеме указываются неисправности компонент. Под компо­нентами схемы понимают входы и выходы элементов и входы схе­мы. Если выход элемента или входы схемы соединены со входом только одного элемента или только с одним выходом схемы, то это соединение рассматривается как одна компонента. Если в схе­ме имеется точка разветвления, то в качестве компонент выступают как точка разветвления, так и все ветви разветвления. Для каждой компоненты указывают две константные неисправности К.0 и К.1. Рассматриваемая схема имеет 12 компонент и 24 неисправности.

Для каждого логического элемента наносится граф эквивалент­ных неисправностей и указываются отношения импликации меж­ду неисправностями, в результате чего устанавливаются отноше­ния между неисправностями для всей схемы. Неисправности нуме­руются, причем среди эквивалентных неисправностей нумеруют только одну, ближе всех расположенную к выходу (для нее наибо­лее просто вычислить проверяющую функцию); все неисправнос­ти, к которым направлены дуги, не нумеруются; если хотя бы к одной из эквивалентных неисправностей направлена дуга, то ни одну из них не нумеруют. В результате данной операции сокраща­ют список неисправностей, которые необходимо рассматривать при построении проверяющего теста. Пронумерованные неисправности образуют контрольное множество неисправностей Е _K. В дан­ной схеме пронумеровано 11 неисправностей, в то время как ис­ходное множество содержит 24 неисправности.

Рисунок 4.11 – Комбинационная схема

Составляется ТФН (табл. 4.5), в которую включаются все неис­правности из множества Е _K. По ТФН вычисляет­ся проверяющий тест Т _П:

проверяющая функция для i -ой неисправности

где n – число неисправностей.

Таблица 4.5

При построении диагностического теста Т _Д составляется диагностическое множество неисправностей Е _Д. С этой целью на схеме для каждого логического элемента наносится граф эквивалентных неисправностей, после чего осуществляется нумерация неисправностей. Составляется ТФН, в которую включаются все неисправно­сти из множества Е _Д. Для каждой пары неисправностей с номерами i и j вычисляется различающая функция