基于数据依赖性恢复的对象行为协议提取方法及支持工具

来源 :复旦大学 | 被引量 : 0次 | 上传用户:antony86
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在当今的软件开发行业中,面向对象的开发模式获得了越来越广泛的应用。面向对象软件开发以其优秀的模块化,通过封装和接口达到模块的内部实现与外部接口分离的目的。对象行为协议描述了使用对象接口时所需要遵循的规范,对于理解对象行为语义、对象行为验证、测试以及指导其他开发者正确使用对象所提供的外部行为都有十分重要的意义。然而在很多遗产系统中,对象行为协议常常因为各种原因造成缺失或随着长期的代码维护而使得接口的实现和接口的协议发生不一致。针对这些问题的出现,人们开始关注对象行为协议的识别和获取的方法,以减少因此造成的开发和维护成本。本文在对对象的行为状态进行分析的基础上,进行提出了一种静态的对象行为协议逆向恢复方法。由于对象(类)内部的依赖关系是对象行为约束的主要根源,我们的方法通过对对象结构中的属性变量进行观察,以此对源代码分析以获取对象(类)内部各方法之间直接和间接的依赖关系,然后在对象(类)内部依赖关系的基础上构建行为协议状态机。对应这个方法,我们设计了一个原型工具,并且结合实例进行了研究分析。我们的方法具有全面、准确的优点,并且具有良好的自动化特性。
其他文献
随着多媒体技术的发展和广泛的应用,人们对视频处理技术给予了更多的关注。MPEG-4是一个面向多媒体应用的新压缩标准。与MPEG-1、MPEG-2标准相比,MPEG-4采用了现代视频压缩编
如今网络搜索引擎成了人们获取信息的一个重要途径,人们在希望搜索引擎能够提供全面的信息资源的同时,也对搜索引擎的服务提出了更高的要求。如何能通过一种有效的方式获取最
三维重建的两个重要的性能指标就是模型精度与自动化程度,本文的三维重建研究主要针对基于结构光的三维扫描仪。结构光三维扫描仪利用一台投影仪投影特征编码的结构光图案,由
随着信息技术的快速发展,计算机网络己经成为人们工作、生活必不可少的基础设施。与此同时,网络的规模和复杂性出现了爆炸性的增长。这使得传统的基于SNMP的网络故障检测由于
随着网络技术的快速发展和人类社会信息化程度的不断提高,人们对网络的依赖性日益增强,随之出现的网络安全问题也不断增加。入侵检测作为一种主动防御网络攻击的手段,已成为
随着世界越来越信息化的发展,软件产品越来越多,遍布各行各业,软件质量的重要性也逐渐为人们所察觉,软件测试步入人们的视线。回归测试就是软件测试过程中比重最大的一个环节
模式的特征表示及提取是模式识别中的一个重要问题,特征表示及提取的有效性对于分类等问题的解决具有决定性作用。在诸如计算机视觉等领域中,数据往往具有较高维数,此时,出于
目前,安全协议的验证工作主要采用各种形式化方法,如逻辑证明和模型检测。基于逻辑证明的安全协议分析在发现协议是不安全的之后不能给出现实的攻击路径,且协议的理想化过程及主
融合传感器、嵌入式计算、分布式信息处理和无线通信等众多技术而形成的无线传感器网络是一种全新的信息获取、处理和传输技术,由于无线传感器网络具有组网快捷、灵活,且不受
随着信息技术的不断发展,互联网中海量的资源,在为网络的使用者提供各种各样的信息的同时,也由于其信息来源与构成的复杂与多样性,使得用户在获取信息的同时,也往往不得不忍