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.
基于一个具体的多输入队列路由器的例子，介绍了路由器形式化测试模型的建立以及测试和分析。
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.
基于一个具体的多输入队列路由器的例子，介绍了路由器形式化测试模型的建立以及测试和分析。
应用推荐