Skip to Main Content
A method on automatic generation of test cases and the implementation of the test cases generating system were discussed in the paper. E-LOTOS is used to describe protocol in this system, and U method has been used to generate the test cases described by TTCN-3. The system has been applied to the conformance test of BGP-4 protocol, and it can produce the test cases of the FSM of the BGP-4 automatically. Therefore it can enhance the efficiency and expand the coverage rate.