METHOD FOR GENERATING TEST SEQUENCE AND FAULT DIAGNOSIS USING THE SAME FOR SYSTEM OF COMMUNICATION FINITE STATE MACHINE

摘要

Disclosed are a method for automatically generating a test sequence for a system comprising a communicating finite state machine (FSM) and a method for diagnosing a system error using the automatically generated test sequence. The method for automatically generating a test sequence is a method for generating a test sequence for a system of a communicating finite state machine (SCFSM) for testing an FSM implemented from a communicating FSM disclosed in the specification. The method comprises the steps of: generating a full observable product machine (FOPM) of a communicating FSM disclosed in the specification from an observable product machine of the communicating FSM disclosed in the specification; generating a test sequence for state verification and a test sequence for transition verification from a characteristic group and a state identification group of the FOPM and a state processing group and a transition processing group of a partial observable product machine (POPM) of the communicating FSM disclosed in the specification; and generating the union of the test sequence for state verification and the test sequence for transition verification as a final test sequence.