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