Y (IQ) = OY (CQ) * KOY (IC) * g (CY активізують входів).
В
Малюнок 4
g - середнє арифметичне CY активізують входів
3. Галуження виходу
В
Малюнок 5
Наявність розгалуження на виході пристрою дозволяє спостерігати його стан на деяких первинних виходах схеми. (Пвих1 і Пвих2). br/>
OY (складене) = 1-П [1-OY (кожного X-Пвих)],
OY (X-(Пвих1, Пвих2)) = 1 - ([1-OY (X-Пвих1)] * [1-OY (X-Пвих2)]).
4. Сходяться розгалуження
В
Малюнок 6
1) Для шляхів нерівної довжини стратегія наступна: вибирається найкоротший шлях і для нього підраховується OY вузла X, тобто OY (X-Пвих). Передбачається, що на практиці для активізації вибирається найкоротший шлях, а інші блокуються щоб уникнути можливість сходження інформації.
2) Для сходяться шляхів рівної довжини стратегія полягає в обчисленні OY (X-Пвих) для обох шляхів і виборі шляху з найбільшим значенням наблюдаемості. І знову передбачається, що всі інші шляхи, крім одного вибраного, можуть бути блоковані.
5. Визначення тестопригодності
Проста міра тестопригодності вузла TY (testability) може бути отримана множенням значення його CY і OY.
TY вузла = CY вузла * OY вузла
На рівні інтуїтивного сприйняття, якщо, скажімо, СY = OY = 0.5, то TY В№ 0.5, тому що якщо керувати вузлом "На 50% складніше" і спостерігати за вузлом "на 50% складніше", то в цілому тестопригодності повинна бути менше 50%.
TY схеми = (S TY вузлів)/число вузлів
Значення CY, OY, TY в чистому вигляді не використовуються, а використовується від цих значень. Це дозволяє обмежити масштаб абсолютних значень і полегшити інтерпретацію результатів. Потім будуються гістограми для CY, OY, TY. На осі абсцис відкладаються значення CY (OY, TY) від 0.1 до 1, на осі ординат - число вузлів від 0 до n. p> Приклад: Дан тригер. Підрахувати CY, OY, TY для вузлів схеми і TY схеми.
В
Малюнок 7
6. Визначення керованості
В
CY (1) = 1
CY (2) = 1
CY (3) = 0.5 * (CY (4) +1)/2
CY (4) = 0.5 * (CY (3) +1)/2
Вирішуючи систему лінійних рівнянь, маємо:
CY (3) = 0.33
CY (4) = 0.33
II Визначення наблюдаемості
KOY = 1/(1 +1) = 0.5
OY (3-3) = OY (4-4) = 1
OY (3-3,4) = 1 - (1-OY (3-3)) (1-OY (3-4)) = 1
OY (4-3,4) = 1 - (1-OY (4-4)) (1-OY (4-3)) = 1
OY (1-3) = 0.5 * 0.33 = 0.165
OY (2-4) = 0.5 * 0.33 = 0.165
III Визначення тестопригодності
TY (1) = 1 * 0.165 = 0.165
TY (2) = 1 * 0.165 = 0.165
TY (3) = 0.33 * 1 = 0.33
TY (4) = 0.33 * 1 = 0.33
TY схеми = (0.165 * 2 +0.33 * 2)/4 = 0.2475
Візьмемо від значень CY, OY, TY, отримуючи в результаті CY * , OY * , TY * .
CY * (1) = 1; OY * (1-3) = 0.79; TY * (1) = 0.79
CY * (2) = 1; OY * (2-4) = 0.79: TY * (2) = 0.79
CY * (3) = 0.87; OY * (3-3) = 1; TY * (3) = 0.87
CY * (4) = 0.87; OY * (4-4) = 1; TY * (4) = 0.87
В
Рисунок 8 - Гістограми розподілу значень для CY * , OY * і TY * .
"+" Оцінки значень керованості, наблюдаемості і тестопригодності дозволяють проектувальнику визначати області схеми з малими значеннями спостереження та управлiння, а також після модифікації схеми оцінити результат значень з позицій поліпшення тестопригодності.
"+" При розробці тестів ці оцінки можуть використовуватися як основа для визначення методики тестування.
Обчислювані показники призначаються, головним чином, для порівняльного аналізу тестопригодності вузлів розглянутої схеми. Вони не забезпечують можливість правильного порівняння тестопригодності різних схем.
Значення наблюдаемості схеми залежать від значень керованості. Отже, зміни, що впливають на властивості керованості повинні бути внесені в схему перш, ніж будуть розглянуті зміни схеми, що впливають на властивості її наблюдаемості.
Рівень керованості деякої частини схеми з малим значенням CY можна підвищити введенням одполнітельних безпосередньо керованих входів або в розглянуту частина схеми, або попередню їй (Тобто на шляху проходження сигналу від первинних входів до даної схемою), см. рис.9.
Рівень наблюдаемості деякої частини схеми можна підвищити, поліпшивши доступ або до розглянутої частини схеми, або до частини між первинними виходами і розглянутої частиною, (Наприклад, введенням додаткових контрольних точок), див рис.9. br/>В
Малюнок 9
Вище наведено приклад асинхронного лічильника-дільника на 9. Він складається з ланцюж...
