基于相同形式模型的协议测试方法研究

• 作者: 丁雪莲 叶新铭 孙涛 李华
• 来源期刊: 内蒙古大学学报（自然科学版）
• 学科: 工学
• 关键词: 形式模型 路由协议 测试 扩充
• 年，卷（期）: 2005,（6）
• 页码范围: 703-708
• 页数: 6页
• 分类号: TP393.06
• 字数: 4976字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-1638.2005.06.020

摘要

首先分析了目前网络协议发展的现状,介绍了协议测试的一般过程.在分析了协议的前后版本之间的变化后,发现可以将这些变化看成是对当前版本的一个扩充,并将扩充分为三大类:保留项扩充、选项扩充和部分改变,相应的给出了针对各类变化的测试方法,最后以OSPFv3中的Helloreceived 事件为例介绍了提出的测试方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙涛	内蒙古大学计算机学院	10	25	3.0	5.0
2	李华	内蒙古大学计算机学院	70	183	7.0	9.0
3	叶新铭	内蒙古大学计算机学院	100	798	11.0	25.0
4	丁雪莲	内蒙古大学计算机学院	3	19	2.0	3.0