程序动态切片技术研究