Алгоритм построения тестового набора для комбинационной схемы методом активизации существенного пути

 

 

На рис. 4.9 приведен пример комбинационной схемы с неисправно­стью С1 на выходе элемента D1. Рассмотрим процедуру построения тесто­вого набора:

1. Выбор условия проявления неисправности: Х 1 = 0, Х 2 = 0. Импли­кация (в нашем случае продвижение) выбранных значений в направлении выходов схемы.

Операция выполняется одновременным моделированием исправной и неисправной схемы при заданных значениях на ее линиях:

D1 = C1(X 1 + X 2) = 0/1 + (0/0 + 0/0) = 0/1,

D4 = NOT(D1 + X 3) = NOT(0/1 + x / x) = x /0,

D5 = NOT(D1 + D 2) = 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: X 3 = 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: X 6 = 1/1, X 7 = 1/1.

3.8. Импликация полученных значений: D8 = NOT(1/0 & 1/ x) = 0/1. Этот последний элемент завершает этап активизации.

4. Альтернативное доопределение внутренних отмеченных значений сигналов.

 

 

 

Рис. 4.10. Результат построения теста

 

4.1. D2 = 0/ x: X 4 = 0/0.

4.2. Импликация полученных значений: D2 = 0/0 & х / x = 0/0.

Других отмеченных значений нет. Построение тестового набора за­вершено, результат показан на рис. 4.10.