АЛГОРИТМ АКТИВИЗАЦИИ ПУТИ ( D -АЛГОРИТМ )

1. АЛГОРИТМ АКТИВИЗАЦИИПУТИ (D-АЛГОРИТМ) Рассматривается поиск одиночных константных неисправностей типа const=0 , const=1 на входах и выходах элементов; Состояние тестируемой схемы описывается тестовым кубом TK={t1,t2,...,tn}, элементы которого первоначально не определены (ti=Х); В процессе построения теста элементы тестового куба доопределяются значениями из алфавита {0,1,x,D, } Выделяют 4 этапа алгоритма Рота: Нахождение условий проявления заданной неисправности на выходе элемента; Активизации пути от проверяемого элемента до выхода схемы; Обеспечение условий активизации пути; Доопределение входного набора до алфавита (0,1).

2. ЭТАП 1.Нахождение условий проявления заданной неисправности на выходе элемента. • задана неисправность const=hна входе или выходе элемента e. Правило построения D-кубов неисправности элемента • ДЛЯ ВХОДНОЙ неисправности выбираются вырожденные D-кубы со значением соответствующего входа противоположным ошибке, остальным входам присваиваются 1 (для И, И-НЕ), или 0 ( для ИЛИ, ИЛИ-НЕ), а выходной координате присваивается значение D (при e=1 исправной схемы) и (при e=0). • ДЛЯ ВЫХОДНОЙ неисправности выбираются вырожденные кубы со значением выхода НЕ h, выходу присваивается значение D (при e=1 исправной схемы) и (при e=0). • Для пересечения с TK берется один из D-кубов неисправности, при неудовлетворительном результате берется очередной D-куб и т.д.

3. 1 1 1 & 4 4 2 2 3 3 Примеры построения DKN • на 2 на 1 • 1 2 3 4 1 2 3 4 • 0 1 0 D 1 1 1 • на 2 на 1 • 1 2 3 4 1 2 3 4 • 0 0 0 0 1 1 D • на 4 на 4 • 1 2 3 4 1 2 3 4 • 1 Х Х D 0 Х Х D • X 1 Х DX 0 Х D • X Х 1 DX Х 0 D • на 4 на 4 • 1 2 3 4 1 2 3 4 • 0 0 0 1 1 1

4. ЭТАП 2. Активизация пути от проверяемого элемента до выхода схемы Присоединение очередного элемента к активизированному пути с проверкой непротиворечивости сигналов на вх. и вых. элементов ПРИСОЕДИНЕНИЕ: 1) Формируется вектор активности VAв виде списка номеров элементов, связанных по входам с выходом последнего активизированного элемента. 2) Из VA выбирается очередной элементв соответствии со стратегией «вглубь» или «вширь».3) Осуществляется D-движениечерез элемент поиском непустого пересечения D-кубов подсоединяемого элемента с тестовым кубом ТК: Здесь ai, ti – значения сигналов в DK и ТК соответственно. Если D-движение невозможно – делается попытка подсоединить другой элемент из VA.

5. ПРОВЕРКА НЕПРОТИВОРЕЧИВОСТИ СИГНАЛОВ ИМПЛИКАЦИЯ - поиск противоречивых сигналов на входах/выходах элементов, у которых появилось фиксированное значение 0/1 на входе (при фиксированном выходе) или выходе. МЕТОД ПРОВЕРКИ: Поиск непустого пересечения вырожденного VK или тупикового TDK с тестовым кубом. Правило выбора VK или TDK VK берется в случае, если входной алфавит проверяемого элемента {0,1,X}, TDK – выбирается при входном алфавите проверяемого элемента {0,1,X, D, }. Если все пересечения пусты – возврат к п.3.

6. 1 1 5 2 & 8 & & 7 3 9 & ПРИМЕРЫ D-ДВИЖЕНИЙ

7. D- движение через элемент Состояние линий схемы в ТК А) Выполним d-движение через е7, т.к. на входе сигнал D VKe7 DKe7 2 3 7 2 3 7 0 X 1 1 D 2 3 7 X 0 1 D 1 TK DK е7= XDX 1D=1D 1 1 01 D d d 1 D Новое значение ТК записывается в таблицу.

8. ПрИмЕрПРОВЕРКи НЕПРОТИВОРЕЧИВОСТИ СИГНАЛОВ На линии 2 появилось фиксированное значение 1. Можно выполнить импликацию на элементах 5 и 9, т.к. линия 2 является для них входной, а на выходах – фиксированные значения ! а) VK е5 TK =  1 2 5 1 2 5 1 Х 0 Х 1 1 Х 1 0 0 0 1 б) Для импликации е9 следует использовать тупиковый D-куб т.к. тестовый куб ТК на линиях 2,7,9 имеет значения в алфавите {1, ,0}. VK е9 TDKe9 ТК =  2 7 9 2 7 9 2 7 9 0 Х 0 0 0 1 0 Х 0 0 D 0 0 1 1 1 0 D 0 0 0

