Java程序到类图和AISD的转换方法研究

论述了Java类、UML类图和过程蓝图AISD的基本概念,详细介绍了Java程序和类图、抽象实现结构图的映射关系及转换方法,使抽象模型能全面地表达所对应的程序代码。

基于过程蓝图的程序环路复杂性度量方法

提出一种基于过程蓝图的程序环路复杂性度量实现方法。将传统基于程序控制流图的度量信息抽取变为对过程蓝图的实现层表示-抽象实现结构图的信息抽取,避免程序源代码的语法分析和控制流图的构造,简化度量过程和实现,并提高度量处理的效率。

基于过程蓝图的参数化重复代码检测技术研究

通过引入过程蓝图改进参数化重复代码的检测方法,降低原检测方法的空间复杂度,并避免将程序源码变换为后缀树这一复杂过程,为自动重构定位提供更有效的技术.

重复代码自动检测工具的研究与设计

重复代码是程序中最常见的代码“坏味道”.在改进的Kontogiannis度量方法及基于过程蓝图的参数化匹配检测方法基础上,提出以过程蓝图为基础,设计出一个重复代码自动探测工具,并给出实现系统结构.同时论述了工具种各模块的设计与实现方法,着重讨论了重复代码检测器及存储结构的设计。

基于抽象实现结构图的数据流方程切片方法

提出在PASCAL抽象实现结构图上,采用数据流方程算法实现程序切片的自动化.该方法将过程蓝图的抽象实现结构图引入静态过程内切片领域,实现了程序表示形式与程序切片处理形式的统一,避免了传统方法产生控制流图的需要,简化了切片处理过程,提高了切片处理效率,并直观地反映了切片后的程序变化.