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

4. Методы построения тестов диагностирования

Построение проверочного теста:

1) ТФН имеет вид:

	1	0	1	0	0	1	1	0	1
	1	0	0	0	0	1	1	1	1
	1	1	1	0	0	1	0	0	1
	1	1	1	0	0	0	0	1	1
	1	0	1	0	0	0	1	1	1

2) Исходная таблица преобразуется следующим образом:

– неисправность, которая не может быть диагностирована при данном методе.

– эквивалентные (неразличимые) неисправности, их следует объединить.

- исключается, поскольку анализируются неисправности.

			,
	0	1	0	1	1	0
	0	0	0	1	1	1
	1	1	0	1	0	0
	1	1	0	0	0	1
	0	1	0	0	1	1

3) Составим таблицу покрытий

В элементах таблицы, где проставлен 0, записывается знак покрытия (), а те элементы, где проставлена 1, оставляют незаполненными.

Таблица 1.

			,

4) Решается задача получения сокращенной таблицы покрытий.

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

В результате сокращения получим следующую таблицу:

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