Алгоритм построения тестового набора для комбинационной схемы методом активизации существенного пути
На рис. 4.9 приведен пример комбинационной схемы с неисправностью С1 на выходе элемента D1. Рассмотрим процедуру построения тестового набора:
1. Выбор условия проявления неисправности: Х1 = 0, Х2 = 0. Импликация (в нашем случае продвижение) выбранных значений в направлении выходов схемы.
Операция выполняется одновременным моделированием исправной и неисправной схемы при заданных значениях на ее линиях:
D1 = C1(X1 + X2) = 0/1 + (0/0 + 0/0) = 0/1,
D4 = NOT(D1 + X3) = NOT(0/1 + x/x) = x/0,
D5 = NOT(D1 + D2) = NOT(0/1 + x/x) = x/0,
D7 = D4 & D5 = x/0 & x/0 = x/0,
D8 = NOT(D7 & D6) = NOT(x/0 & x/x) = x/1.
Рис. 4.9. Пример схемы для построения теста
2. Выбор пути от места неисправности до выхода схемы:
D1 – D4 – D7 – D8 = y.
3. Активизация выбранного пути.
3.1. Участок D1 – D4: X3 = 0/0.
3.2. Импликация выбранного значения: D4 = NOT(0/1 + 0/0) = 1/0, D7= 1/0 & x/0 = x/0.
3.3. Участок D4 – D7: D5 = 1/x – не противоречит прежнему значению х/0, и таким образом D5 становится равным 1/0.
3.4. Значение присваивается внутренней линии, поэтому необходимо выполнить однозначное доопределение значения на выходе элемента D5(1/x): D2 = 0/x. Однозначное доопределение – это определение единственно возможного значения аргумента, при котором значение функции равно заданному значению. Однозначно доопределить далее D2 = 0/x невозможно. Отметим этот элемент для последующего альтернативного доопределения.
3.5. Импликация полученных значений: D5 = NOT(0/1 + 0/x) = 1/0, D7 = 1/0 & 1/0 = 1/0, D8 = NOT(1/0 & x/x) = x/1.
3.6. Участок D7 – D8: D6 = 1/x.
3.7. Значение присваивается внутренней линии, поэтому необходимо выполнить однозначное доопределение значения на выходе элемента D6(1/x): D3 = 0/x, Х8 = 0/0. Значение присваивается внутренней линии, поэтому необходимо продолжить однозначное доопределение значения на выходе элемента D3 = 0/x: X6 = 1/1, X7 = 1/1.
3.8. Импликация полученных значений: D8 = NOT(1/0 & 1/x) = 0/1. Этот последний элемент завершает этап активизации.
4. Альтернативное доопределение внутренних отмеченных значений сигналов.
![]() |
Рис. 4.10. Результат построения теста
4.1. D2 = 0/x: X4 = 0/0.
4.2. Импликация полученных значений: D2 = 0/0 & х/x = 0/0.
Других отмеченных значений нет. Построение тестового набора завершено, результат показан на рис. 4.10.