广东省自然科学基金(05008310)
- 作品数：9 被引量：13H指数：2
- 相关作者：刘建宾王颖斯陈春晓李建忠林哲更多>>
- 相关机构：北京信息科技大学汕头大学韩山师范学院更多>>
- 发文基金：广东省自然科学基金北京市教委科技发展计划北京市自然科学基金更多>>
- 相关领域：自动化与计算机技术自然科学总论更多>>
- 基于JavaCC的JAVA程序模型逆向转换
- 2010年
- 针对软件的维护和更新问题,提出一种基于编译技术、以类图和过程蓝图作为抽象模型的Java程序模型逆向变换方法。从对逆向变换的核心思想——逆向变换规则和机制出发,提出了从Java源代码到UML类图和过程蓝图的逆向变化规则,并用数学的形式进行了精确的定义。针对面向对象语言Java设计了一个逆向变换支撑工具,应用编译技术动态分析了Java源代码,逆向转换生成UML类图和过程蓝图的可视化模型。
- 樊波刘建宾
- 关键词：JAVACCUML类图
- 基于抽象实现结构图的数据流方程切片方法被引量：2
- 2006年
- 提出在PASCAL抽象实现结构图上,采用数据流方程算法实现程序切片的自动化.该方法将过程蓝图的抽象实现结构图引入静态过程内切片领域,实现了程序表示形式与程序切片处理形式的统一,避免了传统方法产生控制流图的需要,简化了切片处理过程,提高了切片处理效率,并直观地反映了切片后的程序变化.
- 刘建宾郑敏
- 过程蓝图程序表示模型与视图导出方法被引量：4
- 2009年
- 针对传统程序技术长期存在的表示分离、开发低效、质量欠佳、维护困难等问题,提出一种跨越分析、设计和构造阶段的多阶段程序过程表示模型。采用概念、逻辑和实现3层抽象视图、控制流和数据流二级映射的架构及视图导出方法,通过建立映射约束规则和对应关系,实现视图间的联系与统一,保证导出制品的一致性和有效性,使增量迭代、逐步求精的模型驱动设计过程规范化,有效提高程序生产率与可维护性。
- 刘建宾
- 关键词：建模语言
- 无定型程序切片研究与应用被引量：2
- 2007年
- 程序切片技术是一种重要的程序分析技术,在软件工程诸多领域有着广泛应用。而无定型切片技术摒弃了传统切片中对语句保持的约束,可以得到更轻更小的切片,能够在程序理解和逆向工程等方面更好地发挥作用。文中主要介绍了无定型切片的概念及其与传统切片的比较,并基于SDG的算法,对其应用研究方面作了讨论。
- 陈春晓
- 关键词：切片无定型系统依赖图
- 一种重复代码检测技术的改进研究被引量：2
- 2009年
- 针对Kontogiannis重复代码度量方法不能区分IF条件语句与循环语句的控制流复杂性,且未对两个比较函数的返回类型进行判断时而产生错误匹配的问题,通过引入两个新的度量变量对其进行改进,结果表明,改进的度量公式能提高重复代码检测的准确性并减少匹配错误,为自动重构定位提供更有效的技术。
- 刘建宾李建忠
- 过程蓝图统一元模型语法被引量：2
- 2010年
- 为了以严格和可读的方式对过程蓝图建模语言进行定义,对元模型定义方法进行分析和基本集合与函数定义的基础上,采用基于集合、函数和一阶谓词逻辑的数学语言和自然语言相结合的半形式化技术和统一构造方法,对过程蓝图元模型的抽象语法和良构规则进行了定义。结果为过程蓝图语言的结构、建模符号的语法与静态语义以及从内部统一结构到外部视图的导出方法提供规格说明,并为过程蓝图程序技术的研究与应用提供统一的形式框架。
- 刘建宾
- 关键词：抽象语法建模语言
- 软件重构技术综述被引量：4
- 2009年
- 本文在介绍重构概念的基础上,对重构形式、重构操作、源码重构、重构工具、模型重构等方面的研究现状和发展方向、以及重构相关的技术及其关系进行论述,最后对有待解决的问题进行了讨论。
- 王颖斯刘建宾
- 基于过程蓝图的基本树变换操作研究
- 2009年
- 在过程蓝图工作已有的基础上,提出一些新的基本树变化操作,不变量和重构操作。这些工作更好地发挥了过程蓝图的树形结构优势,弥补了原有工作的不足,使过程蓝图的重构理论更加丰富。
- 王颖斯刘建宾
- 关键词：不变量
- 可视化面向对象程序建模系统设计被引量：2
- 2008年
- 介绍了一个基于类图和过程蓝图的可视化面向对象建模系统设计.该系统针对现有建模工具未能对算法过程建模提供足够支持的问题,定义并采用了一种基于类图模型和过程蓝图模型的混合模型,该模型能够根据用户的需要生成包括框架和过程细节在内的完整程序代码.最后的测试结果表明了系统的有效性.
- 林哲刘建宾
- 关键词：类图
