蒙移发
- 作品数：5 被引量：18H指数：2
- 供职机构：北京邮电大学更多>>
- 相关领域：电子电信自动化与计算机技术经济管理更多>>
- Bluetooth协议栈一致性测试被引量：7
- 2001年
- Bluetooth协议栈实现的一致性测试是保证不同厂商产品之间互连与互操作的基础。 文章基于OSI协议一致性测试标准进行了Bluetooth协议一致性测试研究和实际测试, 并以L2CAP层协议为例介绍了一致性测试的方法、结构、测试集的设计、生成与完备性分析。
- 蒙移发徐惠民高强
- 关键词：通信协议计算机网络蓝牙技术协议栈
- 通信协议一致性测试优化技术研究
- 一致性测试已成为通信和分布式系统协议工程中最活跃的领域之一.近年来,已有了进一步的发展和完善,但研究的重点仍然集中在测试序列的生成. 该文以一致性测试序列生成技术的目标为指导,从理论和技术上探讨了如何生成费用最小、检错能...
- 蒙移发
- 关键词：通信协议一致性UIO
- 文献传递
- 基于“蓝牙”的IP业务
- 2001年
- 一问题的提出
伴随着IP技术在信息产业中作用的不断增大，传统IP技术的局限性与人们对IP业务新需求的矛盾也日益突出，具体表现为：传统IP不能实现主机漫游，主机进入与原来子网不同的子网时，IP地址必须改变，这将使其原先的通信伙伴无法再找到它，C.Perkins提出的移动IP方案可解决这一矛盾，未来的IPv6将支持移动IP。
- 蒙移发徐惠民高强
- 关键词：IP业务网络协议
- 协议验证与一致性测试方法被引量：11
- 2002年
- 1 引言
随着计算机网络和通信技术的不断进步,通信网的稳定性很大程度上取决于通信协议的稳定性,而保证通信协议的稳定性,分两步来实现:首先,协议设计好后,对设计出来的协议进行验证,协议验证有以下两大目标:①发现协议中应该避免的错误动作,如死锁、活锁、动态错误和未指定的接收等,以保证协议描述的内部逻辑正确;②验证协议能完成既定服务,图1是协议验证模型.
- 蒙移发徐惠民高强
- 关键词：通信网通信协议网络协议计算机网络
- 一种简化协议路径测试的方法被引量：1
- 2002年
- 在协议测试中，设计测试例是主要工作之一，测试例包括了对状态错和数据错的测试。测试状态错要求对状态图中路径进行遍历。基于向量空间的思想，设计了一个生成基本路径集的算法，使得状态图中任何路径都可由基本路径通过线性组合生成，以达到简化协议路径测试之目的，并对此加以了证明。
- 蒙移发徐惠民高强
- 关键词：状态图生成树有限状态机
