刘龙
- 作品数：8 被引量：2H指数：1
- 供职机构：内蒙古大学更多>>
- 发文基金：内蒙古自治区自然科学基金国家自然科学基金内蒙古自治区高等学校科学研究项目更多>>
- 相关领域：自动化与计算机技术文化科学经济管理电子电信更多>>
- 基于属性的OSPEv3协议互操作性测试方法研究与实现
- 随着IPv4地址分配告罄,IPv6已经成为最佳的解决方案。OSPF协议作为最重要的路由协议之一,其相应的OSPFv3也在不断的更新。目前对路由协议的测试主要集中一致性测试方面,对于像OSPF这样一个复杂的协议,对其进行互...
- 刘龙
- 关键词：互操作性测试路由协议TTCN-3着色PETRI网粒度
- OSPF协议互操作性测试建模方法研究
- 2010年
- 随着互联网的快速发展,稳定可靠的路由协议变得越来越重要。OSPF协议作为中型网络最常用的路由协议。文章对互操作性测试的关键问题例如协议形式化建模及协议的不确定性进行了深入的分析。采用扩展Petri网对OSPF协议进行建模,并依此模型分析了OSPF协议的互操作性测试中存在的不确定性。同时,依据Petri网模型和MSC消息序列图,给出了交互模型的生成算法,最后为全文总结及未来的研究工作。
- 刘龙李华叶新铭杭成宝王玲玲
- 关键词：互操作性测试PETRI网OSPF协议不确定性
- 移动IPv6协议中移动节点的可执行测试序列生成方法研究
- 2009年
- 移动IPv6可以为主机移动提供便利,使得它可以以一个永久的IPv6地址连接到任何链路上。对于它的测试研究可以保证协议的实现与说明的一致性。在移动IPv6中共有移动节点、家乡代理以及对端节点3个角色。分析了移动节点的控制流模型以及它的基于控制流的测试序列,基于该序列重构并形成了扩展有限状态机,其中考虑加入数据流,构建了可执行的测试序列,然后基于可执行测试序列提取了测试例,此方法可以减缓甚至避免爆炸问题。通过测试实践展示了本方法的有效性,最后给出了结论。
- 李华叶新铭刘静刘龙
- 关键词：移动IPV6
- 基于属性的OSPFv3协议互操作性测试方法研究与实现
- 随着IPv4地址分配告罄,IPv6已经成为最佳的解决方案。OSPF协议作为最重要的路由协议之一,其相应的OSPFv3也在不断的更新。目前对路由协议的测试主要集中一致性测试方面,对于像OSPF这样一个复杂的协议,对其进行互...
- 刘龙
- 关键词：互操作性测试路由协议
- 文献传递
- 基于属性的协议互操作性测试的TTCN-3实现
- 2011年
- 目前对路由协议的测试主要集中在一致性测试,对于像OSPF这样的复杂协议,对其进行互操作测试非常必要.传统的协议互操作性测试是基于被测系统的形式化模型生成测试序列,对测试序列进行测试例抽象,最终得出测试判定.传统方法简单易行,但当测试序列较长时相应问题随之而来.采用TTCN-3语言对基于属性生成的测试序列进行测试用例的实现,结果说明采用基于属性作为模型选择的方法并结合使用TTCN-3实现测试用例可以有效提高测试效率.
- 洪有芬刘龙李华
- 关键词：互操作测试路由协议TTCN-3
- OSPF协议互操作性测试建模方法研究
- 随着互联网的快速发展,稳定可靠的路由协议变得越来越重要。OSPF协议作为中型网络最常用的路由协议。文章对互操作性测试的关键问题例如协议形式化建模及协议的不确定性进行了深入的分析。采用扩展Petri网对OSPF协议进行建模...
- 刘龙李华叶新铭杭成宝王玲玲
- 关键词：互操作性测试PETRI网OSPF协议不确定性
- 文献传递
- 中国建设银行包头分行网点转型战略研究
- 我国商业银行自成立以来不断适应外部变化，加快战略转型，经历了高速增长的十年。但在过去的两年里，伴随利率市场化步伐加速，放开了利率管制，市场竞争更加激烈，再加市场经济环境疲软，不良信贷暴露，建行包头分行作为地区四大国有银行...
- 刘龙
- 关键词：商业银行经营网点经济转型客户满意度
- 呼和浩特市蒙古族中小学民族文化传承教育现状研究——以呼和浩特蒙古族学校、呼和浩特市兴安路民族小学、内蒙古师大附中为例
- 文化为教育之“土壤”，教育也具有文化传承与拓展之功能和使命。在当今全球一体化进程加快的背景下，蒙古族文化发生了深刻的变迁，从而引发许多新的教育命题。特别是由于国家施行把农村牧区级的中小学合并到城镇的措施使蒙古族学生自幼离...
- 刘龙
- 关键词：蒙古族中小学教育民族精神文化传承
