Deductive methods for determining the faults checked by a given test

The paper is concerned with determining single constant faults checked by a given test with due regard for illegitimacy of the test. Deductive methods are suggested whereby the results of a single ternary modeling of a faultless system are analyzed. Set theoretic formulae are given for computation of lists of failures to be checked in each, cycle of a specified test.