【摘 要】
：
源代码中的数据语义,即各种程序变量的含义,对于程序理解具有重要的意义。然而现有的程序和数据逆向分析方法中,源代码和数据模型(例如数据库模式)的分析往往是割裂开的,因此很难实现源代码中的数据语义逆向恢复。针对这一问题,结合数据库数据和代码逆向工程方法,从数据库表结构定义出发,提出了一种恢复遗产系统源代码中数据语义方法。该方法首先从数据库定义文件中获取数据库字段的语义信息,通过对源代码中与数据库交互的
【机 构】
：
复旦大学计算机科学技术学院 上海 200433
【出 处】
：
2008全国软件与应用学术会议(NASAC08)
论文部分内容阅读
源代码中的数据语义,即各种程序变量的含义,对于程序理解具有重要的意义。然而现有的程序和数据逆向分析方法中,源代码和数据模型(例如数据库模式)的分析往往是割裂开的,因此很难实现源代码中的数据语义逆向恢复。针对这一问题,结合数据库数据和代码逆向工程方法,从数据库表结构定义出发,提出了一种恢复遗产系统源代码中数据语义方法。该方法首先从数据库定义文件中获取数据库字段的语义信息,通过对源代码中与数据库交互的代码片断进行分析,利用系统依赖图和字符串静态计算方法,发现程序中变量和数据库中表字段间的对应关系。然后,通过变量和上下文的数据依赖关系,将数据库定义中的语义信息在程序中进行传递。
其他文献
基于安全性和可靠性等方面的考虑,网格中的数据传输主要采用GridFTP和GSI技术,但是这些技术并没有提供一种网格文件系统元数据结构和全网格的文件管理工具。从网格计算的实际需要出发,提出了一种简单网格文件系统抽象描述。基于这种描述,探讨了网格文件系统的URL中立性、网格用户相关性、挂栽点的动态性。参考现有FTP客户端命令,给出相关扩展命令说明,以及VgArch控制台设计。VgArch的实现为网格计
提出了一种基于网络文件系统的Windows操作系统远程启动技术,解决了Windows的远程启动问题和基于网络硬盘的Windows远程启动机制在数据共享方面的问题。
In order to support XML-based exception definition with development for Web Services, we adopted XML to describe an exception and the handler. Since Service-oriented Architecture involves many layered
多核处理器是当前微处理器技术发展的主流趋势,如何充分发挥多核处理器的性能潜力是数据库管理系统中的一个重要问题。Falcon是MySQL 6.0.3 alpha版中的一个多线程存储引擎,支持事务处理,可以有效支持多核处理器。本文则使用MySQL6.0.3 alpha所附带的Benchmark suits,分别测试了MyISAM,InnoDB和Falcon三个存储引擎。通过测试,分析了Falcon的架
由于构件的固有特性,构件测试涉及开发者、复用者和第三方三类角色。目前的构件测试平台对此三类角色的支持力度不够,且存在测试过程人工干预较多、可扩展性不强、复用粒度较细的问题。采用基于服务编制的建模方法设计构件测试平台,将具有服务组合能力的服务编制和具有过程控制能力的BPEL4WS定义为建模过程中的核心要素,并通过扩展BPEL4WS描述构件测试中涉及的三类角色人员,最后设计了BPEL4WS引擎管理和控
TTCN-3作为标准化的测试语言,已经广泛应用于多种协议的一致性测试,存在很多可用的功能测试集和适配器。如果对其加以复用以进行性能测试,将提高测试开发的效率。构造了性能测试系统框架,提供了TTCN-3性能测试用例的执行环境,通过分析和转换功能测试用例,自动生成框架所支持的性能测试用例,测试人员通过负载配置实施测试,最后得到性能测试结果,实现了测试用例复用。
随着可信性称为软件的焦点,运行时监控得到了广泛关注.许多典型方法通过在源代码中插入探针实现软件监控,但会导致代码混乱和维护的困难。提出了一种基于ARM和AOP的软件监控方法,其基本思想是利用ARM实现监控功能,利用AOP实现监控模块与系统的松耦合.现以ATM为例说明了方法的有效性。
当前软件开发过程中,不同的开发任务需要使用不同功能的工具。即使是完成相同任务的工具其结构也不尽相同；另一方面,越来越多的软件项目采用分布式开发方法,并且工具是动态地加入到开发过程中。软件开发过程中工具的异构、分布和动态的特点给工具集成提出了新的挑战。提出了一个基于SOA和Pub/Sub的软件开发过程驱动的工具集成框架,采用BPEL对软件开发过程建模,并使用Pub/Sub的事件分发机制实现工具与过程
K-Means是一种基于划分的聚类算法,然而传统的K-Means算法事先必须知道聚类的数目值K,并且初始的K个聚类中心的选择是随机的。针对此算法的这两个缺点提出了一种改进的K-Means聚类算法。首先引入自适应K值概念,给出某一教据集(例如文档集),计算不同K值下的聚类结果,通过聚类结果评估函数得到最优的K值,接着将样本数据转化为高维空间上的数据点,建立每个数据点的影响函数(数学函数模型),使其形
提出了一种用P2P、移动Agent与Web服务来架构分布式系统的方法。采用JXTA和基于移动Agent技术的Aglet软件平台,使系统与传统的分布式系统相比具有性价比高、易维护、易扩充、负载均衡和网络结构及平台无关性等优点,对以后大型分布式系统的构建具有重大借鉴意义。