2. Понятие тестов ду (контролирующие, диагностические).

Тесты ДУ могут выполнять две функции:

- обнаруживать неисправность;

- локализовать неисправность (то есть обнаруживать неисправный элемент);

совокупность совокупность

входных векторов выходных векторов

Каждый соответствует выходу

l – длина теста.

Рассмотрим тест длиной 1.

Обнаружена неисправность , если .

Если l >1, тогда тест обнаруживает неисправность, если хотя бы одна составляющая .

Пример: Напишем таблицу истинности для элемента.

X₁ Y

X₂

X1	X2	Y
0	0	1
0	1	1
1	0	1
1	1	1

Неисправность входа Неисправность выхода

X1 X2 Y 0 0 0 0 1 0 1 0 0 1 1 1 X1	X2	Y
1	0	0
1	1	1
1	0	0
1	1	1

Один и тот же тест обнаруживает разные неисправности.

Разные тесты обнаруживают одну и ту же неисправность.

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

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

Тест X	01	00
Результат Y	0 1	0 1
Неисправность	нет неисправности

Билет №4

1. Метод эквивалентной нормальной формы.

Метод состоит в том, что люба неисправность логических элементов логической сети эквивалентна тому, что некоторыми буквам ЭНФ придаётся константное значение 1 или 0.

И тогда построение теста, как математическая процедура, состоит в том, чтобы выявить данную букву в записи выражения ЭНФ.

Пример: G₁

A G₃ G₄

Y

B G₂

C

- ЭНФ

Задача:

– для этого хотя бы одна конъюнкция должна быть =1

, если есть неисправность

, если нет неисправности

принадлежит множеству .

2. Противоречие

3. 

1. 

2. Противоречий нет

Можно показать, что данный тест обнаруживает неисправность.

Тест, который выявляет некоторую букву ЭНФ активизирует путь логической сети, соответствующей индексу этой буквы. И все неисправности будут обнаружены.