Robustness testing of BGP in core router indicates that this system can greatly improve the router's stability and reliability.
该测试系统应用到核心路由器的协议研发中，显著地提高了核心路由器的稳定性和可靠性。
Based on an example of router with multiple input queues, construction of formal testing model of router is introduced and testing and analysis of this model are researched.
基于一个具体的多输入队列路由器的例子，介绍了路由器形式化测试模型的建立以及测试和分析。
应用推荐