Protocol Abstract Test Suite Automation Generator Based On E-LOTOS

Protocol testing is the effective method to make sure the implementation is correct and valid. Protocol conformance testing is the foundation of protocol testing which tests the conformance between protocol implementation and protocol standard.Protocol conformance testing study is mainly in two aspects that are testing system construction and test set generation. In testing system construct, aimed to develop the test environment that is provided with the complete ability to test and the ability to use testing tools; In Test Set Generation Technology Research mainly generated Conformance Test Set automatically or semi-automatically by the formal description of the Protocol. In protocol conformance testing process the test set generation determined the test quality which is foundations of test execute and the core of the protocol testing.In this paper, the protocol abstract test suite Automatic Generation Platforms--PATSAG is designed and implemented based on the E-LOTOS formal description language by detailed studying the standards of E-LOTOS and TTCN-3 and combining with the method of protocol conformance test suite Automatic Generation home and abroad. The platform has two methods of test suite Generation: Based on the protocol syntax tree Generation and Based on the protocol finite state machine Generation. Protocol described by E-LOTOS is input to the Platform and the protocol test suite described TTCN-3 core language is output. Study of the BGP-4 showed that the BGP-4's finite state machine described by E-LOTOS is achieved and test suite of BGP-4's finite state machine generated by the platform.