Research On The Test Suite Generation For Security Protocol

Along with the fast development of compunication technology, protocol design andrealization become more and more complex. In order to explain easily, almost all the protocolcriterions adopt natural language. Because the natural language is ambiguous, different factoriesunderstand differently to some specific terms in some protocols. Factories expecting to realizefunctions are different, so the productions would show the difference. In order to guarantee thequality of productions, protocol productions need to be carried conforence test to make sure ifthe protocol productions accord with the protocol criterions.The security protocol enhance safety characteristic for the TCP/IP protocol by enhancingsafety to every level in the TCP/IP protocol. The security protocol provides IPv4 and IPv6protocol with mutual operational, good quality and encrypted safety characteristic. The securityprotocol provides net system with accessing control, connectionless integrality, data resourceauthentication, preventing replay attack, information encrypted, flux secrecy and so on. In orderto make sure the security service provided by the security protocol product would be realized, thesecurity protocol product need to be tested. The test suite create step is the core step in theprotocol test and now the test suite create study is limited. So the test suite create study can notmeet the rising security protocol test requirement and study on the security protocol test suitecreate technology has important theory and realism significance.The thesis studies the security protocol test suite create technology on the base of protocoltest theory (especially test suite create theory), the security protocol characteristic and the testsuite create step which is test scheme create, test sequence design and test suite design realization.In the study of test sequence create technology, I design a test sequence create arithmetic onthe base of analyzing existing test sequence create method. I find that the test sequence created inthis method has distinct advantage in the function and capability.In the test scheme design aspect, I design the security protocol scheme frame according tothe security protocol characteristic and the interacting test method. Through simplifying andcanceling some test steps, the test assistant part proportion in the test is decrease. The securityprotocol scheme frame shortens the test sequence and promotes the test efficiency.In order to make abstract test suite, the currency test suite need to be described informalization. Because analyzing standard formalization describe language TTCN's describecapacity is limited and the language misfits to describe security protocol test suite, I design amethod to describe the security protocol test suite. The method defines the format whichdescribes data and the grammar which describes behavior. The method describes the test suite from the function test and the behavior test. According to above theory, I design the securityprotocol test system and make out the protocol test frame and system frame. I set up the physicstest environment and carry the test scheme in the Linux system.from the function test and the behavior test. According to above theory, I design the securityprotocol test system and make out the protocol test frame and system frame. I set up the physicstest environment and carry the test scheme in the Linux system.