Железнодорожная автоматика, телемеханика и связь (стр. 5 )

В данном случае, как следует из сокращенной таблицы покрытий, существует три теста одинаковой длины:

, ,

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

Примечание: Пятый шаг можно осуществить и аналитически. Для этого:

а) по сокращенной таблице покрытий составляется следующее логическое выражение:

,

где – множество граф таблицы; – проверки, входящие в множество .

б) полученное выражение преобразуется по законам алгебры логики с раскрытием скобок и удалением избыточных элементов:

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

Построение диагностического теста:

Для построения диагностического теста :

1) на основе таблицы покрытий (таблица 1) составляется диагностическая таблица покрытий (таблица 2). Она содержит граф, где - число граф исходной таблицы покрытий. Каждая графа при этом соответствует одному из возможных сочетаний двух неисправных состояний . В полученной графе знак покрытия проставляется во всех тех строках, где содержимое исходных граф различное и не проставляется в строках, где содержимое одинаковое (знак покрытия указывает те проверки, при помощи которых при диагностировании можно отличить друг от друга неисправные состояния ).

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

2) диагностическая таблица по вышеуказанным правилам преобразуется в сокращенную таблицу покрытий:

Таблица 2

,

,

,

,

,

,

3) далее задача решается в зависимости от того, какой конкретно из двух видов диагностических тестов реализуется.