Обнаружение кратных неисправностей в одиночных контурах

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