àâòîðåô Èâ 07_02 - Kharkiv National University of Radio Electronics

X1
0
0
1
1
X1
0
0
1
1
X2
0
1
0
1
X2
0
1
0
1
9
Y
X1
X2
Y
⎫
0
1 0 1
X X Y ⎪
X X Y
1 2
1 1 2
⎪
⊕
= 1 1 0 → T F 1 0 1
1 0 1
i ∈ →
⎪
1
0 0 0
0 0 0 ⎪
1
0 1 0
⎪ X1
X2
Y
⎪ 1 0 1
⎬ ∪
0 0 0
Y
X X Y
⎪
1 2
0 1 1
0
0 1 1
X X Y
⎪
X X Y
1 2
1 1 2
⎪
⊕
= 0 0 0 → T F 0 1 1
0 1 1
i ∈ →
⎪
1
1 1 0
0 0 0 ⎪
1
1 0 0
⎪
⎭
Після синтезу тестів необхідно використовувати тест і матрицю
дефектів для побудови компактної таблиці несправностей F = (T ⊕ L) , яка
призначена для виконання процедури пошуку дефектів:
X1 1
0
X2
1
1
Y
1
0
⊕
X1
1
1
X2
1
0
Y
1
1
=
X1
1
0
X2
1
1
Y
1
0
1 0 0 0 1 1 1 0 0
У даному випадку отримана таблиця F = (T ⊕ L) є підмножина
функціональності F∈ F = (T ⊕ L) , окремі координати якої позначено
символом інверсії, що означає перевірюваність несправності, інверсної по
відношенню до справного стану. Формально синтез таблиці несправностей
використовує некомутативну операцію стиснення двох бітів даних,
представлену в наступному вигляді:
⊕
0
1
Запропоновано апарат булевих похідних для синтезу тестів. Розглянуто
методи взяття булевих похідних за таблицею істинності, диз'юнктивною
формою або кубічним покриттям для створення умов активізації вхідних
змінних при синтезі тестів. Вирішено такі задачі: 1) визначення всіх похідних
першого порядку за аналітичною, кубічною та табличною формою завдання
логічної функції; 2) верифікація отриманих умов активізації шляхом їх
моделювання на одній з форм опису функціональності; 3) синтез тестів
активізації змінних логічної функції на основі обчислення похідних.
Процес-модель отримання тесту T = [ Tij
], i = 1,
k;
j = 1,
n комбінаційної
функціональності:
1)
f '(
xi
) = f(x1,
x2
,..., xi
= 0,..., xn
) ⊕ f(x1,
x2,...,
xi
= 1,..., xn
);
n
2)
T = U
[ f '(
xi
) * ( xi
= 0)
∨ ( xi
= 1)]
; 3)
Tij
= Ti−1,
j ← Tij
= X;
T1j
= 1 ← T1j
= X;
i=
1
4)
T = T \ Ti
← Ti
= Ti
−r
, r = 1,
i −1,
i = 2,
n.
0
0
1
1
0
1
.