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

В общем случае процесс распространения информации о неисправности через устройство зависит, как от способности активизировать определенный вход, так и от способности установить фиксированные значения на некоторых или всех других входах устройства, позволяющих активизировать путь к определенному выходу устройства (функция управляемости этих входов). Следовательно:

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.

,

где N(PDC:I-Q) - число одномерных неполяризованных кубов (D-кубов), активизирующих путь I-Q

N(NPDC:I-Q) - число одномерных неполяризованных D-кубов, запирающих (блокирующих) активизацию пути I-Q.

Для

"И": N(PDC:I-Q)=1,

N(NPDC:I-Q)=1,

KOY(I-Q)=1/(1+1)=0.5.

Для второго входа элемента "И" в виду симметрии KOY(I-Q)=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).

Это определяет другой метод вычисления: начиная с первичных выходов схемы, значения наблюдаемости вычисляются для каждого узла на пути от выхода к входу.

OY(I-Q)= OY(C-Q)* KOY(I-C)*g(CY активизирующих входов).

Рисунок 4

g - среднее арифметическое CY активизирующих входов