АНАЛІЗ Тестопригодності ПО МЕТОДУ CAMELOT
В
1. Визначення керованості
Керованість (CY - controlability) може приймати відносне значення від 0 до 1.
CY = 1 - має первинний вхід, де можна легко встановити логічні В«0В» і В«1В».
CY = 0 - має вузол, який не можна встановити ні в одне з логічних станів.
Тут вузли - еквіпотенціальні лінії, пристрої - елементи схеми.
Практично значення керованості більшості вузлів лежать між двома кордонами 0 ВЈ CY ВЈ 1. CY вузлів у схемі зменшується від первинних входів до первинних виходів.
У загальному випадку керованість входів пристрою не 100%, тому керованість виходів повинна враховувати як здатність до передачі логічних значень через пристрій, так і значень керованості на його входах.
CY (вихідного вузла) = KCY Г— f (CY (Вхідних вузлів))
В
Малюнок 1.
KCY - коефіцієнт передачі керованості пристрою. Він є заходом, що характеризує ступінь відмінності здібності генерувати значення В«1В» від здатності генерувати значення В«0В». Він залежить тільки від логічної функції, реалізованої пристроєм, і не залежить від місця розташування пристрою в схемі:
,
де N (0) - число всіх способів встановити логічний В«0В» на виході пристрою;
N (1) - число всіх способів встановити логічну В«1В» на виході пристрою.
KCY = 1, якщо N (0) = N (1) (Елементи НЕ, XOR). p> У загальному випадку 0
N (0) і N (1) можуть бути отримані з таблиць істинності елементів. Для пристрою з декількома виходами кожен вихід буде характеризуватися своїм власним значенням KCY і в загальному випадку ці значення не будуть однаковими.
В
В
f - середнє арифметичне CY (входів).
Керованість починає обчислюватися з первинних входів. Вона обчислюється для всіх вузлів, що лежать на шляху від первинних входів до первинних виходів включно.
Наявність зворотних зв'язків у пристрої ускладнює обчислення CY у вузлах всієї схеми пристрою. У цьому випадку проблема зводиться до розв'язання системи лінійних рівнянь.
2. Визначення наблюдаемості
Спостережуваність (OY - observability) може приймати відносні значення від 0 до 1.
OY = 1 для первинного виходу.
OY = 1 для вузла у вузлі.
OY = 0, якщо неможливо забезпечити такі умови, за яких зміна значення у вузлі призводило б до зміни значення на первинному виході.
Практично 0 ВЈ OY ВЈ 1. Наблюдаемость вузлів у схемі зменшується від первинних виходів до первинних входів.
В
Малюнок 2
У загальному випадку процес поширення інформації про несправність через пристрій залежить, як від здібності активізувати певний вхід, так і від здатності встановити фіксовані значення на деяких або всіх інших входах пристрою, дозволяють активізувати шлях до певного виходу пристрою (функція керованості цих входів). Отже:
OY (на виході) = KOY * OY (на вході) * g (CY активізують входів),
де KOY - коефіцієнт передачі наблюдаемості. KOY (I-Q) - KOY від входу I до виходу Q.
KOY (I-Q) = 1, якщо транспортування значення несправності існує завжди, незалежно від станів активізують входів.
KOY (I-Q) = 0, якщо не існує шляхи транспортування несправності між I і Q.
Проте насправді KOY лежить між цими межами 0 ВЈ KOY ВЈ 1. br/>
,
де N (PDC: IQ) - число одновимірних неполяризованих кубів (D-кубів), які активізують шлях IQ
В
N (NPDC: IQ) - число одновимірних неполяризованих D-кубів, замикаючих (блокуючих) активізацію шляху I-Q.
В
Для
"І": N (PDC: I-Q) = 1,
N (NPDC: I-Q) = 1,
KOY (I-Q) = 1/(1 +1) = 0.5.
Для другого входу елемента "І" на увазі симетрії KOY (IQ) = 0.5.
Для знаходження наблюдаемості за формулою (1) обчислення починається з деякого вузла, де встановлюється OY = 1 і це значення передається на первинні виходи схеми, щоб на них вийшло значення наблюдаемості вихідного вузла. Цей процес потім необхідно повторювати для кожного вузла схеми.
Недолік цього методу полягає у великих витратах часу, так як обчислення необхідно повторювати стільки разів, скільки вузлів у схемі. За наявності зворотних зв'язків необхідно вирішувати систему рівнянь.
На щастя, можна використовувати більш простий спосіб, заснований на мультиплікативних властивостях наблюдаемості.
В
Малюнок 3
OY (A-C) = OY (A-A) * OY (A-B) * OY (B-C),
так як OY (A-A) = OY (C-C) = 1, то
OY (A-C) = OY (C-C) * OY (A-B) * OY (B-C). br/>
Це визначає інший метод обчислення: починаючи з первинних виходів схеми, значення наблюдаемості обчислюються для кожного вузла на шляху від виходу до входу.
O...