Exhaustive testing and signature analysis

The possibility of error detection and exhaustive error testing during functioning off programed logic matrix are investigated. It is shown that the error can be missed under some relations between test generator and signature analyser matrices. The generator and analyser are linear sequential machines. Thus, the theory of linear sequential machines is used for the investigation. It appears that the use of test generator on the basis of linear sequential machine and signature analyser leads to the missing of many errors. Hence, the application of this pair is not efficient