The XV International Conference "Problems of Theoretical Cybernetics"

On the Synthesis of Schemes Permitting Short Tests and on the Estimates of the Test Lengths

N. P. Redkin

M. V. Lomonosov Moscow State University, Faculty of Mechanics and Mathematics

Abstract: The paper regards single checking tests for schemes of functional elements by inverse errors on the element outputs, along with checking test for schemes in case of one-type constant errors on the element outputs, single diagnostic tests for schemes in the infinite basis, minimal tests for schemes realizing disjunction. The new estimates are produced for the length of these tests. In certain cases these estimates are best possible.

Keywords: Boolean functions, schemes of functional elements, element errors, checking test, diagnostic test.

UDC: 519.95

Received: 01.04.2009