9. ЭТАП 3. ОБЕСПЕЧЕНИЕ УСЛОВИЙ АКТИВИЗАЦИИ ПУТИ Просмотр элементов схемы от выходов ко входам и присвоение входным линиям каждого элемента значений, обеспечивающих заданный (1/0) выход. Порядок обеспечения значений: • Составляется список S кандидатов на обеспечение входов из элементов с фиксированными значениями выходов в ТК и неопределенными входами. • Из списка выбирается элемент с МАХ номером и осуществляется поиск непустого пересечения ТК и VK. Если все пересечения , возврат к этапу 2. • В процессе доопределения список S может пополняться новыми кандидатами.

10. 1 6 & 9 & 10 1 2 7 3 & 4 1 8 5 ПРИМЕР ОБЕСПЕЧЕНИЯ УСЛОВИЙ АКТИВИЗАЦИИ ПУТИ

11. ПРИМЕР ОБЕСПЕЧЕНИЯ УСЛОВИЙ АКТИВИЗАЦИИ.1 • а) Список на обеспечение S={е8, е6} включает элементы, на выходах которых фиксированные значения, а на входах есть неопределенные сигналы (линии 2,5). • б) Выбираем элемент е8 и доопределяем входы: VK e8 TK 2 5 8 2 5 8 2 5 8 ТК1 – 1 Х 0 1 X 0 XX 0 = - 2 варианта X 1 0 ТК2 – Х 1 0 0 0 1

12. ПРИМЕР ОБЕСПЕЧЕНИЯ УСЛОВИЙ АКТИВИЗАЦИИ.2 Для состояния схемы ТК1 продолжим обеспечение е6. VK e6 TK1 1 2 6 1 2 6 0 X 1 1 1 1 =  - отменяем состояние ТК1, X 0 1 и выбираем ТК2. 1 1 0 VK e6 TK2 1 2 6 1 2 6 1 2 6 0 X 1 1 Х 1 = 1 0 1 – итог. X 0 1 0 1 0 Результат Т={(10111),1}.

13. ЭТАП 4. Доопределение входного набора до алфавита 0,1 Набор входных значений из тестового куба Т доопределяется из алфавита {0,1,x,D, } в алфавит { 0,1} по правилу:

14. ПРИМЕР ПОСТРОЕНИЯ ТЕСТА • Этап 1. Построение D-куба неисправности на 3 входе е6 VK e6 2 3 6 2 3 6 0 X 0DKN={1 1 D}. X 0 0 1 1 1 1 5 & 2 & 9 8 1 & 6 3 7 & 4

15. Этап 2. АКТИВИЗАЦИЯ ПУТИ. 1 1.1.D-движение через е8. 1.2. Импликация - 0 на выходе е5. DKe8 TK = 0DDVKe5 TK - принято. 5 6 8 5 6 8 1 2 5 1 2 5 0 DX D X 0 X 1 X 1 0 0 D DX 0 1 0 1 1 0

16. Этап 2. АКТИВИЗАЦИЯ ПУТИ. 2 2.1.D-движение через е9. 2.2. Импликация - 1 на выходе е7. DKe9 TK = 11DVKe7 TK - принято 1 7 8 9 1 7 8 9 2 4 7 2 4 7 1 1 D X X D X 0 X 1 1 X 1 .…….. X 0 1 1 1 0

17. ЭТАП 3. ОБЕСПЕЧЕНИЕ ЗНАЧЕНИЙ {e7,e5}. 3.1. VKe7 TK = 1 0 1 3.2. VKe5 TK - принято 2 4 7 2 4 7 1 2 5 1 2 5 0 X 1 1 X 1 0 X 1 1 1 0 X 0 1 X 0 1 1 1 0 1 1 0 T= {(1110), 0}

18. Этап 2. АКТИВИЗАЦИЯ ПУТИ. 2 1.1.D-движение через е8. 1.2. Импликация - 0 на выходе е5. DKe8 TK = 0DDVKe5 TK - принято. 5 6 8 5 6 8 1 2 5 1 2 5 0 DX D X 0 X 1 X 1 0 0 D DX 0 1 0 1 1 0

19. 1 1 1 & 1 & & & 1 ПРИМЕР ЛОГИЧЕСКОЙ СХЕМЫ 9 В Х О Д Ы 6 12 1 13 5 2 10 3 7 4 11 8

20. ПРИМЕР МАТЕМАТИЧЕСКОЙ МОДЕЛИ СХЕМЫ (вырожденные кубы элементов)

21. ПРИМЕРЫ D–КУБОВ ЭЛЕМЕНТОВ

22. ПРИМЕРЫ ТУПИКОВЫХ D–КУБОВ ЭЛЕМЕНТОВ