About cookies on this site Our websites require some cookies to function properly (required). In addition, other cookies may be used with your consent to analyze site usage, improve the user experience and for advertising. For more information, please review your options. By visiting our website, you agree to our processing of information as described in IBM’sprivacy statement. To provide a smooth navigation, your cookie preferences will be shared across the IBM web domains listed here.
Abstract
.Some new procedures for designing efficient checking experiments for sequential machines are described. These procedures are based on the use of four types of sequences introduced, namely, the compound DS, the resolving sequence (RS), the compound. RS, and the simple I/O sequence. Significant reduction in the bound on the length of checking experiments is achieved. Along a parallel line of development, a new procedure, called the state counting method, is presented for detecting faults that can cause an increase in the number of states. for an n-state, m-input symbol machine, this procedure gives a bound on the length of checking experiments that is approximately mΔπ. n times the bound for conventional checking experiments designed strictly under the assumption that no faults increase the number of states, where m > 1 and Δn is the maximum anticipated increase in the number of’ states due to faults. Copyright © 1971 by The Institute of Electrical and Electronics Engineers, Inc.