面向对象程序切片中类层次图的研究-计算机软件与理论专业毕业论文.docxVIP

摘要面向对象程序切片中类层次图的研究是本论文研究的课题，它是面向对象程 摘要 面向对象程序切片中类层次图的研究是本论文研究的课题，它是面向对象程 序分析的一部分。本论文在研究现有的基于过程的程序切片和面向对象的程序切 片的基础上，结合面向对象程序设计语言C++的特征，提出一种新的层次化切片 c++程序的方法及其分层切片模型。通过构造类层依赖图、方法层依赖图和语句层 依赖图，对C++程序进行分层切片。本论文设计和实现了C++程序的类层次图， 为面向对象数据依赖分析和控制依赖分析提供上层框架。该类层次图有效的表示 了类之间的继承和创建等基本的依赖关系，基本解决了C++程序表示中继承、多 态等问题。同时，本论文对c++程序中嵌套类、友元、模板、结构、联合、局部 类和名字空间等特征在类层次图中的表示提出了解决方案。 关键词：面向对象程序切片类层次图依赖图分层切片 ABSTRACTThis ABSTRACT This paper deals with Class hierarchy graph in Object—oriented program slicing， which is a part of Object-oriented progrmn analysis technique．Based oil the program slicing techniques available of intra-proceduml，inter-procedural and Object—oriented program．a new method of slicing C++program hierarchically is presented in this paper． By constructing class level dependence graph，method level dependence graph and statement level dependence graph．C++program can be sliced level by level．A class hierarchy graph of C什program is designed and implemented in this paper,which can represent the basic inheritance and creation dependence relations among classes effectively．Furthermore，for nested class，friend,template，structure，union，local class and namespace in C++．solution proposals are presented in the paper． Keywords：0bject-Oriented Program Slicing Hierarchical Slice Class Hierarchy Graph Dependence graph 创新性声明本人声明所呈交的论文是我个人在导师指导下进行的研究工作及取得的研究 创新性声明 本人声明所呈交的论文是我个人在导师指导下进行的研究工作及取得的研究 成果。尽我所知，除了文中特别加以标注和致谢中所罗列的内容以外，论文中不 包含其他人已经发表或撰写过的研究成果；也不包含为获得西安电子科技大学或 其他教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做 的贡献均已在论文中做了明确的说明并表示了谢意。 申请学位论文与资料若有不实之处，本人承担一切相关责任。 本人签名：坐l盔整 日期：2生堕：』：堡 关于论文使用授权的声明 本人完全了解西安电子科技大学有关保留和使用学位论文的规定，即：研究 生在校攻读学位期间论文工作的知识产权单位属西安电子科技大学。本人保证毕 业离校后，发表论文或使用论文工作成果是署名单位仍然为西安电子科技大学。 学校有权保留送交论文的复印件，允许查阅和借阅论文；学校可以公布论文的全 部或部分内容，可以允许采用影印、缩放或其他复制手段保存论文。 本人签名 经凌垄 日期 2003 7}，lj 导师签名 型!堡 R期 地!：』：!至 第一章绪论第一章 第一章绪论 第一章 绪论 1．1研究背景 随着网络技术的发展和自由软件的广泛使用，软件的安全，特别是军事领域 软件的安全已越来越受到人们的重视。由于计算机的安全性隐患(包括无意的和 人为的)大量存在于软件系统中，如系统入侵、信息窃取、病毒、以及由于程序 设计语言自身问题造成的各种安全漏洞等，使得在软件的使用阶段会发生意想不 到的错误，从而造成重大损失。 对于自主开发的软件