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

摘要：

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

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

所属期刊栏目：38

分类号：TP316.8(计算技术、计算机技术)

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

页数：共5页

页码：145-149