Оценка тестопригодности

Виды оценки тестопригодности:

• Управляемость (оценка обеспечения на входах схемы ЭС значений, необходимых для обнаружения неисправностей)

Может быть от 0 до 1. Максимальное значение 1 на входе схемы. Значение 0 там. где невозможно установить логическое состояние, например, заземленный вход.

Значение управляемости на выходах данной схемы зависит от значения управляемости на входах, которое не всегда равно 1.

Yвых=Ky f(Yвх)

Кy - коэффициент передачи управляемости элемента, связанный с этим выходом.

f - зависит от значений управляемости всех входов.

• Наблюдаемость (оценка наблюдения реакции схемы на данную неисправность на ее выходах).

Наблюдаемость входа 1, и оа уменьшается по мере продвижения сигналов вдоль активизированного пути.

Коэффициент передачи наблюдаемости Kn - количественная мера, характеризующая уменьшение значения наблюдаемости элемента по мере продвижения к выходу вдоль активизированного пути при условии, что другие элементы схемы управляемы.

Нвых=Kn Нвх g(Увх)

Тестопригодность: Т=НУ

Общий показатель тестопригодности для всей ЭС определяется как мера средей трудоемкости получения теста для каждого элемента, а следовательно, эта мера является средним арифметическим значением тестопригодности всех элементов ЭС:

TЭС=(T)N где N-число элментов ЭС.

В ДОПОЛНЕНИИ(найти место в ответах/распределить)

1. D-алгоритм

D-алгоритм является дальнейшим развитием концепции активизации путей проверяемой схемы. В отличие от метода одномерной активизации данный алгоритм основан на возможности одновременной активизации всевозможных путей (как одномерных так и многомерных) от места возникновения неисправности ко всем выходам схемы. Формальное описание алгоритма базируется на D-исчислении - модифицированном кубическом исчислении булевых функций.

1.1 D-исчисление

D - исчисление представляет собой р - исчисление, дополненное следующими понятиями и определениями.

