Дедуктивные методы определения отказов, проверяемых заданным тестом

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