paths slicing

The dissertation presents a new concept---paths slicing, it absorbs the idea of program slicing.
本文提出了一种新的切片概念——路径切片,将程序切片思想应用于路径选择。