一种路由器形式化测试模型的研究  

Research on Formal Testing Model of Router

作　　者：张冠华[1] 张连华[1] 陈凯[1] 白英彩[1] 

机构地区：[1]上海交通大学计算机科学与工程系,上海200030

出　　处：《系统仿真学报》2005年第1期154-155,177,共3页Journal of System Simulation

摘　　要：研究了基于进程代数的并行复合测试技术,其能够在合理的时间和空间计算范围内对大型复杂系统进行测试与分析,而避免了状态空间爆炸问题。基于一个具体的多输入队列路由器的例子,介绍了路由器形式化测试模型的建立以及测试和分析。It is introduced a parallel composition testing technique based on process algebra, which can be used to test and analyze complex systems with reasonable computing time and space. 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.

关 键 词：进程代数 路由器 建模 测试 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]