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

• 作者: 张冠华 张连华 白英彩 陈凯
• 来源期刊: 系统仿真学报
• 学科: 工学
• 关键词: 进程代数 路由器 建模 测试
• 年，卷（期）: 2005,（1）
• 所属期刊栏目: 信息、控制与仿真
• 页码范围: 154-155,177
• 页数: 3页
• 分类号: TP393
• 字数: 2742字
• 语种: 中文
• DOI: 10.3969/j.issn.1004-731X.2005.01.039

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	白英彩	上海交通大学计算机科学与工程系	185	1721	20.0	33.0
2	张连华	上海交通大学计算机科学与工程系	37	217	8.0	13.0
3	陈凯	上海交通大学计算机科学与工程系	76	473	9.0	19.0
4	张冠华	上海交通大学计算机科学与工程系	9	16	2.0	4.0