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.
Published in:
Future Computer and Communication (ICFCC), 2010 2nd International Conference on
(Volume:2
)
Date of Conference: 21-24 May 2010