Проверка кратных неисправностей комбинационных устройств

Предлагаются метод и алгоритм построения тестов для проверки кратных константных неисправностей комбинационных схем произвольного базиса. Алгоритм позволяет находить тест длины два, проверяющий исправность линии схемы, причем для одновыходных схем такой тест будет построен во всех случаях, когда он существует. В качестве основы метода используется исчисление $D$-кубов [1,2]. Вводится также формальный аппарат, позволяющий избежать компенсации неисправности проверяемой линии.