在软件项目的开发中,利用已有的遗产软件系统服务于新的业务需求,已经成为软件工程的一个发展方向.基于此,对现有遗产软件进行维护、重用以及逆向工程的需求促进了对程序理解方法和工具的研究.程序理解是当今软件理论界的一个研究热点,是通过一定的方法或者工具来弄清一个程序是"做什么"以及"如何做"的问题.理解一个程序系统本质上是对该系统从底层到高层的抽象行为,需要静态和动态两方面的信息,这对逆向工程以及软件维护有着重要的意义.程序切片是一种辅助理解程序的分析技术,该技术针对源程序中某个兴趣点把程序减少到只包含与该兴趣点相关的那些语句,准确地回答了"哪些程序语句潜在地影响了语句s中变量v的值"这样一个问题.程序切片可以应用于程序理解、程序分析、调试、测试、软件维护和软件质量保证等诸多方面.面向对象程序特有的层次结构以及消息传递、类、对象、继承、多态、动态联编等特性,使得适用于过程化的分析技术不足以表示面向对象的程序系统,因此关于面向对象程序的切片技术在近些年越来越受到重视.本文以标准C++语言为研究对象,以静态程序切片为研究目的,深入研究了程序切片的计算方法,在经过简化的系统依赖图基础上提出了一种改进的描述面向对象程序系统的依赖图OSDG及其生成算法,并基于此依赖图给出了一种理解面向对象程序的类方法切片计算方法,类方法切片描述了类方法之间的调用关系.另外,基于OSDG图设计了面向对象程序系统的切片生成工具(简称SPT)模型,用于支持程序系统的计算机辅助理解.