王玲玲
- 作品数：3 被引量：4H指数：1
- 供职机构：内蒙古大学更多>>
- 发文基金：内蒙古自治区自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- OSPF协议互操作性测试建模方法研究
- 2010年
- 随着互联网的快速发展,稳定可靠的路由协议变得越来越重要。OSPF协议作为中型网络最常用的路由协议。文章对互操作性测试的关键问题例如协议形式化建模及协议的不确定性进行了深入的分析。采用扩展Petri网对OSPF协议进行建模,并依此模型分析了OSPF协议的互操作性测试中存在的不确定性。同时,依据Petri网模型和MSC消息序列图,给出了交互模型的生成算法,最后为全文总结及未来的研究工作。
- 刘龙李华叶新铭杭成宝王玲玲
- 关键词：互操作性测试PETRI网OSPF协议不确定性
- 一种互操作测试的建模及测试选择方法被引量：4
- 2009年
- 互操作性测试可以对设备互连互通互操作提供根本保证,一致性测试与互操作性测试既有相交的部分又各有不同.互操作性测试包括两个被测实现,其中一方有时称为QE(qualified equipment).根据被测的规范说明的不确定有限状态机模型和当前已有的互操作性测试经验构建概率不确定有限状态机,有效地刻画当前的互操作性测试状况.基于该模型采用宽度优先算法以及一定的策略生成包含所有状态的二叉树,然后基于得到的二叉树给出了包含不确定状态的互操作性测试序列的选择算法,通过示例展示了提出的算法的有效性,并以RIP协议的计数到无穷为例展示了提出的建模方法的应用.最后给出了结论以及下一步的研究工作.
- 李华叶新铭吴承勇王龙王玲玲
- 关键词：互操作性不确定性
- OSPFv3协议的互操作性测试中不确定性问题和可选项影响的研究
- 路由协议OSPFv3作为网络运作核心部分,是下一代互联网络协议族测试的重点,除了要对其进行一致性测试,还要进行互操作性测试,检测实现是否能够完成端到端的互联互通。本课题主要从OSPFv3协议互操作性测试中出现的不确定性问...
- 王玲玲
- 关键词：互操作性测试着色PETRI网分解树
- 文献传递网络资源链接
