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

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