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

摘要：

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

关键词： 互操作性测试 Petri网 OSPF协议 不确定性

作者: 刘龙 李华 叶新铭 杭成宝 王玲玲

作者单位: 内蒙古大学,呼和浩特,010021

会议类型: 国内会议

会议名称: 第七届全国Web信息系统及其应用学术会议、第五届全国语义Web与本体论学术研讨会、第四届全国电子政务技术及应用学术研讨会

会议地点: 呼和浩特

会议语种:中文

页码: 145-149

在线出版日期: 2010-08-01（万方平台首次上网日期，不代表论文的发表时间）