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

作者：张冠华; 张连华; 陈凯; 白英彩进程代数路由器建模测试

摘要：研究了基于进程代数的并行复合测试技术,其能够在合理的时间和空间计算范围内对大型复杂系统进行测试与分析,而避免了状态空间爆炸问题.基于一个具体的多输入队列路由器的例子,介绍了路由器形式化测试模型的建立以及测试和分析.

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社