2.4 Принципы вычисления тестопригодности

Подведем итог тому, что было получено до сих пор. Во-первых, разработан метод вычисления управляемости каждого узла схемы. Он позволяет получить показатель, изменяющийся в пределах от 0 до 1, который отражает меру способности схемы к установке логического значения в заданном узле путем управления состояниями первичных входов схемы.

Во-вторых, разработан метод вычисления значений наблюдаемости каждого узла схемы. Это – показатель, также изменяющийся от 0 до 1, который отражает меру способности схемы к передаче изменения логического значения узла, вызванного неисправностью на первичные выходы схемы.

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

2.4.1. Тестопригодность как функция управляемости и наблюдаемости

Простая мера тестопригодности узла ТУ может быть получена в результате умножения значений его управляемости и наблюдаемости. Соотношение, применяемое в системе CAMELOT

TY узла= CY узлаOY узла, (2.12)

Удовлетворяет следующим условиям:

а) TY=0, если либо CY, либо OY равен 0;

б) TY=1, если и CY, и OY равны 1;

в) 0<TY<1, для 0<CY<1 и 0<OY<1

На уровне интуитивного восприятия это соответствует тому, что узел имеет, скажем, 50%-ную управляемость (CY=0.5) и 50%-ную наблюдаемость (OY = 0.5), то его тестопригодность вероятнее всего равна только 25% (TY = 0.25), а не 50%. Это так, поскольку управляемость и наблюдаемость независимые величины; если управлять узлом на «50% сложнее» и наблюдать его значения на «50% сложнее», то в результате тестопригодность в какой-то степени должна быть меньше 50%.

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

(2.13)

2.4.2. Вычислительная процедура

Процедура вычисления тестопригодности, используемая в системе CAMELOT, кратко представлена ниже.

Шаг1. Подготовить, прочитать и проверить описание схемных соединений.

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

Шаг3. Вычислить значения наблюдаемости узлов, начиная с первичных выходов схемы и продвигаясь обратно к ее первичным входам. Значения коэффициентов передачи наблюдаемости элементов схемы запрашиваются из библиотеки.

Шаг4. Вычислить узловые значения тестопригодности, пользуясь значениями управляемости и наблюдаемости.

Шаг5. Вычислить и представить среднее значение тестопригодности схемы и интерпретировать результаты.