Реферат: Анализ тестопригодности по методу Сamelot

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

В общем случае 0 < KCY£ 1.

N (0) и N (1) могут быть получены из таблиц истинности элементов. Для устройства с несколькими выходами каждый выход будет характеризоваться своим собственным значением KCY и в общем случае эти значения не будут одинаковыми.

f - среднее арифметическое CY(входов).

Управляемость начинает вычисляться с первичных входов. Она вычисляется для всех узлов, лежащих на пути от первичных входов до первичных выходов включительно.

Наличие обратных связей в устройстве усложняет вычисление CY в узлах всей схемы устройства. В этом случае проблема сводится к решению системы линейных уравнений.

2. Определение наблюдаемости

Наблюдаемость (OY - observability) может принимать относительные значения от 0 до 1.

OY=1 для первичного выхода.

OY=1 для узла в узле.

OY=0, если невозможно обеспечить такие условия, при которых изменение значения в узле приводило бы к изменению значения на первичном выходе.

Практически 0£OY£1. Наблюдаемость узлов в схеме уменьшается от первичных выходов к первичным входам.

--> ЧИТАТЬ ПОЛНОСТЬЮ <--