发明名称 |
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. |
申请公布号 |
KR20140106978(A) |
申请公布日期 |
2014.09.04 |
申请号 |
KR20130021387 |
申请日期 |
2013.02.27 |
申请人 |
KUMOH NATIONAL INSTITUTE OF TECHNOLOGY INDUSTRY-ACADEMIC COOPERATION FOUNDATION |
发明人 |
YANG, QI PING;KIM, TAE HYONG |
分类号 |
G06F11/22 |
主分类号 |
G06F11/22 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|