面向Java语言的设计模式抽取方法的研究

从源码中抽取设计模式对于提高软件可理解性和可维护性、软件设计重用以及软件重构具有重要意义。文章面向Java语言提出了一个从源码中抽取设计模式的方法。具体地,研究了一种特定的设计模式描述方法、定义了源码信息模型及其化简方法,以此为基础提出了设计模式模型和源码模型的匹配方法。特别讨论了在抽取设计模式时与container类相关的问题及其解决方案。最后根据抽取结果从模式及其实例的角度对方法进行了评价,并提出了必要的优化技术。

程序算法识别研究综述

程序算法识别是程序理解研究中的子问题,主要目的是针对程序源代码识别出其所蕴含的程序算法。针对程序算法识别问题,首先说明其定义及实现过程;对可应用于程序算法识别领域的程序理解技术进行分类介绍,说明每种方法的实现技术路线;最后对每种方法进行了比较、分析,并提出未来程序算法识别研究的重点问题。

编译技术研究与逆向工程实践

计算机科学的发展离不开编译技术的支持,编译技术是计算机领域发展非常成熟的一个分支。逆向工程是软件工程中一个新的发展方向,近年来开始被人们关注,成为一个引人入胜的研究领域。反汇编是软件逆向工程中十分重要的内容,通过对编译原理的透彻理解,可以更加科学规范地分析和理解软件系统,从而更加敏捷地实施逆向工程。通过深入探讨编译原理,及通过编译技术进行逆向工程实践,提出了程序理解的一般思路,探索出一条进行逆向工程实践的较好方法。

一种精简二进制代码的程序理解方法

精简二进制代码形式的软件是软件分析和程序理解需要处理的一类具有代表性的对象,基于高级语言源代码和调试符号信息的传统分析方法在处理此类软件时受到了极大限制。提出一种精简二进制形式软件的理解方法,首先将分析对象转变为运行期进程,引入实际运行中的进程信息;然后引入程序的行为特征,以程序表现出的外在行为和对外接口作为辅助信息,将此类外部特征映射到程序代码;最后基于切片思想和调试技术,获得程序切片并分析。这种方法为分析理解过程扩展了信息量,降低了复杂度,解决了分析此类软件时信息缺失和难以建立理解模型的问题。

Smalltalk程序理解辅助系统BDCom-ST

Smalltalk语言的概念和语法结构简洁 ,程序易于理解 ,但它的某些特性 (如动态绑定、动态类型 )仍然对Smalltalk程序的理解构成障碍 .而且随着应用系统复杂性增大以及类库的增长 ,对 Smalltalk程序理解的难度也随之增大 .对此 ,作者介绍了一个 Smalltalk程序辅助理解系统 BDCom- ST,它在分析 Smalltalk程序的基础上 ,利用类型推导技术来解决动态行为的理解问题 .该系统可从源程序逆向生成 OOD文档 。

逆向工程研究与发展

一、引言由于多年的运行历史,遗产系统包含了企业的众多知识,包括系统需求、设计决策和业务规则。为了充分有效地利用这些有用资产,遗产系统持续性演化变得十分重要。再工程是将遗产系统转为易演化系统的良好途径之一。再工程在检查现有系统基础上,修改系统并组装成新的形式。作为工程的问题,再工程涉及对问题的理解,也即,理解系统的当前状态、未来状态和从当前状态演化到未来状态的途径。系统理解基于系统对象、系统专家和系统历史。系统对象包括源代码、手册和运行系统;系统专家包括开发者、维护者和用户;

软件再工程助手

随着越来越多成功的软件系统成为遗留系统,软件再工程已日益显现其重要性。但对原系统理解的难度影响了软件工程师对原系统进行再工程的效率,特别是从源代码获取设计规约。在软件维护和软件再工程中大量的工作是围绕着源代码的变换,这种变换将程序代码文本或规约文本从一种形式转变成另一种形式,从而使其具有更好的可读性和可理解性。论文介绍了作者与英国DeMontfort大学的研究人员开发的一个非常方便的用于从程序抽取规约(也就是从源代码文本到规约文本的变换)的再工程助手(RA)工具,并使用RA进行一个实例研究。

