基于形式化方法的因特网路由协议的一致性测试

• 作者: 吴建平 毕军
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 一致行测试 分布式系统 路由协议 因特网 并发数表组合表述法
• 年，卷（期）: 2000,（4）
• 页码范围: 427-434
• 页数: 8页
• 分类号: TP393
• 字数: 3447字
• 语种: 中文

摘要

并发数表组合表述法(并发TTCN)是可以描述并发测试行为的测试表述法.该文提出一种基于并发TTCN的分布式路由协议的测试方法.首先讨论路由协议实体的测试结构,然后给出基于并发TTCN测试系统的设计.最后介绍了测试集的设计.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴建平	清华大学计算机科学与技术系	298	5155	36.0	63.0
2	毕军	清华大学计算机科学与技术系	37	304	9.0	17.0