Abstract:
The vector of a lexicographically arranged Boolean elementary interval can belong to no cyclic code whose generator polynomial has roots distinct from unity. Therefore, under some additional conditions upon the scheme to be tested and the sequence of test actions, the cyclic code a priori detects all faulty schemes from a rather wide class. The conditions mentioned lead to the consideration of a new class of separating systems.