随着软件规模的不断扩大,分析和解决软件中的问题变得越来越困难。程序切片作为一种分解程序的技术,能有效地将问题简化,在软件度量、软件测试、程序验证等软件工程的许多领域起到了重要作用。程序切片在不断地发展过程中,衍生出了大量的分支,从切片方向的不同可以分为前向切片和后向切片;从切片角度的不同可以分为静态切片、动态切片、条件切片、准静态切片、同步动态切片、分解切片和无定型切片等。在程序切片的计算方法中,数据流方程算法和图可达性算法是应用较为广泛的两种。本文重点研究了数据流方程算法和图可达性算法的建模方式和计算步骤。数据流方程算法基于程序的控制流图,在控制流图的基础上采用迭代计算直接依赖关系和间接依赖关系来计算切片。数据流方程算法具有建模方式简单和计算过程复杂的特点,且其适合于过程内切片的计算。图可达性算法基于依赖图,依赖图在建模过程中将程序中的控制依赖和数据依赖关系生成到图形中,并使用图形遍历算法计算切片。图可达性算法具有建模过程复杂和计算过程简单的特点,然而切片中会包含部分冗余代码。本文在对数据流方程算法和图可达性算法研究的基础上,设计了两种切片方案,分别是基于块的程序切片方案和基于路径图的程序切片方案。基于块的切片方案根据程序的块状模型进行计算,它的切片主体是程序中的块而不是指令,具有切片准则灵活多样、计算过程简单和切片中不含冗余代码的优点。基于路径图的程序切片方案需要将程序建模为路径图,并通过逐条判定切片区间中的边来完成计算。基于路径图的程序切片方案采用了间接判断控制指令的策略,使计算过程更加简化;且切片变量独立于指令,避免了切片中冗余代码的产生。本文通过对基于块的切片方案和基于路径图的切片方案设计,进一步扩充了程序切片的计算方案和研究内容。