This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Feb. 1981 (vol. 30 no. 2)
pp. 141-144
Robert D. Braun, MITRE Corporation, Bedford, MA 01730
Donald D. Givone, Department of Electrical Engineering, State University of New York at Buffalo, Amherst, NY 14260
An efficient method for constructing checking sequences for strongly connected reduced, synchronous, completely specified, deterministic, sequential machines possessing linking homing sequences (LHS) has been described [7]. For machines not possessing an LHS, the only method for constructing a checking sequence requires the use of locating sequences which are often very long. In this correspondence a general method for constructing efficient checking sequences using multiple linking homing sequences instead of locating sequences is presented.
Index Terms:
validating sequence,Checking experiments,fault detection,sequential machines,synchronous machines
Citation:
Robert D. Braun, Donald D. Givone, "A generalized algorithm for constructing checking sequences," IEEE Transactions on Computers, vol. 30, no. 2, pp. 141-144, Feb. 1981, doi:10.1109/TC.1981.6312177
Usage of this product signifies your acceptance of the Terms of Use.