TEST-GENERATION FOR MULTIPLE STATE-TABLE FAULTS IN FINITE-STATE MACHINES

A test generation procedure to detect multiple state-table faults in f inite-state machines is proposed. The importance of multiple state-tab le faults and their advantages as test generation objectives to avoid the need for checking experiments are considered. The proposed procedu re is based on a new method for implicit enumeration of large numbers of multiple faults by using incompletely specified faulty machines. Ex perimental results are presented to demonstrate the effectiveness of i mplicit fault enumeration in detecting large numbers of multiple fault s and in guaranteeing detection of all the faults or all the faults up to a specific multiplicity.