浙江省教育厅科研计划(20050799)
- 作品数:2 被引量:13H指数:2
- 相关作者:魏仰苏舒挺孟兆航吴柏青更多>>
- 相关机构:浙江理工大学更多>>
- 发文基金:浙江省教育厅科研计划浙江省科技攻关计划更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于SDL模式的通信协议开发被引量:2
- 2007年
- 研究了设计模式和形式化描述语言SDL相结合的SDL模式技术,分析了通信协议开发中存在的两类SDL模式:结构模式和行为模式,提出了一种基于SDL模式开发通信协议软件的方法,并通过PPP协议的开发实践验证了该方法的可行性。该方法可以有效的重用已有成功的软件开发成果,减少通信协议软件开发难度,缩短系统开发周期,提高软件质量。
- 舒挺魏仰苏
- 关键词:设计模式形式化方法通信协议
- EFSM可执行状态验证序列的生成被引量:11
- 2007年
- 在以扩展有限状态机(EFSM)为模型描述的协议一致性测试系统中,为了解决状态验证序列的可执行性问题,提出了一种新的可执行状态验证序列(ESIS)生成算法.新算法基于宽度优先搜索可执行分析树(EAT)的思想,从状态验证需求的角度,在EFSM的状态格局投影子空间中,采用分步计算的方式生成具体验证场景下的最短可执行状态验证序列,从而减少了在完全状态格局空间中单步计算所有状态验证序列的复杂性.实验结果表明了新算法对生成EFSM可执行状态验证序列是有效的.
- 舒挺魏仰苏吴柏青孟兆航
- 关键词:协议一致性测试扩展有限状态机