Research On Robustness Testing Technology Based On The IKE Protocol

With the development of computer networks, network protocols become increasingly complex. The increase in protocols'complexity means that potential errors may increase, while the errors and shortcomings in protocol implementations will bring enormous harm to system's reliability and robustness. So in order to improve quality of protocol implementation products and enable it to adapt to a variety of complex network environment, one of the effective methods is carrying on robustness testing to these protocol implementations. As a security protocol widely used in the network, the IKE protocol's implementation product is to provide security service for data. If exception handling ability is not strong, it may be a security risk. Therefore, research on the robustness testing of the protocol is of great significance.Firstly, this thesis carries on in-depth study to robustness testing theory. According to the particularity of protocol, we analyze the existing test methods and select the test method applied to IKE protocol robustness testing - the remote test method. Simultaneously Formal Description Techniques is used to describe the IKE Protocol to solve the existing problem of protocol testing, and this thesis builds separately EFSM modules of the client and server which are the foundation of test sequences generation.Secondly, based on the analysis of existing test sequence generation method, an improved robustness test sequence generation algorithm is proposed, guided by state-by-state, to design test cases and generate relatively complete test suites which are easily extended. In particular, the invalid messages are constructed based on the parameter method in the test suites generation process.Finally, it develops a test executing system called Ike-Robustness-Testing with B/S structure and modular programming which the test cases are executed. Through robustness testing of IKE, some hidden trouble is discovered. Simultaneously it is good to prove that these theories are effective.