本文对程序切片技术的理论和应用做了相关研究，考虑了切片工具的实现问题、新型切片算法的建立以及切片在本体领域的应用。本文的内容包括以下几个方面：1）综述了程序切片技术的起源、发展、方法及应用。2）实现了自定义的模型语言MOOL的切片工具MST。给出了MOOL语言的文法和实例程序，以李必信教授等提出的层次切片模型为基础，分层次的构造出实例程序的类层依赖图、方法层依赖图、语句层依赖图，并采用Perl语言实现了能自动切片MOOL程序的切片工具。3）提出了一种基于程序块的新型切片算法。定义一种灵活的切片准则，根据语句间的控制依赖关系和数据依赖关系把程序分成一种块状结构，并进一步把对程序切片的计算分解为对块内切片的计算和对块外切片的计算。4）提出了一种基于分层次的本体依赖图的本体切片方法。在分析已有的本体切片方法的基础上，改进了经典方法中的依赖图构造流程，灵活的控制了依赖图层次，降低了依赖图的复杂度，从而解决了经典方法复杂度过高的问题。5）对本文完成的工作进行总结，提出了不足和下一步要完成的工作。