一种UML活动图逆向恢复方法.pdfVIP

一种UML 活动图的逆向恢复方法1 周新宽，陈平，李青山 西安电子科技大学软件工程研究所 陕西 西安 (710071) E-mail：zhouxinkuan@126.com 摘 要：UML 活动图的逆向恢复是逆向工程的重要组成部分，对于理解目标系统的动态行为 和控制流程有重要辅助作用。本文针对 Windows 环境中的面向对象系统，给出了一种基于进 程 （线程）间关系的UML 活动图的逆向恢复方法，该方法采用反射植入机制对目标系统进行 基于关键函数的植入，然后对植入后目标系统运行时的动态信息进行过滤并提取出来转化为 UML 活动图模型文件。在此过程中给出了相应的植入和过滤算法，并通过实验验证该方法的 有效性。 关键词：逆向工程；UML 活动图；进程（线程）间关系 1 引言 [1] [2] 在逆向工程 中，UML 活动图 在理解面向对象系统的过程中有着举足轻重的作用，为了 辅助用户能从多个角度、多个层次全面地理解目标系统，就需要产生和抽象出能反映软件系统 动态行为特征的活动图，从而促进系统的维护和演化，因此活动图的恢复在逆向工程中扮演着 非常重要的角色。UML 活动图是用于对系统动态方面的建模，体现了系统从活动到活动的控 制流程，而进程 （线程）间关系可以看作是系统执行过程中体现出的系统计算能力的一个侧面， 它强调了系统行为(任务、并发、同步等) 的实现逻辑，所以在进程（线程）层次对系统的控制 流程进行的恢复是一种清晰而合理的思想。 在之前的工作中，主要针对 Unix 系统进行了基于进程间关系的活动图的逆向恢复，获得 了初步的成果。Windows 系统同样也是一种主流的操作系统，而且基于 Windows 的应用系统 也拥有非常独立和广阔的领域。因此，对于 Windows 环境下的面向对象系统进行活动图的逆 向恢复就成为逆向工程中重要的组成部分，这也是本文所论述的焦点。本文基于 Unix 系统中 活动图恢复的技术，给出了 Windows 系统中一种基于进程（线程）间关系的活动图的逆向恢 复方法。文中所有相关算法已经在逆向工程工具 XDRE[3] （XiDian Reverse Engineering ）中实 现。 2 反射原理和开放编译技术 [4] 反射 (reflection)是关于并作用于计算系统本身的推理过程，这一活动涉及访问并部分地 改变整个系统，从而影响自身的计算。反射的实现通常将系统细分为两层：基层和元层。应用 的功能在基层实现，元层完成观测、操纵基层的结构和行为的功能。面向对象系统通过元对象 1 本课题得到国家自然科学基金(项目编号, 国家教育部博士点基金(项目编号:20030701009)及“十 五” 国防预研项目(项目编号:41306060106)资助。 -1- 来实现反射，一个对象与一个元对象联系在一起时，这个元对象表示着该对象的元信息。反射 能够明确分离描述系统自身结构和行为的信息与系统所处理的信息，能够建立可动态操纵的因 果关联以动态调整系统行为，是开放编译器的基础。反射的关键思想就是访问并修改元系统， 以改变其执行动作的方式。 开放编译的思想是将编译过程用元对象协议 MOP[5][6] 向用户开放，允许用户自己通过编制 实现元对象的程序片段来干预编译过程，以达到特定的应用目的。Open C++[5]是开放式编译器 技术的一个典型，将元对象协议引入了 C++语言,它是基于 C++ 的一种扩展语言，扩展的特征 由元程序在编译时指定。Open C++ 中将常规的C++程序称为基层程序。通过 MOP 接口以操纵 基层程序元信息的程序称为元层程序。Open C++ 的编译处理过程包括三个阶段：预处理、源 码对源码的转换以及后端的 C++编译。Open C++ 的MOP 是一个在第二阶段控制转换的接口。 图1 中显示了元层程序被编译器动态连接的过程。基级程序首先由C++预处理程序进行预处理， 然后分成很小的代码片断，这些代码片