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

На рис. 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.

4.2.3. Построение тестов для схем с памятью

Задача построения тестов для схем с памятью на несколько порядков сложнее, чем для комбинационных схем. Достаточно заметить, что для схем с памятью существует бесконечное множество входных последова­тельностей (все последовательности длины 1, 2, 3, …), а для комбинацион­ных схем последовательность вообще не имеет значения.

Схемы с памятью представляют на различных уровнях абстракции. В соответствии с уровнями абстракции можно говорить о функциональном и структурном тестировании. Цель функционального тестирования состоит в обнаружении несоответствия поведения ОД его таблице переходов-выхо­дов или блок-схеме алгоритма. Для комбинационных схем при таком под­ходе это означает подачу 2 в степени n входных векторов (тривиальный тест), где n – число входов. В случае последовательностных схем исчерпы­вающий тест состоит из диагностических последовательностей, что ре­ально возможно только для небольших схем.