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

www.ibs.ru

Вставьте картинку

• Рассматривается поиск одиночных константных неисправностей типа const=0 , const=1 на входах и выходах элементов;

• Состояние тестируемой схемы описывается тестовым кубом TK={t1,t2,...,tn}, элементы которого первоначально не определены (ti=Х);

• В процессе построения теста элементы тестового куба доопределяются значениями из алфавита {0,1,x,D, }

• Выделяют 4 этапа алгоритма Рота: Нахождение условий проявления заданной неисправности на выходе элемента; Активизации пути от проверяемого элемента до выхода схемы; Обеспечение условий активизации пути; Доопределение входного набора до алфавита (0,1).

АЛГОРИТМ АКТИВИЗАЦИИ ПУТИ

(D-АЛГОРИТМ)

D

ЭТАП 1.Нахождение условий проявления заданной неисправности на выходе элемента.

●задана неисправность const=h на входе или выходе элемента e.

Правило построения D-кубов неисправности элемента

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

ДЛЯ ВЫХОДНОЙ неисправности выбираются вырожденные кубы со значением выхода НЕ h, выходу присваивается значение D (при e=1 исправной схемы) и (при e=0).

◦Для пересечения с TK берется один из D-кубов неисправности, при неудовлетворительном результате берется очередной D-куб и т.д.

2

D

Примеры построения 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 Х D X 0 Х D● X Х 1 D X Х 0 D● на 4 на 4● 1 2 3 4 1 2 3 4● 0 0 0 1 1 1

3

11

2

3

4&1

2

3

4

0 0

00

1

1

1

1

D D

D

D

ЭТАП 2. Активизация пути от проверяемого элемента до выхода схемы

Присоединение очередного элемента к активизированному пути с проверкой непротиворечивости сигналов на вх. и вых.

элементов

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

Здесь ai, ti – значения сигналов в DK и ТК соответственно.

Если D-движение невозможно – делается попытка подсоединить другой элемент из VA. 4

случаях остальных в определено не

xaiесли ti,

tiaiили x,tiесли ,ai

tiaid

5

ПРОВЕРКА НЕПРОТИВОРЕЧИВОСТИ СИГНАЛОВ

ИМПЛИКАЦИЯ - поиск противоречивых сигналов на входах/выходах элементов, у которых появилось фиксированное значение 0/1 на входе (при фиксированном выходе) или выходе.

МЕТОД ПРОВЕРКИ:

Поиск непустого пересечения вырожденного VK или тупикового TDK с тестовым кубом.

Правило выбора VK или TDK

VK берется в случае, если входной алфавит проверяемого элемента {0,1,X},

TDK – выбирается при входном алфавите проверяемого элемента {0,1,X, D, }.

Если все пересечения пусты – возврат к п.3.

6

ПРИМЕРЫ D-ДВИЖЕНИЙ

&

&

&

1 5

2

1

8

37

& 9

7

D- движение через элемент

№ линий 1 2 3 4 5 6 7 8 9

Значения Х Х D X 1 0 X 0 0

Состояние линий схемы в ТК

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

DD

D

D

D

D

№ линий 1 2 3 4 5 6 7 8 9

Значения 1 Х Х D X 1 0 X 0 0

Значения 2 Х 1 D X 1 0 0 0D

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

D

D

D

D

ЭТАП 3. ОБЕСПЕЧЕНИЕ УСЛОВИЙ АКТИВИЗАЦИИ ПУТИ

Просмотр элементов схемы от выходов ко входам и присвоение входным линиям каждого элемента значений, обеспечивающих заданный (1/0) выход.

Порядок обеспечения значений:●Составляется список S кандидатов на обеспечение

входов из элементов с фиксированными значениями выходов в ТК и неопределенными входами.

●Из списка выбирается элемент с МАХ номером и осуществляется поиск непустого пересечения ТК и VK . Если все пересечения , возврат к этапу 2.

●В процессе доопределения список S может пополняться новыми кандидатами.

9

ПРИМЕР ОБЕСПЕЧЕНИЯ УСЛОВИЙ АКТИВИЗАЦИИ ПУТИ

Линии 1 2 3 4 5 6 7 8 9 10

ТК 1 X 1 1 X 1 0 D

10

1

&

&&

1

19

6

7

8

102

3

4

5

DD

ПРИМЕР ОБЕСПЕЧЕНИЯ УСЛОВИЙ АКТИВИЗАЦИИ.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 X X 0 = - 2 варианта

X 1 0 ТК2 – Х 1 0

