2. Тест процедуры.

Для обнаружения и локализации неисправности требуется использовать несколько тестов, которые называются «тест - процедура».

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

Тест – процедура называется последовательной, когда тесты применяются в определённой фиксированной, заранее заданной последовательности.

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

Процедура повторяется, пока в каждом подмножестве не останется по одному состоянию, которое указывает неисправность ДУ.

S₀ – исправность.

S_i – неисправность.

i=

Тест – процедура составляется по результатам моделирования, которые сводятся в таблицу.

Ti
T1	S1S2S3	S5	S4S6	S0
T2	S1S2S3	S5S0	S4	S4
T3	S1	S2S4S5S6S0	S4

Вводится неисправность S_{i ,} подаётся тест и смотрится реакция и составляется таблица.

Комбинационная:

Y₁

Y₁ Y₂

T₁ Y₂ Y₃

Y₃ T₂ Y₃

Y₄

Y₄

T₂ T₃

Y₁

Y₂ T₂ T₃

T₁

Y₃ Y₃ T₃

T₂

Y₄ Y₄ T₃

T₂ T₃

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

Билет №10

1. Коррекция арифметических операций.

Рассмотрим на примере операции сложения:

1. Есть операция a + b = c;

2. Вычисляются свёртки:

3. 

4. Суммы свёрток:

5. Вычисляем коэффициенты:

6. Если , то ошибки НЕТ.

Иначе:

По составляется таблица, аналогичная α и β, и результатом является искажённый разряд C.

C

r_c’’ r_c’

δ1 δ2

r_c’ r_c’’

R1 R2 C

A B

вч – вычитание;

св – свёртка;

УКр – устройство коррекции;

СМ – сумматор (сумма свёрток);

Рг – регистр;

2. Понятие свёртки. Вычисление свёртки двоичного числа

Чтобы вычесть свёртку:

– весовой коэффициент;

Сумма произведения содержимого разряда на весовой коэффициент по модулю 2.

1+2 по модулю

A=101

q=3

Если какое-то число не делится, то его записываем в остаток ( ).

Np q	0	1	2	3	4	5	6	7	8	9	10	11
3	1	2	1	2	1	2	1	2	1	2	1	2
5	1	2	4	3	1	2	4	3	1	2	4	3
7	1	2	4	1	2	4	1	2	4	1	2	4

Возникает неоднозначность в определении номера разряда.

Ошибка

Погрешность

Вычтем

или

Если бы не было периодичности, то можно вычесть j- разряда ошибки возникает неоднозначность в определении разряда ошибки.