4.2.4. Заключение относительного алгоритма podem

Завершая обсуждение алгоритма PODEM, обратимся к обоб­щенной блок-схеме этого алгоритма верхнего уровня.

Рис. 4.9. Контрпример схемы Шнейдера

На рис.4.9 представлена схема, по которой читатель при же­лании может оценить свое понимание PODEM. Схема, известная как контрпример Шнейдера, имеет сложную симметричную струк­туру. Особенно интересно найти тест для неисправности G 2.4 н-к-0.

4.3. Процедура raps

В гл. 3 обсуждалась возможность быстрого получения сущест­венного покрытия неисправностей с помощью подачи в комбина­ционную схему псевдослучайных входных наборов. Процедура ак­тивизации произвольного пути (RAPS) является вариантом процедуры PODEM, согласно которому выполняется поиск значений первичных входов схемы, обеспечивающих вероятность покрытия неисправностей из заданного класса выше среднего уровня. При выполнении процедуры RAPS это осуществляется путем взвешенных попыток максимизировать число активизированных путей че­рез всю схему к первичным выходам. Определено, что для схем с высоким коэффициентом разветвлений входов и выходов про­цедура RAPS более эффективна (выше уровень покрытия неисправностей на тест), чем псевдослучайные методы, основанные, на­пример, на использовании сдвигового регистра с линейной обрат­ной связью.

Процедуры PODEM и RAPS различают по трем основным при­знакам.

А. Исходным в процедуре PODEM является «нахождение тес­та для заданной неисправности». Исходным в процедуре RAPS – произвольный «выбор любого первичного выхода и произвольное присвоение ему значения 0 или 1». Другими словами, процедура PODEM ориентирована на наличие неисправности, в то время как RAPS не зависит от неисправности.

Б. В процедуре RAPS, как и в PODEM, используется обратный проход при определении значений первичных входов, обеспечи­вающих требуемое значение первичного выхода, однако концеп­ция «самой легкой или самой сложной» управляемости заменяется «произвольным выбором».

В. Каждый проход в процедуре RAPS не зависит от любого другого прохода. Единственная информация, которая сохраняется во время прохода, это установленные значения на первичных вхо­дах и полученные логические состояния внутренних соединений. Не запоминается даже значение сигнала на выбранном первич­ном выходе. Этим подразумевается, что генерируется множество ПВх-определений, которое может устанавливать на выбранном первичном выходе значение сигнала, инверсное начальному. Целью процедуры RAPS является обеспечение высокой степени покрытия неисправностей с помощью максимизации числа активизированных путей. Выбранный первичный выход с установленным логическим состоянием является удобной стартовой позицией для полного достижения этой цели.

Как и при рассмотрении процедуры PODEM, знания о процеду­ре RAPS будем углублять на примере схемы, представленной на рис.4.6. В дальнейшем используется запись:

OB (G 3.12 = 0) : – G 3.2/R (=A*) = 1,

которая означает, что установка 0 в целом узле G 3.12 достига­ется, в частности, произвольным выбором одного из Х-входов G3 (в данном случае выбран вход G 3.2) и установкой на нем уровня 1. В рассматриваемом примере вход G 3.2 соединен с первичным входом А*. Буква R после G 3.2 означает, что G 3.2 выбран про­извольно из множества входов вентиля G3, имеющих неопреде­ленное состояние X. Заметим, что установка значения 1 на входе G 3.2 производится детерминировано, а не произвольно Это зна­чение определяется типом вентиля.