浙江省科技攻关计划(2005C21027)
- 作品数：3 被引量：13H指数：2
- 相关作者：魏仰苏宋瑾钰蒋国明孟兆航舒挺更多>>
- 相关机构：浙江理工大学浙江水利水电学院更多>>
- 发文基金：浙江省科技攻关计划浙江省自然科学基金浙江省教育厅科研计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于MPLS-DiffServ的LSP动态抢占算法研究被引量：2
- 2006年
- 在支持具有不同优先级和不同QoS需求的多业务网络中,抢占是带宽分配和管理的有效策略,但同时也对网络造成了振荡。基于普通的LSP路由方案,提出了一个动态的LSP抢占算法——Min_Prec算法:总是首先抢占最低优先级的LSP;在同一个优先级别内最优化被抢占的带宽和LSP数目。最后,通过引入一个抢占策略对于路由过程的反馈机制,减少抢占引起的重路由,增强网络稳定性。仿真结果验证了算法的有效性、优越性。
- 魏仰苏蒋国明宋瑾钰
- 关键词：抢占MPLS
- 基于BISON的UML语法分析器设计被引量：1
- 2007年
- 目前基于UML类图和状态图做面向对象软件测试方面已有不少研究,因此研究如何实现一个UML语法分析器有其现实意义。利用BISON设计了一个UML语法分析器,通过对UML文档的词法语法分析,实现了从UML文档中自动提取用于软件测试的信息,提高了软件测试效率。在VC6.0环境下对该分析器仿真,实验结果表明,软件能正确提取测试需要的信息。
- 蒋国明魏仰苏宋瑾钰
- 关键词：统一建模语言语法分析器类图状态图
- EFSM可执行状态验证序列的生成被引量：11
- 2007年
- 在以扩展有限状态机(EFSM)为模型描述的协议一致性测试系统中,为了解决状态验证序列的可执行性问题,提出了一种新的可执行状态验证序列(ESIS)生成算法.新算法基于宽度优先搜索可执行分析树(EAT)的思想,从状态验证需求的角度,在EFSM的状态格局投影子空间中,采用分步计算的方式生成具体验证场景下的最短可执行状态验证序列,从而减少了在完全状态格局空间中单步计算所有状态验证序列的复杂性.实验结果表明了新算法对生成EFSM可执行状态验证序列是有效的.
- 舒挺魏仰苏吴柏青孟兆航
- 关键词：协议一致性测试扩展有限状态机
