Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
КУРС ЛЕКЦИЙ ПО ДИСЦИПЛИНЕ.doc
Скачиваний:
60
Добавлен:
10.11.2019
Размер:
301.06 Кб
Скачать

Минимизация тестов при комбинационной диагностики.

При комбинационной диагностики за критерий оптимальности можно принять длину теста, т.е. число проверок образующих тест. Для выбора минимальной длины теста можно руководствоваться двумя правилами.

  1. обязательными является проверки сигналов на внешних выходах системы

  2. в последовательном соединении элементов обязателен контроль выходных сигналов каждого элемента, т.к. иначе неисправность элементов в таком соединении неразличимы.

Для контроля неисправности достаточно выбрать такие проверки результаты, которых в совокупности отличаются от результатов проверок объекта в исправном состоянии. В таблице состояний совокупность таких проверок должна содержать хотя бы по одному нулю в каждой строке.

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

Рассмотрим построение минимального теста на примере схемы 1 и таблицы 1.

Согласно правилу 1 необходимыми являются проверки П2 и П4 на внешних выходах системы. Совокупность П2 и П4 является достаточной для контроля исправности объекта, т. к. она содержит нули во всех строках таблицы, т.е. любая неисправность влияет на результат хотя бы одной из них.

Для локализации неисправности необходима совокупность проверок обеспечивающих попарно различимость состояний. Эти проверки на рассматриваемой паре состояний должны принимать противоположные значения: 0 на одном состоянии, 1 – на втором.

Состояние S1 от состояния S2 можно отличить с помощью проверки П1 или проверки П4. Такая проверка записывается в виде логического выражения вида: П1+П4, где «+» означает логическое сложение («или»). Аналогичным образом:

S1 от S3 П35

S1 от S4 П12

S2 от S3 П1345

S2 от S4 П24

S3 от S4 П1235

Как правило, поиску несправностей предшествует контроль исправности. Поэтому в тест поиска неиспрвностей включают и проверку исправности. В нашем случае это совокупность проверок П1 и П4, которая записывается в виде логической записи П1·П4, где «·» означает логическое умножение («и»). Таким образом, минимальный диагностический тест для поиска неисправностей будет представлять совокупность всех необходимых проверок, который в нашем случае запишется следующим логическим выражением:

П24*(П14)*(П35)*(П12)*(П1345)*(П24)*( П123+П5).

Для упрощения этого выражения воспользуемся следующими правилами алгебры логики.

А·А =А

А·(А+В) =А

(А+В)(А+С) =А+ВС

После соответствующих преобразований все скобки, содержащие П2 или П4 поглотятся, и выражение преобразуется к виду:

П2*П4* (П3+П5) = П2*П3*П4 + П2*П4*П5.

Отсюда следует, для данного примера существует два теста минимальной длины. П2 · П3 · П4 и П2 · П4 · П5. Предпочтение следует отдать тесту содержащие более простую в реализации проверку П3 или П5. Найденный тест является достаточным, т.к. П2 позволяет выделить состояния S4 от остальных, а П3 выделить состояние S 3 , S 5 (неразличимые), а П4 - состояние S2.

Таким образом, последовательность при определении минимального теста выявление неисправности следующее. На основании таблицы состояний выделяют логические суммы номеров проверок, на которые все состояния попарно различаются. Минимизируют их логическое произведение. Выбирают из логических сумм слагаемое минимальной длины или содержащие наиболее простые проверки для реализации. Проверки выбранного слагаемого и образуют минимальный диагностический тест.

В тех случаях когда необходимо определить состояние какого либо одного конкретного элемента длина теста может быть уменьшена. Для этого нужно составить логические суммы проверок обеспечивающих отличие проверяемого состояния от остальных (вставка из методички).