OSPF协议互操作性测试建模方法研究

• 作者: 刘龙 叶新铭 李华 杭成宝 王玲玲
• 来源期刊: 计算机与数字工程
• 学科: 工学
• 关键词: 互操作性测试 Petri网 OSPF协议 不确定性
• 年，卷（期）: 2010,（8）
• 页码范围: 145-149
• 分类号: TP316.8
• 字数: 3443字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-9722.2010.08.040

摘要

随着互联网的快速发展,稳定可靠的路由协议变得越来越重要.OSPF协议作为中型网络最常用的路由协议.文章对互操作性测试的关键问题例如协议形式化建模及协议的不确定性进行了深入的分析.采用扩展Petri网对OSPF协议进行建模,并依此模型分析了OSPF协议的互操作性测试中存在的不确定性.同时,依据Petri网模型和MSC消息序列图,给出了交互模型的生成算法,最后为全文总结及未来的研究工作.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李华		70	183	7.0	9.0
2	叶新铭		100	798	11.0	25.0
3	刘龙		4	0	0.0	0.0
4	王玲玲		3	10	1.0	3.0
5	杭成宝		3	14	1.0	3.0