Abstract:
A testing diagnosis technique is proposed for control automata which are assembled of large standard circuits in formal design of automata. A complete test is obtained for testing single constant faults. The upper bound of its length is given.