基于COM原理进程结构图呈现技术.pdfVIP

基于COM原理的进程结构图呈现技术1 史红军，李青山，陈平，许永峰，夏辉，李鹏 （西安电子科技大学软件工程研究所，陕西西安 710071 ） E-mail：shi6255@163.com 摘 要：对于具有分布、并发特征的面向对象系统，抽取和呈现进程间的创建和通信关系， 可以从系统的高层体系结构方面帮助用户理解系统。在充分分析Rose 扩充技术原理的基础 上，本文给出了反应进程间创建和通信关系的进程结构图的一种呈现技术，通过扩充 Rose 的版型，将进程结构图在Rose 中直观地呈现出来。最后给出了一个分布、并发的软件系统， 作为测试案例，对该呈现技术的有效性进行了验证。 关键词：逆向工程，程序理解，进程，进程间通信，COM 1 引言 进程是分布、并发系统中最核心的概念之一，进程间创建关系和进程间通信结构对于用 户充分理解系统整体行为特征有非常重要的帮助。进程间的交互关系可以体现系统执行过程 中系统结构的一个侧面，它强调系统行为执行的逻辑。进程交互关系信息的提取和抽象，可 以从系统的高层体系结构方面帮助用户理解系统，因此在具有分布、并发特征的面向对象系 统逆向工程中，抽象进程交互关系具有重要理论和实际意义。 为了能够将进程结构图直观地呈现出来，需要对 Rose 进行扩充。 Rose 提供 REI 接口， 可以方便地将进程结构图呈现到 Rose 开发环境中，从而将抽象的概念用图形化的符号直观 地表示出来，有利于用户对目标系统的理解。同时，在 Rose 环境中，用户可以对逆向结果 进行再加工，抽象出公共部分用于其它的项目，提高软件的复用率。 2 进程结构图 2.1 进程间依赖关系 在具有分布、并发特征的系统中，各进程很少相互独立，它们或多或少有某种关系。进 程间主要有两大类关系：创建关系和通信关系。创建关系指一个进程创建另外一个进程，前 者称为父进程，后者称为子进程。通信关系指进程之间为达到一定目的而进行数据交换的方 式，可以有多种类型的通信手段。 本文主要考虑Unix平台上软件系统进程结构图的呈现技术。在Linux/Unix 中，常见的进 程间通信方式有：管道(FIFO)、消息队列(message queue)、信号量(semaphore)、共享内存(shared 1基金支持：国家自然科学基金(项目编号, 国家教育部博士点基金(项目编号:20030701009)及“十 五”国防预研项目(项目编号:41306060106) 1 [1] memory) 、TCP/UDP等 。 2.2 进程结构图的定义 [2] 为了后文方便地论述进程结构图的呈现，这里给出几个与进程结构图相关的定义 。 定义 1 进程：是程序的一次运行，它可以和其它的进程并发的执行，用P 来表示进程。 定义 2 进程模块：对进程多次运行的抽象，对应于程序特定的一段代码。在由相同目标 系统得到的进程结构图中，每一个进程模块都有一个标识唯一确定，这里用 PM(Process Module)表示进程模块。 定义 3 定义 3 资源模块：对进程间通信方式的抽象，不同的进程通信方式对应相应的 资源模块。在由相同目标系统得到的进程结构图中，每一个资源模块都有一个标识唯一确定， 这里用 RM(Resource Module)表示资源模块。 定义 4 进程结构图 PSG(Process Structure Graph) ：在目标系统中，进程结构图定义为三 元组，PSG = (S ，T，R) 。其中： ·S ＝ { PM | PM ∈ W }；W 是目标系统中所有进程模块的集合。 ·T ＝ { RM | RM ∈ V} ；V 是目标系统中资源模块的集合。 ·R ＝ { r | r ∈ H ∨ µ∈