0 0 1

11

Линии 1 2 3 4 5 6 7 8 9 10

ТК 1 X 1 1 X 1 0 D

ТК1 1 1 1 1 X 1 0 D

ТК2 1 X 1 1 1 1 0 DD

D

D

D

D

D

ПРИМЕР ОБЕСПЕЧЕНИЯ УСЛОВИЙ АКТИВИЗАЦИИ.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}.

12

Линии 1 2 3 4 5 6 7 8 9 10ТК2 1 X 1 1 1 1 0 DТК2 1 0 1 1 1 1 0 DDD

DD

ЭТАП 4. Доопределение входного набора до алфавита 0,1

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

13

D

xTKi если 0/1

0TKi или DTKi если 0,

1TKi или DTKi если ,1

Ti

ПРИМЕР ПОСТРОЕНИЯ ТЕСТА

●Этап 1. Построение D-куба неисправности на 3 входе е6

VK e6

2 3 6 2 3 6

0 X 0 DKN={1 1 D}.

X 0 0

1 1 1

14

1 5

2

3

7

6

8 9

4

1

&

&

&

&

0

0

Тестовый куб Актив-ность

VA1 2 3 4 5 6 7 8 9Х 1 1 Х Х D Х Х Х e6 e8


VA1 2 3 4 5 6 7 8 9

Х 1 1 Х Х D Х Х Х e6 e8

15

Этап 2. АКТИВИЗАЦИЯ ПУТИ. 1

1.1.D-движение через е8. 1.2. Импликация - 0 на выходе е5.DKe8 TK = 0DD VKe5 TK - принято.5 6 8 5 6 8 1 2 5 1 2 5 0 D X D X 0 X 1 X 1 00 D D X 0 1 0 1 1 0

DD

D

∩ ∩ ≠


VA1 2 3 4 5 6 7 8 9

Х 1 1 Х Х D Х Х Х e6 e8Х 1 1 Х 0 D Х D Х e6, e8 e9



VA1 2 3 4 5 6 7 8 9


16

2.1.D-движение через е9. 2.2. Импликация - 1 на выходе е7. DKe9 TK = 11D VKe7 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

∩ ∩ ≠

D


VA1 2 3 4 5 6 7 8 9

Х 1 1 Х Х D Х Х Х e6 e8Х 1 1 Х 0 D Х D Х e6, e8 e9Х 1 1 Х 0 D 1 D Х e6, e8,е9 выход

ЭТАП 3. ОБЕСПЕЧЕНИЕ ЗНАЧЕНИЙ {e7,e5}.


VA1 2 3 4 5 6 7 8 9

Х 1 1 Х Х D Х Х Х e6 e8Х 1 1 Х 0 D Х D Х e6, e8 e9Х 1 1 Х 0 D 1 D Х e6, e8,е9 выходХ 1 1 0 0 D 1 D Х e6, e8,е9 выход

17

3.1. VKe7 TK = 1 0 1 3.2. VKe5 TK - принято

∩ ∩ ≠

2 4 7 2 4 7 1 2 5 1 2 50 X 1 1 X 1 0 X 1 1 1 0X 0 1 X 0 11 1 0 1 1 0

T= {(1110), 0}

18


1.1.D-движение через е8. 1.2. Импликация - 0 на выходе е5.DKe8 TK = 0DD VKe5 TK - принято.5 6 8 5 6 8 1 2 5 1 2 5 0 D X D X 0 X 1 X 1 00 D D X 0 1 0 1 1 0

DD

D

∩ ∩ ≠


VA1 2 3 4 5 6 7 8 9


ПРИМЕР ЛОГИЧЕСКОЙ СХЕМЫ

19

&

1

1

&

&

1

&

1

1

2

1

3

В

Х

О

Д

Ы

4

5

6

7

8

9

10

11

12

13

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

№ элементаНомер линии

1 2 3 4 5 6 7 8 9 10 11 12 13

501

10

6

01x

0x1

100

70x1

x01

110

801

10

901x

0x1

100

100x1

x01

110

111x0

10x

011

120x1

01x

011

13x01

0x1

001 20

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

№ элементаНомер линии1 2 3 4 5 6 7

5D

D

60D0

0

0D

DD

71D1

1

1D

DD

21

D

D

D

D

D

D

D

D

D

D

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

22

D

D

D

D

D

D

№ элементаНомер линии

1 2 3 4 5 6 7 8 9 10 11 12 13

611D

D11

0000

7D00

00D

1111

911D

D11

0000

DDDDD

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

Documents