| 一种路由器形式化测试模型的研究 |
| |
| 引用本文： | 张冠华,张连华,陈凯,白英彩.一种路由器形式化测试模型的研究[J].系统仿真学报,2005,17(1):154-155,177. |
| |
| 作者姓名： | 张冠华 张连华 陈凯 白英彩 |
| |
| 作者单位： | 上海交通大学计算机科学与工程系,上海,200030 |
| |
| 摘 要： | 研究了基于进程代数的并行复合测试技术，其能够在合理的时间和空间计算范围内对大型复杂系统进行测试与分析，而避免了状态空间爆炸问题。基于一个具体的多输入队列路由器的例子，介绍了路由器形式化测试模型的建立以及测试和分析。
|
| 关 键 词： | 进程代数 路由器 建模 测试 |
| 文章编号： | 1004-731X(2005)01-0154-02 |
Research on Formal Testing Model of Router |
| |
| ZHANG Guan-hua,ZHANG Lian-hua,CHEN Kai,BAI Ying-cai.Research on Formal Testing Model of Router[J].Journal of System Simulation,2005,17(1):154-155,177. |
| |
| Authors: | ZHANG Guan-hua ZHANG Lian-hua CHEN Kai BAI Ying-cai |
| |
| Abstract: | 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. |
| |
| Keywords: | process algebra router modeling testing |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