D - куб. Это определенное над опорными координатами вентиля либо схемы множество, состоящее из элементов {0, 1, х, d, d'} и составленное таким образом, чтобы хотя бы одной входной и одной выходной координатам соответствовал символ d либо d`. Символы d, d` могут принимать значения из множества {0, 1}. D-куб имеет кратность k (будем также называть такой его n-мерным кубом), если символы d либо d' соответствуют k входным координатам. D - куб кратности 1 называется простым. Формально построение d-куба сводится к попарному пересечению кубов из единичного и нулевого вырожденных покрытий по следующим соотношениям:

0 ^ 0 = 0 ^ х = 0,

1 ^ 1 = 1 ^ х = 1,

х ^ х = х,

1 ^ 0 = d,

0 ^ 1 = d`.

Например, для элемента 2 ИЛИ d-кубы можно построить следующим образом:

Два d-куба, один из которых получен из другого путем замены всех символов d на d` или наоборот без изменения остальных символов, являются равносильными и называются эквивалентными.

Физическая интерпретация d - куба. В простом d-кубе отражается факт управляемости выхода вентиля от одного входа; в кратном кубе выходом управляют одновременно несколько входов.

D - куб неисправности. Это понятие используется для выражения теста неисправности вентиля либо схемы вцелом через входные и выходные координаты. D - куб неисправности состоит из входного набора (локального теста) и символов d, d' на выходных координатах. Локальный тест строится над входными координатами вентиля таким образом, чтобы под его воздействием неисправность проявлялась (наблюдалась) на выходе вентиля (схемы). Символ d говорит о том, что элемент (схема) в исправном состоянии на выходе должен иметь 1, в неисправном - 0; для символа d' - наоборот. Различают примитивный и сложный d-кубы неисправности вентиля и d-куб неисправности схемы. Примитивный d - куб строится над координатами одного вентиля, сложный

d - куб - над координатами нескольких вентилей. D - к у б неисправности схемы задается над входными и выходными координатами схемы. Например, для неисправности =0 на выходе элемента 2 ИЛИ примитивный d-куб неисправности вентиля

говорит о том, что при подаче теста {1, х} на входы вентиля на его выходе в исправном состоянии должна быть 1, а в неисправном - 0. При построении D-куба неисправности необходимо придерживаться следующих рекомендаций: - если KТ, в которой моделируется неисправность, является внешним входом схемы, то D-куб неисправности составляется относительно одного или нескольких вентилей, которые питает данный вход, в зависимости от того какой путь (одномерный или многомерный) будет активизироваться. Так, например, для приводимого ниже фрагмента схемы D-куб неисправности х1=1 при попытке активизации

одномерного пути {x2, V1,...} необходимо составлять относительно одного вентиля - V1:

Если же требуется активизировать многомерный путь

то D-куб неисправности должен быть построен относительно вентилей V1 и V2:

При моделировании неисправности на непосредственном входе (выходе) элемента схемы D-куб неисправности составляется относительно вентиля, которому принадлежит рассматриваемый вход, вне зависимости от того, кто питает этот вход (выход другого элемента или внешний вход схемы) и имеются ли ответвления в цепи данной КТ. Например, D-кубы неисправностей V1.вх2=1, V1.вых=0 в приведенном выше фрагменте схемы строятся относительно вентиля V1:

D-куб неисправности на внешнем выходе схемы строится от- носительно вентиля, выход которого является выходом схемы.

D - пересечение. Эта операция выражает формализм активизации пути от места возникновения неисправности до выходов схемы. Этим обеспечивается наблюдаемость неисправности. Операция обозначается как " ^" и определяется над d-кубами на основе следующих соотношений:

Рассмотрим пример d-пересечения кубов:

Правило d-пересечения кубов. Куб, являющийся результатом d-пересечения двух d-кубов неопределен, если он содержит символы y, p либо одновременно встречаются символы j и m. Если в кубе имеются символы j, но не m, то вместо пересечения А^В необходимо выполнить А^~В. В случае наличия символов m пересечение производить по соотношениям:

1.2 Тестирование КЛС по D-алгоритму

Синтез теста конкретной неисправности производится по следующему алгоритму.

Алгоритм D1. (Алгоритм тестирования отдельной неисправности k=h на базе D-исчисления).

1. Относительно выбранного вентиля составляется D-куб Сh0 заданной неисправности.

2. Описываются всевозможные пути L = {li}, порождаемые Кт k.

3. D - проход (D-продвижение, прямая фаза(1-я)). Из списка L выбирается путь li (одномерный или многомерный и выполняется его активизация путем последовательного D-пересечения куба Сh0 с D-кубами вентилей, лежащих на пути li. При этом на каждом шаге символ d либо d' " продвигается" по данному пути на выход очередного вентиля. Эта заканчивается по получении на выходной координате символа d либо d'.В результате на некотором n-шаге получаем D-куб неисправности схемы D" (li) с неопределенными выходными координатами вентилей.

4. Доопределение (обратная фаза(2-я)). Этап предназначен для установки (доопределения) требуемых выходных значений куба D" (li), которые после d-прохода не обязательно обеспечены соответствующими входными значениями. Доопределение выполняется на основе операции D-пересечения куба D" (li) с соответствующими сингулярными кубами вырожденных покрытий вентилей. Если же какую-либо из координат не удается доопределить, т. е. всевозможные варианты пере- сечений образуют пустые либо неопределенные кубы, то активизация пути li прекращается, путь вычеркивается из списка L и производится переход на п.3 данного алгоритма. При этом, если список L окажется пустым, то это говорит о том, что ни один из путей, порождаемых КТ k, не активизируется и теста данной неисправности не существует. В этом случае она объявляется несущественной, и алгоритм прекращается. В случае же успешного доопределения получаем D-куб неисправности схемы D(li).

5. Составление теста. Искомый тест t(k=h) составляется по входным координатам куба D(li).