随着软件系统的日益复杂,软件开发、维护以及进化的大部分工作和主要成本集中在对现有系统的理解上。逆向工程是一种辅助程序理解的重要手段,是软件工程的一个重要分支,通过抽取目标系统的静态信息和动态信息来抽象其高层表示,辅助程序理解。程序依赖图信息对于分析面向对象软件系统中的交互是重要的。静态程序分析得到的信息庞大,且无法反映面向对象系统中的多态和动态绑定特征;动态分析则与程序的具体运行轨迹有关,通常无法得到完整的依赖关系。本文在深入分析反射植入、开放编译等关键技术的基础上,重点研究了逆向工程中静态程序依赖图模型信息提取的方法,研究了采用带分支静态程序依赖图减少植入范围的方法,同时提出了静动态结合的思路,分别使用开放编译技术和反射植入技术获取静态和动态程序依赖信息,并将二者结合起来产生静动态结合程序依赖图,来辅助用户程序的理解。实验研究表明,动静态结合程序依赖图既能反映动态运行轨迹,又能全面反映系统整体依赖信息,可以更有效地辅助程序理解。论文中提出的所有方法、算法均已在XDRE(XiDian Reverse Engineering,西电逆向工程工具集)中实现。