2.5.3 Методика генерации тестов вручную.

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

Вариант 1. Начать с узла с наихудшей управляемостью.

Вариант 2. Начать с узла с наихудшей наблюдаемостью.

Вариант 3. Начать с узла с наилучшими управляемостью и наблюдаемостью, т. е. с наилучшей тестопригодностью.

Выбор варианта 1 или 2 может быть обоснован тем, что тест для узла с наихудшими значениями управляемости и наблюдаемости, по всей вероятности, будет автоматически покрывать более «простые» неисправности узлов с высокими показателями тестопригодности. Обоснованием варианта 3 является то, что решение в первую очередь легкой задачи обеспечивает постепенное приближение к сложным участкам схемы, а так как задача простая, то ее успешное решение служит моральной поддержкой для разработчика тестов.

Оба подхода позволяют осуществить полезное структурирование процесса генерации тестов. Однако очень часто методика тестового диагностирования развивается на основе специального подхода, рассчитанного на применение к данному случаю. Использование показателей тестопригодности узлов схемы обеспечивает путь к более обоснованному планированию методики тестирования.

Для иллюстрации этого вновь рассмотрим, схему контроллера (рис 2.22) вместе с узловыми значениями тестопригодности, управляемости и наблюдаемости, вычисленными системой CAMELOT (табл. 2.4). Узлами с наименьшим значением управляемости CY=0,411 являются А12 и U8.8 Состояние узла А12 представляет результат выполнения операции И-НЕ над значениями выходов U2.2 и U2 6 дешифратора U2. Состояние узла U8.8 — результат выполнения операции И-НЕ над значениями выходов U2.7 и U2.9 дешифратора U2. Состояние узла А12 непосредственно наблюдается, как на первичном выходе схемы, в то время как U8.8 запитывает подсхем управления дешифратором, образуя обратную связь.

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

Теперь рассмотрим параметры наблюдаемости схемы узлом с наименьшим значением наблюдаемости OY=0,411 является U12.3. Этот узел топологически расположен в центре схемы. Его состояние в большей степени можно наблюдать на первичном входе А10, а также на других ПВых через ветвление выхода U6.12 к U 2 и, следовательно, на выходах дешифратора U 2. Таким образом, принимая решение начать процедуру генерации тестов с нахождения тестов, обнаруживающих обе неисправности н-к-1 и н-к-0 узла U12.3 путем активизации путей, будем решать одну из наиболее сложных задач генерации проверяющих тесов схемы.

В заключение рассмотрим ряд вопросов другого подхода — процедуры генерации тестов, начинающейся с наиболее простых узлов. Здесь необходимо определить узел, который одновременно легко управляется и наблюдается, т. е. узел с наивысшим показателем тестопригодности. В рассматриваемом примере вход А42 представляется наиболее тестопригодным узлом (TY = 0,957) вместе с первичным входом А46, характеризующимся вторым по значению показателем тестопригодности (TY=0,911). Это неудивительно, так как А42 — основной тактовый вход, а А46 — вход сигнала общего сброса. Поэтому полученный результат не приносит заметной пользы. Можно надеяться, что входы общего сброса и тактирования проверяются достаточно просто, поскольку имеют определяющее воздействие на поведение схемы. Тем не менее, когда теоретические расчеты дают результат, который интуитивно воспринимается как правильный, то этот результат представляется обнадеживающим.

Таким образом, анализ количественных показателей тестопригодности приводит к выводу о том, что наилучшим подходом к решению задачи тестирования рассматриваемой схемы является сосредоточение на анализе элемента U2. Его выходное состояние воздействует почти на каждый элемент схемы, и наличие знаний о характеристиках управляемости и наблюдаемости дешифратора, безусловно, позволит осуществлять управление узлами и наблюдение за ними в остальной части схемы.