Развитие метода

Возможен отбор тестов, которые диагностируют неисправности с заданной степенью диагностической разрешающей способности, которая зависит от объема схемы, содержащейся в каждой сменной ячейке.

Развитие метода – выбор набора тестов, которые идентифицируют неисправность только с точностью до одной БИС – ячейки.

Предположим: неисправности и связаны с ячейкой ; ; . Ясно, что мы не хотим больше различать пары неисправностей из одной и той же ячейки, вклад таких пар в вес теста нужно вычитать для при условии, что и - число «0» и «1» в j-м столбце блока bk, связанного с ячейкой pl. Тогда выполняется соотношение

,

где суммирование производится по всем ячейкам, связанным с блоком ( - число сменных ячеек, – одна из ячеек, ).

Пример: Таблица неисправностей (рис.16) состоит из восьми тестов и двенадцати неисправностей. Объект реализован на пяти сменных ячейках P₁-P₅.

В ячейке P₁ необходимо обнаруживать две неисправности и , во второй P₂ и четвертой P₄ – по три неисправности, в третьей P₃ и пятой P₅ ячейках – по две неисправности.

Рис 16. Таблица ТФН №1

Сначала вычисляются веса и получаем, что max весом обладает .

Перестраиваем таблицу 1 в таблицу 2. Снова вычисляем веса тестов (кроме ). На этот раз выбор пал на .

Рис 17. ТНФ №2

Проиллюстрируем определение веса для теста t₆, лучшего на втром шаге

При следующей перестройке таблицы (ТФН3) блок b4 можно не рассматривать, так как его строки связаны только с Р5:

Рис 18. ТФН №3

Проиллюстрируем определение веса столбца 2, который оказывается лучшим на третьем шаге отбора тестов.

Таким образом тест Т2 выбираем третьим в группу тестов, имеющих наибольшие веса.

Следующая перестройка ТФН представлена на рис.19..

Рис 19. ТНФ №4

Теперь все тесты имеют веса = 0 – процесс отбора тестов заканчивается, минимальным набором является (Т5, Т6, Т2). Следовательно для идентификации каждой неисправной ячейки требуется только семь комбинаций:

Р1=(0, 0, 0) или (0, 1, 0); Р2=(0, 0, 1); Р3=(0, 1, 1); Р4=(1, 0, 1) или (1, 1, 1); Р5=(1, 1, 0)

Метод привлекателен для больших таблиц неисправностей, т.к. для реализации на машине требуется немного памяти, длина наборов тестов равна min (m, n) итераций. Неразличимые итерации автоматически группиризуются в общие группы, а процесс отбора тестов может быть изменен, чтобы учитывался любой вид ограничений, накладываемых ячейками.