孟兆航
- 作品数：6 被引量：35H指数：3
- 供职机构：浙江理工大学信息电子学院更多>>
- 发文基金：浙江省自然科学基金浙江省教育厅科研计划浙江省科技计划项目更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- Ad Hoc网络QoS路由协议研究被引量：3
- 2006年
- AdHoc网络自身固有的特点使得AdHoc网络QoS路由协议面临许多新的挑战和机遇。通过对基于标签探测(ticket-based probing,TBP)协议和在TBP协议基础上提出的延时约束最小费用的Ad Hoc网络中的完全分布式QoS路由协议——基于熵的长寿的分布式QoS路由(entropy-based long-life distributed QoS routing,EBLLD)协议进行的详细地分析和比较,可以得出以下结论:EBLLD协议有较高的路由成功率,具有可扩展性,可应用于较大规模的Ad Hoc网络。
- 孟兆航魏仰苏蒋国明
- 关键词：ADHOC网络路由协议QOS
- 通信协议一致性测试集自动生成研究
- 现代通信和计算机技术的迅猛发展，使得通信协议日趋庞大复杂。为了保证网络协议软件的质量，需要对协议实现进行严格的测试。一致性测试是从协议实现与协议规范是否符合的角度来对通信协议进行检测，是保证通信协议正确性和有效性的一个重...
- 孟兆航
- 关键词：EFSM测试集通信协议
- 文献传递
- MPLS的基于最小干涉的负载均衡算法研究被引量：8
- 2007年
- 当MPLS网络中的业务流请求存在时间上的先后顺序时,选择一个高效的路由算法使得已存在的业务流的LSP对后续业务流的LSP路由影响最小变得很重要。在分析了常用的几种QoS保障的算法基础上,提出了一种基于最小干涉的负载均衡算法。该算法解决了MPLS网络中所有“入口/出口对”之间的业务流相互干扰的问题,为后续业务流路由预留了必要的“关键链路”。
- 蒋国明魏仰苏孟兆航
- 关键词：负载均衡MPLSQOS
- EFSM可执行状态验证序列的生成被引量：11
- 2007年
- 在以扩展有限状态机(EFSM)为模型描述的协议一致性测试系统中,为了解决状态验证序列的可执行性问题,提出了一种新的可执行状态验证序列(ESIS)生成算法.新算法基于宽度优先搜索可执行分析树(EAT)的思想,从状态验证需求的角度,在EFSM的状态格局投影子空间中,采用分步计算的方式生成具体验证场景下的最短可执行状态验证序列,从而减少了在完全状态格局空间中单步计算所有状态验证序列的复杂性.实验结果表明了新算法对生成EFSM可执行状态验证序列是有效的.
- 舒挺魏仰苏吴柏青孟兆航
- 关键词：协议一致性测试扩展有限状态机
- 数据流控制流相叠加的可执行测试序列生成研究被引量：2
- 2007年
- 提出了一种可执行的测试序列的自动生成策略。先从UML模型中提取出协议模型的EFSM信息,然后利用变迁可执行性分析自动生成可执行的测试序列。该生成策略同时结合了数据流测试和控制流测试的优点,既具有比较高的错误覆盖率,又对通信协议中的数据部分进行了充分的测试,从而提高了一致性测试的效率。
- 魏仰苏孟兆航舒挺
- 关键词：数据流控制流
- 通信协议一致性测试序列自动生成算法研究被引量：13
- 2007年
- 在通信协议的一致性测试领域中,自动生成满足测试需要的一致性测试序列一直是该领域研究的一个重要问题。在对两种基于UIO序列的通信协议的一致性测试序列的自动生成算法进行了研究和比较后,分析了这两种算法各自的测试序列的生成过程及优缺点。实验结果表明,将这两种测试序列的生成算法相结合,能够对通信协议的控制流部分进行充分的测试,使生成的测试序列具有比较高的错误覆盖率,从而提高了一致性测试的效率。
- 魏仰苏孟兆航舒挺
- 关键词：可达性分析有限状态机
