Abstract:
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.
Fulltext:
PDF file (1664 kB)