Improved Robustness Test Sequences Generation Algorithm

Sequence generation is a key technology in protocol robustness testing. WANG Le-chun proposed a robustness sequence generation algorithm based on FSM, but if the algorithm is directly used in EFSM, the test sequence may be unenforceable. For this problem, in this paper the original algorithm is improved by adding changing parameter, replacing, removing the three kinds of processing methods, robustness testing of IKE shows that the improved algorithm has effectively solved the problem of enforceability.