FSM-based method for detecting state mechanism of protocol.

Detecting the state mechanism of protocol can effectively improve the test comprehensiveness when testing the stability of network. This paper proposed a detection method of the state mechanism of protocol based on finite state machine. First, this method established an FSM model of certain message sending entity of testing protocol and determined the input set. Second, during the test, it monitored state transitions of sending entity and generated a state transition diagram. Finally, it determined the state mechanism of protocol message and defined trigger conditions of stateful message according to the state transition diagram. It determined the state mechanism of protocol after summarizing and classifying the tested messages. This paper built a lab environment to test and verify the effectiveness of this method. [ABSTRACT FROM AUTHOR]