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

Embed Size (px)

DESCRIPTION

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

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

  • 1. . const=h e. D-

    D- , 1 ( , -), 0 ( , -), D ( e=1 ) ( e=0). h, D ( e=1 ) ( e=0).

    TK D- , 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

    *

  • 2. . . : 1) VA , . 2) VA . 3) D- D- :

    ai, ti DK . D- VA.

    *

  • * - / , 0/1 ( ) . : VK TDK . VK TDK VK , {0,1,X}, TDK {0,1,X, D, }. .3.

  • * D-

  • *D-

    ) 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 .

    123456789DX10X00

    123456789 1DX10X00 21DX100 0

  • * 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

  • 3. , (1/0) . : S . VK . , 2. S .

    *

  • *

    123456789101X11X10D

  • .1) S={8, 6} , , ( 2,5).) 8 : VK e8 TK 2 5 8 2 5 8 2 5 8 1 1 01 X 0 X X 0 = - 2 X 1 0 2 1 00 0 1

    *

    123456789101X11X10D11111X10D21X11110D

  • .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 0VK 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}.

    *

    1234567891021X11110D21011110D

  • 4. 0,1 {0,1,x,D, } { 0,1 } :

    *

  • 1. D- 3 6 VK e62 3 6 2 3 60 X 0 DKN={1 1 D}.X 0 01 1 1*1523768941&&&&

    -VA1 2 3 4 5 6 7 8 9 1 1 D e6e8

  • * 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

    -VA1 2 3 4 5 6 7 8 9 1 1 D e6e8

    -VA1 2 3 4 5 6 7 8 9 1 1 D e6e8 1 1 0 D D e6, e8e9

  • 2. . 2*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

    -VA1 2 3 4 5 6 7 8 9 1 1 D e6e8 1 1 0 D D e6, e8e9

    -VA1 2 3 4 5 6 7 8 9 1 1 D e6e8 1 1 0 D D e6, e8e9 1 1 0 D 1 D e6, e8,9

  • 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 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}

    -VA1 2 3 4 5 6 7 8 9 1 1 D e6e8 1 1 0 D D e6, e8e9 1 1 0 D 1 D e6, e8,9 1 1 0 0 D 1 D e6, e8,9

  • * 2. . 2 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

    -VA1 2 3 4 5 6 7 8 9 1 1 D e6e8 1 1 0 D D e6, e8e9

  • *21345678910111213

  • ( )*

    1234567891011121350110601x0x110070x1x0111080110901x0x1100100x1x01110111x010x011120x101x01113x010x1001

  • D *

    12345675DD

    60D00

    0DDD

    71D11

    1DDD

  • D *

    12345678910111213611DD1100007D0000D1111911DD110000

    *