Abstract:
For combinational devices defined by a structural model, a method is suggested for determining the set of failures detectable by a given set of tests. Analysis is carried out under the assumption that only constant failures at inputs or outputs of elements constituing a device are possible. The method proposed here enables reduction of the number network nodes which should be looked through.