C中Namespace概念的逆向分析——构件化程序设计支持研究.pdf

C++中Namespace概念的逆向分析 ——构件化程序设计支持 樊平，刘超 HB京航空航天大学软件工程研究所，北京100083) cn E—mail：fanning@sei．buaa．edu．cn，liuchao@buaa．edu 摘要： 本文主要论述了c++引入名字空闻后在接口封装手段上的变化，这类变化为构件化的程序设计提供 了基础支持。基于对这些变化的理解，本文简要介绍了新的提取出程序的逻辑和物理结构的逆向分析．T-具。同 时为了辅助软件的设计开发人员充分利用这些程序结构信息对原来的实现进行再工程，本文给出了衡量程序构 件化程度的评价标准和指导再工程的一些基本方法。 关键词： c++，名字空间，构件，接口，逆向工程，构件化程序设计 1概述 c++语言是一种支持多范型编程的通用编程语言【1】。关于c++程序逆向分析建模以及CASE工具的研 究已经很多，但多数集中于对传统结构化程序设计中的函数、变量，和面向对象设计中的类、类的成员及 其关系的分析。Namespace是一个较晚引入c++的概念，其直接目的是解决令人头疼的名字冲突问题，但 其本质是为实现程序构件的独立性提供的一种技术手段，从而在语言层面上支持可复用的构件化程序设计。 这就要求我们在逆向分析建模中针对Namespace概念，构造出更能体现程序的构件化体系结构及其包含的 丰富的复用构件(或构件库)的程序模型。本文主要论述了c++引入名字空间后在接口封装手段上的变化， 这类变化为构件化的程序设计提供了基础支持。基于对这些变化的理解，本文简要介绍了新的提取出程序 的逻辑和物理结构的逆向分析工具。为了辅助软件的设计开发人员充分利用这些程序结构信息对原来的实 现进行再工程，本文给出了衡量程序构件化程度的评价标准和指导再工程的一些基本方法。本文第2节介 绍基本概念，第3节重点论述名字空间如何支持构件化的程序设计，第4节介绍了我们的逆向分析工具． 随后讨论如何利用分析结果改进程序结构，最后简要介绍了我们在实现逆向识别c++程序中的一些经验。 2名宇空间的基本概念和使用方法 名字空间是一种描述程序元素逻辑分组的机制。图 l是一个简化的c++语言元模型：∞ 其中所有聚集关系表示包含，关联关系表示引用。从中 我们可以看出名字空间在C++中的地位，它可以包含类、 函数、变量和嵌套的子名字空间，同时它也可以被函数、 方法、类和其他名字空间引用。也就是说，如果有一些 声明按照某种准则在逻辑上属于同一个集合，那我们就 可以把它们放入到同一个名字空间，以表明这个事实。 图1一个简化的c++语言元 c++语言提供了四个机制来支持这个概念111： ) 定义作用域的机制(1ine1)，即名字空问，用于放置传统C和c++全局声明的东西。这种作 用域可以命名，访问名字空间的成员采用访问类成员的传统记法(1ine2)。 基金顶目：国家863高科技发展计划(2001AAll3100)；国家“九五”国防预研基金 作者简介樊{z(1979--)，男，．硕士研究生，主要研究领域为软件测试环境，软件逆向工程。刘超，男，教授，主要研究领域为软件 测试。 ￡：：生丝!型竺堑壁型丝型L生 2) 一种为名字空间定义局部同义词的机制，在用户局部作用域中简化名字空间记法。定义名字 3)。 空间别名(1ine 3) 一种允许不显示的写出作用域限定而访问名字空间成员的机制：使用声明(usingdeclaration) (1ine4，5)。 4) 一种允许不显示的写出作用域限定而直接访问名字空间的全部成员的机制：使用指示(using directive)(1ine6，7)。 line ∥名字空间定义 1：namespaceNS{intml，m2，m3=0；} 2：NS：：