面向Java语言的逆向工程工具JBRET-JAVA

逆向工程通过对具体系统的分析 ,得出系统的高层结构。我们研制开发的逆向工程工具JBRET -JAVA系统 ,采用EER(EnhancedEntityRelationship)模型为被分析的系统源程序建立概念模型 ,并用关系数据库存储所抽取的程序信息 ;在JBRET -JAVA中 ,程序信息抽取器以增量方式分析程序源代码、抽取程序信息 ;程序信息表示器生成交互式理解的可视化视图以及逆向OOD(Object -OrientedDesign)文档 ;增量方式分析提高了分析效率 ;数据收集和信息浏览相分离 。

基于多agent的程序理解方法研究

一、引言 栽软件逆向工程的研究是软件工程领域的一个重要而实用的研究内容.逆向工程是在给定源代码的情况下理解软件结构的一个途径,其目的是标识软件系统中的构造块,抽取结构依赖关系,为系统创造另一种更高抽象形式的表示.软件逆向工程是基于以下的假设:构造软件系统的过程是从问题域到实现域的映射过程,这种映射是在正向工程中完成的,而且也是一个可逆的过程,可以在不同的抽象级别上被重构.

程序静态结构的分析及其应用

程序理解是软件维护、遗留系统的现代化改造以及软件的再工程等领域的重要技术。在软件可重用性和转换通用性的基础上,首先探讨了适于多种程序范型理解的转换系统架构,然后就有关应用问题和转换方法做了实例研究。

动静态信息相结合的UML2.0序列图逆向生成方法

符合UML2.0标准的序列图在UML1.x序列图的基础上添加了控制流信息。为此,本文提出一种基于动静态信息相结合的UML2.0序列图逆向生成方法。该方法首先利用目标程序运行时的动态信息产生基本的方法调用序列,然后依据静态的程序依赖图对其进行补充和调整,在其上添加方法间的逻辑关系,使产生的序列图带有控制流信息。这种方法生成的序列图符合UML2.0标准,可以很好地辅助用户理解目标程序。

再工程——概念及框架

进入九十年代以来,软件系统的规模变得越来越大,结构也越来越复杂,与此同时,软件的生存期也越来越长。过去的软件生存周期模型认为软件在开发完成之后,经过若干年的维护过程,会慢慢退出历史舞台,被新的软件系统所替代。然而,当前的生存周期模型趋于把系统看作能够随时间而进行连续演化的模型。同时,我们还可以看到,从头开始建造的大系统数量在急剧减少,很多遗产系统正在被逐步地利用起来,但利用遗产系统的同时,会遇到许多困难。由于时间的流逝,这些生存期已有10—25年的系统具有许多这样或那样的缺点。而其中最重要的一个问题就是:现有的遗产系统没有好的可演化性,这样就使得我们无法利用简单的方法把遗产系统转化为一个新的系统。

形式化方法应用于软件再工程

介绍软件再工程与形式化方法之后,对形式化方法应用于软件再工程过程的国内外现状进行了总结,接着概括了形式化方法支持软件再工程过程的理论与实践基础,探讨了与形式化方法、软件再工程过程相关的主流技术,包括图形化技术、构件技术、复用技术、中间件技术、设计模式抽取技术,得出在软件再工程过程中,将形式化方法与各种技术相结合才能使其顺利实施的结论。

逆向工程中动静态结合辅助用例模型的恢复

由于根据目前方法调用之间的"线索"或方法调用的相互关系恢复出的用例模型存在一定的局限性,该文提出了一种基于动态信息并结合静态信息的用例模型恢复方法。该方法以动态运行时的方法调用序列提取基本用例,依据静态的类间关系和静态的程序依赖图对基本用例进行调整、找出用例与角色的交互点及各用例所属的功能模块,使产生的用例模型带有语义信息,更好地辅助用户理解。

基于开放编译的面向对象程序静态分析器

采用反射和开放编译技术,设计并实现了一个面向对象程序静态分析器,对开放编译器Open C++进行了扩展与改进。通过实验研究表明,该程序静态分析器可以得到全面的系统依赖信息,可以有效地辅助程序理解。