周吉
- 作品数：4 被引量：15H指数：2
- 供职机构：重庆大学计算机学院更多>>
- 相关领域：自动化与计算机技术更多>>
- 支持MDA的设计模式建模与模型转换方法研究被引量：10
- 2012年
- 设计模式是描述某一类问题的通用解决方案,可以提高软件开发的可重用性,但在设计模式建模中存在模式消失和模式组合复杂化等问题,模型的可扩展性低,不利于模型到代码的自动化转换。由此,在MDA框架下,引入角色的建模思想,提出了一种基于Ecore的设计模式建模和模型转换方法,该方法在元模型层抽象并扩展了设计模式通用元素的元模型,使得不同的模式组合模型通过对相同的模式元素元模型进行转换可以获得相应的应用模型,从而增强了设计模式建模的可扩展性和模型转换的通用性,为MDA框架中设计模式建模和模型转换提供了一种有效的途径。
- 曾一周吉孙政许林
- 关键词：设计模式模型驱动架构元模型
- 一种状态图到B规格说明的自动转换方法研究实现被引量：1
- 2011年
- 状态图是UML动态视图之一,主要描述对象的动态行为,但缺乏形式化的动态语义,不利于软件从需求到代码的自动化转换。B语言支持形式化规格说明,在MDA转换过程中,把UML状态图转换为B规格说明,可以使MDA中的需求表达得更为精确。基于此,提出了一种基于EMF的状态图到B规格说明的转换方法,设计了状态图和B抽象机的元模型,定义了元模型之间的转换规则,给出了该规则的ATL描述,最后在Eclipse平台实现了状态图到B规格说明的自动转化。该方法为MDA过程中获取形式化需求提供了一种新的途径。
- 曾一孙政周吉胡小威
- 关键词：形式化方法元模型UML状态图B方法
- 基于形式化规格说明的UML状态图提取被引量：3
- 2011年
- 为了辅助软件开发者理解形式化规格说明,提出一种从B方法规格说明中提取UML状态图的方法。通过分析状态信息在规格说明中的表现形式,定义一系列精确的简单状态、状态迁移、复合迁移、分层状态和状态图通信等提取规则。借助状态变量表和状态迁移表,最终实现状态元素和状态关系的提取,并以此构造完整的UML状态图。实验结果验证了方法的正确性及有效性。
- 曾一周欣周吉
- 关键词：形式化规格说明B方法
- 基于SA-PSO的多态路径测试数据生成方法被引量：1
- 2011年
- 目前测试数据生成方法多数未考虑到面向对象软件的多态特性,无法运用生成的测试数据对程序的多态信息进行充分的测试。根据多态路径测试数据生成的要求,提出了一种应用模拟退火—粒子群优化(simula-ted annealing-particle swarm optimization,SA-PSO)混合算法在多态路径测试中生成测试数据的方法,并通过多态性实例对基本粒子群算法、遗传算法、PSO-GA(particle swarm optimization-genetic algorithm)和SA-PSO算法在相同条件下进行了比较,结果表明SA-PSO算法具有更强的搜索能力,可以更快地发现全局最优解,能更好地为包含多态信息的测试路径生成测试数据。
- 曾一蔡森虎覃钊璇周吉许林
- 关键词：粒子群优化算法模拟退火算法多态测试数据
