The object of research are digital circuit control tests. The model of a digital circuit is of a grey-box type. Test patterns (impacts) are combinations of logical zeros and ones, applied to circuit inputs. A binary matrix is the response of a digital circuit to input impacts. The examined faults are of «bridging faults» and «stuck-at faults» types. We distinguish the structural units of a test, as well as transformations, maintaining its structure. The measure of binary matrix symmetry is defined. Based on the measure obtained, the criteria are introduced, which help to calculate the utility of another test impact upon a digital circuit. To investigate the criteria, both pseudo-random and deterministic test sequences have been used. Among others, we have observed such algorithmic sequences as a sliding-ONE test, a logarithmic test, a galloping test pattern and a checkerboard test. The proposed approach gives the possibility to identify and exclude the impacts, not carrying useful information, from a test of combinational circuit control. The developed criteria can also be applied to construct memory tests. The analysis of experimental data allows us to make a conclusion about the advisability of using the proposed mathematical apparatus in the theory and practice of digital device testing, as well as in processes of test development.
Read full abstract