吴柏青
- 作品数：4 被引量：17H指数：2
- 供职机构：浙江理工大学信息电子学院更多>>
- 发文基金：浙江省教育厅科研计划浙江省科技攻关计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于模型驱动架构的协议建模语言研究
- 通信协议是计算机网络进行可靠通信的关键。随着计算机网络的发展，通信协议变得越来越复杂，通信协议的设计已经成为计算机网络的设计和实现的关键。
本文首先介绍了协议工程和形式化模型。协议工程是一种形式化的协议开发过程...
- 吴柏青
- 关键词：通信协议模型驱动架构计算机网络软件开发框架
- 文献传递
- 将UML模型转换成SDL模型的方法被引量：2
- 2007年
- 提出了一种将UML模型转换成SDL模型的方法。UML是一种优秀的建模语言,使用UML可以为协议建立模型带来很多方便。但是,UML缺乏形式化语义,因此不能满足协议精确性的要求。SDL是一种用于通信软件规格的标准语言,它拥有形式化语义,而且有很多商业软件都支持它。在协议设计和开发中,将UML模型转换成SDL模型可以克服这样的缺点。通过为UML制作适当的profile,并制定严格的转换规则可以实现模型的转换。
- 吴柏青魏仰苏蒋国明
- 关键词：统一建模语言形式化语义
- 基于COM原理的UML模型信息提取技术被引量：5
- 2007年
- 提出了一种提取UML模型信息的方法。UML是一种优秀的建模语言,使用UML可以为软件模型的建立带来很多方便。同时,为了验证模型的一致性,有必要将模型信息提取出来,通过一些成熟的算法进行测试。因此,研究如何从UML图中提取相应的模型信息有其现实意义。利用Rose提供的基于COM技术的REI,实现了从UML文档中自动提取用于软件测试的模型信息。
- 吴柏青魏仰苏蒋国明
- 关键词：统一建模语言状态图软件测试组件对象模型
- EFSM可执行状态验证序列的生成被引量：11
- 2007年
- 在以扩展有限状态机(EFSM)为模型描述的协议一致性测试系统中,为了解决状态验证序列的可执行性问题,提出了一种新的可执行状态验证序列(ESIS)生成算法.新算法基于宽度优先搜索可执行分析树(EAT)的思想,从状态验证需求的角度,在EFSM的状态格局投影子空间中,采用分步计算的方式生成具体验证场景下的最短可执行状态验证序列,从而减少了在完全状态格局空间中单步计算所有状态验证序列的复杂性.实验结果表明了新算法对生成EFSM可执行状态验证序列是有效的.
- 舒挺魏仰苏吴柏青孟兆航
- 关键词：协议一致性测试扩展有限状态机
